{"what":"Congruence certificates between the EinsteinArena 604 (corpus/kissing/ea-d11-604.json) and the Station configurations (corpus/kissing/station-d11-604.json): pi a bijection of the 604 vectors, T an orthogonal matrix over Q(sqrt2) as [p, q, den] triples meaning (p + q*sqrt2)/den, scale s likewise, with T·s·a_i = b_pi(i) for every i. Re-verify with instruments/kissing/congruence.js verifyCertificate; the battery does at every run.","a":"ea-604","a_sha256":"0bde9ca2c434d7beb5af63a64a291498e8c264d9a5718b738e92dd70b9ba7761","b_sha256":"61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37","certificates":{"station-604-1":{"pi":[0,1,2,3,8,9,12,13,14,495,4,5,6,7,10,11,15,19,16,20,17,21,18,22,23,27,24,28,25,29,26,30,79,81,80,82,83,85,84,86,87,89,88,90,91,93,92,94,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,97,98,95,96,101,102,99,100,105,106,103,104,109,110,107,108,165,161,166,162,167,163,168,164,173,169,174,170,175,171,176,172,111,113,115,117,112,114,116,118,119,121,123,125,120,122,124,126,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,197,194,198,195,199,196,200,201,205,202,206,203,207,204,208,31,35,33,37,32,36,34,38,39,43,41,45,40,44,42,46,145,147,149,151,146,148,150,152,153,155,157,159,154,156,158,160,129,127,133,131,130,128,134,132,137,135,141,139,138,136,142,140,47,49,51,53,48,50,52,54,55,57,59,61,56,58,60,62,355,357,356,358,359,361,360,362,363,365,364,366,367,369,368,370,307,311,308,312,309,313,310,314,315,319,316,320,317,321,318,322,325,323,329,327,326,324,330,328,333,331,337,335,334,332,338,336,371,375,492,376,373,377,374,378,379,383,380,384,381,385,382,386,293,291,297,295,294,292,298,296,301,299,305,303,302,300,306,304,225,233,227,235,226,234,228,236,229,237,231,239,230,238,232,240,209,210,217,218,211,212,219,220,213,214,221,222,215,216,223,224,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,274,282,275,283,276,284,277,285,278,286,279,287,280,288,281,289,419,421,427,429,420,422,428,430,423,425,431,433,424,426,432,434,467,484,477,487,470,144,258,476,261,471,290,488,372,490,491,489,271,272,483,469,266,486,468,270,273,473,479,481,268,494,485,267,257,493,143,260,475,478,269,262,264,265,472,474,259,482,480,263,455,451,463,459,456,452,464,460,457,453,465,461,458,454,466,462,403,405,407,409,411,413,415,417,404,406,408,410,412,414,416,418,241,249,243,251,245,253,247,255,242,250,244,252,246,254,248,256,435,437,439,441,443,445,447,449,436,438,440,442,444,446,448,450,389,390,387,388,393,394,391,392,397,398,395,396,401,402,399,400,520,523,522,519,524,521,532,535,534,531,536,533,526,529,528,525,530,527,538,541,540,537,542,539,544,547,546,543,548,545,550,553,552,549,554,551,514,517,516,513,518,515,497,500,499,496,501,498,556,559,558,555,560,557,568,571,570,567,572,569,562,565,564,561,566,563,574,577,576,573,578,575,580,583,582,579,584,581,592,595,594,591,596,593,598,601,600,597,602,599,586,589,588,585,590,587,505,502,511,508,603,504,507,510,506,512,503,509],"T":[[["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["1","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"]],[["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]],[["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["-1","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"],["0","0","1"]]],"scale":["2","0","1"]}}}