LeakLWE2/Sec6_applications/Frodo_Single_data/simulation_distribution_NIST2.sage

Dguess = {}
Dguess[0] = {}
Dguess[0][0] = 13205
Dguess[0][1] = 0
Dguess[0][2] = 3
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][-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] = 10781
Dguess[1][2] = 1396
Dguess[1][3] = 2
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][-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] = 4418
Dguess[2][2] = 4931
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][-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] = 0
Dguess[3][2] = 0
Dguess[3][3] = 5884
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][-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] = 3038
Dguess[4][5] = 0
Dguess[4][6] = 24
Dguess[4][7] = 0
Dguess[4][8] = 0
Dguess[4][9] = 0
Dguess[4][10] = 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] = 1
Dguess[5][5] = 1086
Dguess[5][6] = 260
Dguess[5][7] = 2
Dguess[5][8] = 0
Dguess[5][9] = 0
Dguess[5][10] = 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] = 21
Dguess[6][5] = 235
Dguess[6][6] = 240
Dguess[6][7] = 0
Dguess[6][8] = 0
Dguess[6][9] = 0
Dguess[6][10] = 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] = 43
Dguess[7][6] = 0
Dguess[7][7] = 99
Dguess[7][8] = 0
Dguess[7][9] = 0
Dguess[7][10] = 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] = 4
Dguess[8][2] = 22
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][-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] = 14
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][-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] = 10
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][-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[-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][-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] = 10
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][-10] = 0
Dguess[-9][-9] = 12
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] = 2
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][-10] = 0
Dguess[-8][-9] = 0
Dguess[-8][-8] = 43
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][-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] = 100
Dguess[-7][-3] = 0
Dguess[-7][-2] = 0
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][-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] = 462
Dguess[-6][-3] = 0
Dguess[-6][-2] = 1
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][-10] = 0
Dguess[-5][-9] = 0
Dguess[-5][-8] = 0
Dguess[-5][-7] = 0
Dguess[-5][-6] = 0
Dguess[-5][-5] = 619
Dguess[-5][-4] = 0
Dguess[-5][-3] = 0
Dguess[-5][-2] = 371
Dguess[-5][-1] = 236
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][-10] = 0
Dguess[-4][-9] = 0
Dguess[-4][-8] = 0
Dguess[-4][-7] = 0
Dguess[-4][-6] = 2
Dguess[-4][-5] = 0
Dguess[-4][-4] = 3019
Dguess[-4][-3] = 0
Dguess[-4][-2] = 1
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][-10] = 0
Dguess[-3][-9] = 0
Dguess[-3][-8] = 0
Dguess[-3][-7] = 0
Dguess[-3][-6] = 0
Dguess[-3][-5] = 12
Dguess[-3][-4] = 15
Dguess[-3][-3] = 0
Dguess[-3][-2] = 5757
Dguess[-3][-1] = 0
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][-10] = 0
Dguess[-2][-9] = 0
Dguess[-2][-8] = 0
Dguess[-2][-7] = 0
Dguess[-2][-6] = 0
Dguess[-2][-5] = 141
Dguess[-2][-4] = 2
Dguess[-2][-3] = 0
Dguess[-2][-2] = 9126
Dguess[-2][-1] = 3
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][-10] = 0
Dguess[-1][-9] = 0
Dguess[-1][-8] = 0
Dguess[-1][-7] = 0
Dguess[-1][-6] = 0
Dguess[-1][-5] = 867
Dguess[-1][-4] = 0
Dguess[-1][-3] = 0
Dguess[-1][-2] = 33
Dguess[-1][-1] = 11527