LeakLWE2/Sec6_applications/Frodo_Single_data/simulation_distribution_NIST1.sage

Dguess = {}
Dguess[0] = {}
Dguess[0][0] = 7408
Dguess[0][1] = 0
Dguess[0][2] = 10
Dguess[0][3] = 0
Dguess[0][4] = 0
Dguess[0][5] = 0
Dguess[0][6] = 0
Dguess[0][7] = 0
Dguess[0][8] = 0
Dguess[0][9] = 0
Dguess[0][10] = 0
Dguess[0][11] = 0
Dguess[0][-11] = 0
Dguess[0][-10] = 0
Dguess[0][-9] = 0
Dguess[0][-8] = 0
Dguess[0][-7] = 0
Dguess[0][-6] = 0
Dguess[0][-5] = 0
Dguess[0][-4] = 0
Dguess[0][-3] = 0
Dguess[0][-2] = 0
Dguess[0][-1] = 0
Dguess[1] = {}
Dguess[1][0] = 0
Dguess[1][1] = 5143
Dguess[1][2] = 1746
Dguess[1][3] = 3
Dguess[1][4] = 0
Dguess[1][5] = 0
Dguess[1][6] = 0
Dguess[1][7] = 0
Dguess[1][8] = 0
Dguess[1][9] = 0
Dguess[1][10] = 0
Dguess[1][11] = 0
Dguess[1][-11] = 0
Dguess[1][-10] = 0
Dguess[1][-9] = 0
Dguess[1][-8] = 0
Dguess[1][-7] = 0
Dguess[1][-6] = 0
Dguess[1][-5] = 0
Dguess[1][-4] = 0
Dguess[1][-3] = 0
Dguess[1][-2] = 0
Dguess[1][-1] = 0
Dguess[2] = {}
Dguess[2][0] = 0
Dguess[2][1] = 2070
Dguess[2][2] = 3567
Dguess[2][3] = 0
Dguess[2][4] = 0
Dguess[2][5] = 0
Dguess[2][6] = 0
Dguess[2][7] = 0
Dguess[2][8] = 0
Dguess[2][9] = 0
Dguess[2][10] = 0
Dguess[2][11] = 0
Dguess[2][-11] = 0
Dguess[2][-10] = 0
Dguess[2][-9] = 0
Dguess[2][-8] = 0
Dguess[2][-7] = 0
Dguess[2][-6] = 0
Dguess[2][-5] = 0
Dguess[2][-4] = 0
Dguess[2][-3] = 0
Dguess[2][-2] = 0
Dguess[2][-1] = 0
Dguess[3] = {}
Dguess[3][0] = 0
Dguess[3][1] = 27
Dguess[3][2] = 0
Dguess[3][3] = 4097
Dguess[3][4] = 0
Dguess[3][5] = 0
Dguess[3][6] = 0
Dguess[3][7] = 0
Dguess[3][8] = 0
Dguess[3][9] = 0
Dguess[3][10] = 0
Dguess[3][11] = 0
Dguess[3][-11] = 0
Dguess[3][-10] = 0
Dguess[3][-9] = 0
Dguess[3][-8] = 0
Dguess[3][-7] = 0
Dguess[3][-6] = 0
Dguess[3][-5] = 0
Dguess[3][-4] = 0
Dguess[3][-3] = 0
Dguess[3][-2] = 0
Dguess[3][-1] = 0
Dguess[4] = {}
Dguess[4][0] = 0
Dguess[4][1] = 0
Dguess[4][2] = 0
Dguess[4][3] = 0
Dguess[4][4] = 2507
Dguess[4][5] = 0
Dguess[4][6] = 32
Dguess[4][7] = 0
Dguess[4][8] = 0
Dguess[4][9] = 0
Dguess[4][10] = 0
Dguess[4][11] = 0
Dguess[4][-11] = 0
Dguess[4][-10] = 0
Dguess[4][-9] = 0
Dguess[4][-8] = 0
Dguess[4][-7] = 0
Dguess[4][-6] = 0
Dguess[4][-5] = 0
Dguess[4][-4] = 0
Dguess[4][-3] = 0
Dguess[4][-2] = 0
Dguess[4][-1] = 0
Dguess[5] = {}
Dguess[5][0] = 0
Dguess[5][1] = 0
Dguess[5][2] = 0
Dguess[5][3] = 0
Dguess[5][4] = 37
Dguess[5][5] = 1028
Dguess[5][6] = 454
Dguess[5][7] = 4
Dguess[5][8] = 0
Dguess[5][9] = 0
Dguess[5][10] = 0
Dguess[5][11] = 0
Dguess[5][-11] = 0
Dguess[5][-10] = 0
Dguess[5][-9] = 0
Dguess[5][-8] = 0
Dguess[5][-7] = 0
Dguess[5][-6] = 0
Dguess[5][-5] = 0
Dguess[5][-4] = 0
Dguess[5][-3] = 0
Dguess[5][-2] = 0
Dguess[5][-1] = 0
Dguess[6] = {}
Dguess[6][0] = 0
Dguess[6][1] = 0
Dguess[6][2] = 0
Dguess[6][3] = 0
Dguess[6][4] = 101
Dguess[6][5] = 280
Dguess[6][6] = 336
Dguess[6][7] = 0
Dguess[6][8] = 0
Dguess[6][9] = 0
Dguess[6][10] = 0
Dguess[6][11] = 0
Dguess[6][-11] = 0
Dguess[6][-10] = 0
Dguess[6][-9] = 0
Dguess[6][-8] = 0
Dguess[6][-7] = 0
Dguess[6][-6] = 0
Dguess[6][-5] = 0
Dguess[6][-4] = 0
Dguess[6][-3] = 0
Dguess[6][-2] = 0
Dguess[6][-1] = 0
Dguess[7] = {}
Dguess[7][0] = 0
Dguess[7][1] = 0
Dguess[7][2] = 0
Dguess[7][3] = 0
Dguess[7][4] = 0
Dguess[7][5] = 131
Dguess[7][6] = 0
Dguess[7][7] = 147
Dguess[7][8] = 0
Dguess[7][9] = 0
Dguess[7][10] = 0
Dguess[7][11] = 0
Dguess[7][-11] = 0
Dguess[7][-10] = 0
Dguess[7][-9] = 0
Dguess[7][-8] = 0
Dguess[7][-7] = 0
Dguess[7][-6] = 0
Dguess[7][-5] = 0
Dguess[7][-4] = 0
Dguess[7][-3] = 0
Dguess[7][-2] = 0
Dguess[7][-1] = 0
Dguess[8] = {}
Dguess[8][0] = 0
Dguess[8][1] = 30
Dguess[8][2] = 74
Dguess[8][3] = 0
Dguess[8][4] = 0
Dguess[8][5] = 0
Dguess[8][6] = 0
Dguess[8][7] = 0
Dguess[8][8] = 0
Dguess[8][9] = 0
Dguess[8][10] = 0
Dguess[8][11] = 0
Dguess[8][-11] = 0
Dguess[8][-10] = 0
Dguess[8][-9] = 0
Dguess[8][-8] = 0
Dguess[8][-7] = 0
Dguess[8][-6] = 0
Dguess[8][-5] = 0
Dguess[8][-4] = 0
Dguess[8][-3] = 0
Dguess[8][-2] = 0
Dguess[8][-1] = 0
Dguess[9] = {}
Dguess[9][0] = 0
Dguess[9][1] = 0
Dguess[9][2] = 0
Dguess[9][3] = 35
Dguess[9][4] = 0
Dguess[9][5] = 0
Dguess[9][6] = 0
Dguess[9][7] = 0
Dguess[9][8] = 0
Dguess[9][9] = 0
Dguess[9][10] = 0
Dguess[9][11] = 0
Dguess[9][-11] = 0
Dguess[9][-10] = 0
Dguess[9][-9] = 0
Dguess[9][-8] = 0
Dguess[9][-7] = 0
Dguess[9][-6] = 0
Dguess[9][-5] = 0
Dguess[9][-4] = 0
Dguess[9][-3] = 0
Dguess[9][-2] = 0
Dguess[9][-1] = 0
Dguess[10] = {}
Dguess[10][0] = 0
Dguess[10][1] = 0
Dguess[10][2] = 0
Dguess[10][3] = 12
Dguess[10][4] = 0
Dguess[10][5] = 0
Dguess[10][6] = 0
Dguess[10][7] = 0
Dguess[10][8] = 0
Dguess[10][9] = 0
Dguess[10][10] = 0
Dguess[10][11] = 0
Dguess[10][-11] = 0
Dguess[10][-10] = 0
Dguess[10][-9] = 0
Dguess[10][-8] = 0
Dguess[10][-7] = 0
Dguess[10][-6] = 0
Dguess[10][-5] = 0
Dguess[10][-4] = 0
Dguess[10][-3] = 0
Dguess[10][-2] = 0
Dguess[10][-1] = 0
Dguess[11] = {}
Dguess[11][0] = 0
Dguess[11][1] = 0
Dguess[11][2] = 0
Dguess[11][3] = 0
Dguess[11][4] = 0
Dguess[11][5] = 0
Dguess[11][6] = 0
Dguess[11][7] = 0
Dguess[11][8] = 0
Dguess[11][9] = 0
Dguess[11][10] = 0
Dguess[11][11] = 12
Dguess[11][-11] = 0
Dguess[11][-10] = 0
Dguess[11][-9] = 0
Dguess[11][-8] = 0
Dguess[11][-7] = 0
Dguess[11][-6] = 0
Dguess[11][-5] = 0
Dguess[11][-4] = 0
Dguess[11][-3] = 0
Dguess[11][-2] = 0
Dguess[11][-1] = 0
Dguess[-11] = {}
Dguess[-11][0] = 0
Dguess[-11][1] = 0
Dguess[-11][2] = 0
Dguess[-11][3] = 0
Dguess[-11][4] = 0
Dguess[-11][5] = 0
Dguess[-11][6] = 0
Dguess[-11][7] = 0
Dguess[-11][8] = 0
Dguess[-11][9] = 0
Dguess[-11][10] = 0
Dguess[-11][11] = 0
Dguess[-11][-11] = 0
Dguess[-11][-10] = 0
Dguess[-11][-9] = 2
Dguess[-11][-8] = 0
Dguess[-11][-7] = 0
Dguess[-11][-6] = 0
Dguess[-11][-5] = 0
Dguess[-11][-4] = 0
Dguess[-11][-3] = 0
Dguess[-11][-2] = 0
Dguess[-11][-1] = 11
Dguess[-10] = {}
Dguess[-10][0] = 0
Dguess[-10][1] = 0
Dguess[-10][2] = 0
Dguess[-10][3] = 0
Dguess[-10][4] = 0
Dguess[-10][5] = 0
Dguess[-10][6] = 0
Dguess[-10][7] = 0
Dguess[-10][8] = 0
Dguess[-10][9] = 0
Dguess[-10][10] = 0
Dguess[-10][11] = 0
Dguess[-10][-11] = 0
Dguess[-10][-10] = 0
Dguess[-10][-9] = 0
Dguess[-10][-8] = 0
Dguess[-10][-7] = 0
Dguess[-10][-6] = 0
Dguess[-10][-5] = 0
Dguess[-10][-4] = 0
Dguess[-10][-3] = 0
Dguess[-10][-2] = 0
Dguess[-10][-1] = 18
Dguess[-9] = {}
Dguess[-9][0] = 0
Dguess[-9][1] = 0
Dguess[-9][2] = 0
Dguess[-9][3] = 0
Dguess[-9][4] = 0
Dguess[-9][5] = 0
Dguess[-9][6] = 0
Dguess[-9][7] = 0
Dguess[-9][8] = 0
Dguess[-9][9] = 0
Dguess[-9][10] = 0
Dguess[-9][11] = 0
Dguess[-9][-11] = 0
Dguess[-9][-10] = 0
Dguess[-9][-9] = 42
Dguess[-9][-8] = 0
Dguess[-9][-7] = 0
Dguess[-9][-6] = 0
Dguess[-9][-5] = 0
Dguess[-9][-4] = 0
Dguess[-9][-3] = 0
Dguess[-9][-2] = 0
Dguess[-9][-1] = 4
Dguess[-8] = {}
Dguess[-8][0] = 0
Dguess[-8][1] = 0
Dguess[-8][2] = 0
Dguess[-8][3] = 0
Dguess[-8][4] = 0
Dguess[-8][5] = 0
Dguess[-8][6] = 0
Dguess[-8][7] = 0
Dguess[-8][8] = 0
Dguess[-8][9] = 0
Dguess[-8][10] = 0
Dguess[-8][11] = 0
Dguess[-8][-11] = 0
Dguess[-8][-10] = 0
Dguess[-8][-9] = 0
Dguess[-8][-8] = 107
Dguess[-8][-7] = 0
Dguess[-8][-6] = 0
Dguess[-8][-5] = 0
Dguess[-8][-4] = 0
Dguess[-8][-3] = 0
Dguess[-8][-2] = 0
Dguess[-8][-1] = 0
Dguess[-7] = {}
Dguess[-7][0] = 0
Dguess[-7][1] = 0
Dguess[-7][2] = 0
Dguess[-7][3] = 0
Dguess[-7][4] = 0
Dguess[-7][5] = 0
Dguess[-7][6] = 0
Dguess[-7][7] = 0
Dguess[-7][8] = 0
Dguess[-7][9] = 0
Dguess[-7][10] = 0
Dguess[-7][11] = 0
Dguess[-7][-11] = 0
Dguess[-7][-10] = 0
Dguess[-7][-9] = 0
Dguess[-7][-8] = 0
Dguess[-7][-7] = 0
Dguess[-7][-6] = 0
Dguess[-7][-5] = 0
Dguess[-7][-4] = 247
Dguess[-7][-3] = 0
Dguess[-7][-2] = 38
Dguess[-7][-1] = 0
Dguess[-6] = {}
Dguess[-6][0] = 0
Dguess[-6][1] = 0
Dguess[-6][2] = 0
Dguess[-6][3] = 0
Dguess[-6][4] = 0
Dguess[-6][5] = 0
Dguess[-6][6] = 0
Dguess[-6][7] = 0
Dguess[-6][8] = 0
Dguess[-6][9] = 0
Dguess[-6][10] = 0
Dguess[-6][11] = 0
Dguess[-6][-11] = 0
Dguess[-6][-10] = 0
Dguess[-6][-9] = 0
Dguess[-6][-8] = 0
Dguess[-6][-7] = 0
Dguess[-6][-6] = 5
Dguess[-6][-5] = 0
Dguess[-6][-4] = 653
Dguess[-6][-3] = 0
Dguess[-6][-2] = 20
Dguess[-6][-1] = 0
Dguess[-5] = {}
Dguess[-5][0] = 0
Dguess[-5][1] = 0
Dguess[-5][2] = 0
Dguess[-5][3] = 0
Dguess[-5][4] = 0
Dguess[-5][5] = 0
Dguess[-5][6] = 0
Dguess[-5][7] = 0
Dguess[-5][8] = 0
Dguess[-5][9] = 0
Dguess[-5][10] = 0
Dguess[-5][11] = 0
Dguess[-5][-11] = 0
Dguess[-5][-10] = 0
Dguess[-5][-9] = 0
Dguess[-5][-8] = 0
Dguess[-5][-7] = 0
Dguess[-5][-6] = 0
Dguess[-5][-5] = 259
Dguess[-5][-4] = 0
Dguess[-5][-3] = 316
Dguess[-5][-2] = 9
Dguess[-5][-1] = 836
Dguess[-4] = {}
Dguess[-4][0] = 0
Dguess[-4][1] = 0
Dguess[-4][2] = 0
Dguess[-4][3] = 0
Dguess[-4][4] = 0
Dguess[-4][5] = 0
Dguess[-4][6] = 0
Dguess[-4][7] = 0
Dguess[-4][8] = 0
Dguess[-4][9] = 0
Dguess[-4][10] = 0
Dguess[-4][11] = 0
Dguess[-4][-11] = 0
Dguess[-4][-10] = 0
Dguess[-4][-9] = 0
Dguess[-4][-8] = 0
Dguess[-4][-7] = 0
Dguess[-4][-6] = 14
Dguess[-4][-5] = 0
Dguess[-4][-4] = 2523
Dguess[-4][-3] = 0
Dguess[-4][-2] = 99
Dguess[-4][-1] = 0
Dguess[-3] = {}
Dguess[-3][0] = 0
Dguess[-3][1] = 0
Dguess[-3][2] = 0
Dguess[-3][3] = 0
Dguess[-3][4] = 0
Dguess[-3][5] = 0
Dguess[-3][6] = 0
Dguess[-3][7] = 0
Dguess[-3][8] = 0
Dguess[-3][9] = 0
Dguess[-3][10] = 0
Dguess[-3][11] = 0
Dguess[-3][-11] = 0
Dguess[-3][-10] = 0
Dguess[-3][-9] = 0
Dguess[-3][-8] = 0
Dguess[-3][-7] = 0
Dguess[-3][-6] = 0
Dguess[-3][-5] = 102
Dguess[-3][-4] = 6
Dguess[-3][-3] = 1744
Dguess[-3][-2] = 2240
Dguess[-3][-1] = 37
Dguess[-2] = {}
Dguess[-2][0] = 0
Dguess[-2][1] = 0
Dguess[-2][2] = 0
Dguess[-2][3] = 0
Dguess[-2][4] = 0
Dguess[-2][5] = 0
Dguess[-2][6] = 0
Dguess[-2][7] = 0
Dguess[-2][8] = 0
Dguess[-2][9] = 0
Dguess[-2][10] = 0
Dguess[-2][11] = 0
Dguess[-2][-11] = 0
Dguess[-2][-10] = 0
Dguess[-2][-9] = 0
Dguess[-2][-8] = 0
Dguess[-2][-7] = 0
Dguess[-2][-6] = 0
Dguess[-2][-5] = 40
Dguess[-2][-4] = 24
Dguess[-2][-3] = 1497
Dguess[-2][-2] = 4117
Dguess[-2][-1] = 11
Dguess[-1] = {}
Dguess[-1][0] = 0
Dguess[-1][1] = 0
Dguess[-1][2] = 0
Dguess[-1][3] = 0
Dguess[-1][4] = 0
Dguess[-1][5] = 0
Dguess[-1][6] = 0
Dguess[-1][7] = 0
Dguess[-1][8] = 0
Dguess[-1][9] = 0
Dguess[-1][10] = 0
Dguess[-1][11] = 0
Dguess[-1][-11] = 0
Dguess[-1][-10] = 0
Dguess[-1][-9] = 0
Dguess[-1][-8] = 0
Dguess[-1][-7] = 0
Dguess[-1][-6] = 0
Dguess[-1][-5] = 355
Dguess[-1][-4] = 0
Dguess[-1][-3] = 205
Dguess[-1][-2] = 1
Dguess[-1][-1] = 6327
Dguess[-12] = {}
Dguess[-12][0] = 0
Dguess[-12][1] = 0
Dguess[-12][2] = 0
Dguess[-12][3] = 0
Dguess[-12][4] = 0
Dguess[-12][5] = 0
Dguess[-12][6] = 0
Dguess[-12][7] = 0
Dguess[-12][8] = 0
Dguess[-12][9] = 0
Dguess[-12][10] = 0
Dguess[-12][11] = 0
Dguess[-12][12] = 0
Dguess[-12][-12] = 1
Dguess[-12][-11] = 0
Dguess[-12][-10] = 0
Dguess[-12][-9] = 0
Dguess[-12][-8] = 0
Dguess[-12][-7] = 0
Dguess[-12][-6] = 0
Dguess[-12][-5] = 0
Dguess[-12][-4] = 0
Dguess[-12][-3] = 0
Dguess[-12][-2] = 0
Dguess[-12][-1] = 0