@galihru/pqlaicrypto
Version:
A Python package providing a reference implementation of the Lemniscate-AGM Isogeny (LAI) encryption scheme. LAI is a promising post-quantum cryptosystem based on isogenies of elliptic curves over lemniscate lattices, offering resistance against quantum-c
4,327 lines (4,326 loc) • 935 kB
JSON
{
"p": 10007,
"a": 5,
"P0": [
1,
0
],
"k": 543,
"Q": [
5236,
945
],
"blocks": [
{
"C1": [
5557,
5010
],
"C2": [
98,
3267
],
"r": 164
},
{
"C1": [
350,
8572
],
"C2": [
8814,
7927
],
"r": 33
},
{
"C1": [
2989,
4837
],
"C2": [
145,
6175
],
"r": 270
},
{
"C1": [
8142,
7790
],
"C2": [
6398,
3456
],
"r": 191
},
{
"C1": [
2989,
4837
],
"C2": [
155,
6175
],
"r": 270
},
{
"C1": [
368,
4411
],
"C2": [
5575,
5819
],
"r": 147
},
{
"C1": [
9282,
7404
],
"C2": [
4728,
4540
],
"r": 321
},
{
"C1": [
8752,
7375
],
"C2": [
8467,
2405
],
"r": 158
},
{
"C1": [
7983,
9355
],
"C2": [
9310,
9728
],
"r": 40
},
{
"C1": [
3972,
1327
],
"C2": [
107,
7426
],
"r": 143
},
{
"C1": [
9562,
1702
],
"C2": [
9434,
3336
],
"r": 329
},
{
"C1": [
7607,
3157
],
"C2": [
266,
8737
],
"r": 29
},
{
"C1": [
7083,
3247
],
"C2": [
7230,
8517
],
"r": 177
},
{
"C1": [
9580,
8932
],
"C2": [
8640,
3405
],
"r": 265
},
{
"C1": [
4706,
7837
],
"C2": [
1187,
7838
],
"r": 21
},
{
"C1": [
768,
2537
],
"C2": [
4770,
867
],
"r": 184
},
{
"C1": [
9061,
3908
],
"C2": [
908,
8917
],
"r": 192
},
{
"C1": [
1947,
7544
],
"C2": [
2124,
6363
],
"r": 209
},
{
"C1": [
3394,
653
],
"C2": [
1341,
5976
],
"r": 160
},
{
"C1": [
7286,
6961
],
"C2": [
6653,
5083
],
"r": 223
},
{
"C1": [
8663,
9984
],
"C2": [
3871,
4551
],
"r": 168
},
{
"C1": [
6641,
7603
],
"C2": [
234,
8249
],
"r": 74
},
{
"C1": [
8486,
4993
],
"C2": [
8689,
7113
],
"r": 145
},
{
"C1": [
3230,
7683
],
"C2": [
4007,
2379
],
"r": 41
},
{
"C1": [
3239,
2612
],
"C2": [
8357,
5717
],
"r": 301
},
{
"C1": [
1599,
9676
],
"C2": [
2117,
5879
],
"r": 219
},
{
"C1": [
5890,
2619
],
"C2": [
9223,
264
],
"r": 194
},
{
"C1": [
1156,
9767
],
"C2": [
3344,
1359
],
"r": 174
},
{
"C1": [
9440,
9307
],
"C2": [
988,
1584
],
"r": 58
},
{
"C1": [
7523,
6127
],
"C2": [
9944,
5424
],
"r": 170
},
{
"C1": [
6369,
8952
],
"C2": [
9992,
6127
],
"r": 99
},
{
"C1": [
1594,
2516
],
"C2": [
7128,
7350
],
"r": 51
},
{
"C1": [
2584,
7910
],
"C2": [
3248,
6609
],
"r": 69
},
{
"C1": [
6352,
6340
],
"C2": [
4201,
1670
],
"r": 203
},
{
"C1": [
9282,
7404
],
"C2": [
4679,
4540
],
"r": 321
},
{
"C1": [
4633,
2480
],
"C2": [
6494,
4738
],
"r": 97
},
{
"C1": [
3294,
239
],
"C2": [
1846,
9925
],
"r": 263
},
{
"C1": [
3563,
6815
],
"C2": [
4629,
1431
],
"r": 309
},
{
"C1": [
9920,
1746
],
"C2": [
4609,
4222
],
"r": 3
},
{
"C1": [
8486,
4993
],
"C2": [
8663,
7113
],
"r": 145
},
{
"C1": [
2175,
5159
],
"C2": [
9431,
7317
],
"r": 335
},
{
"C1": [
4594,
8890
],
"C2": [
8488,
22
],
"r": 307
},
{
"C1": [
5683,
8334
],
"C2": [
4528,
3780
],
"r": 196
},
{
"C1": [
6352,
6340
],
"C2": [
4218,
1670
],
"r": 203
},
{
"C1": [
6430,
1257
],
"C2": [
8750,
338
],
"r": 267
},
{
"C1": [
8451,
8561
],
"C2": [
7923,
8474
],
"r": 139
},
{
"C1": [
1038,
359
],
"C2": [
7762,
529
],
"r": 295
},
{
"C1": [
7814,
4485
],
"C2": [
3626,
2219
],
"r": 165
},
{
"C1": [
7658,
5127
],
"C2": [
9997,
5860
],
"r": 272
},
{
"C1": [
3108,
1764
],
"C2": [
3322,
1770
],
"r": 197
},
{
"C1": [
4605,
5404
],
"C2": [
7009,
653
],
"r": 17
},
{
"C1": [
375,
6487
],
"C2": [
4189,
1750
],
"r": 137
},
{
"C1": [
3863,
7653
],
"C2": [
8242,
7244
],
"r": 188
},
{
"C1": [
7184,
9010
],
"C2": [
8965,
9688
],
"r": 190
},
{
"C1": [
3031,
5131
],
"C2": [
7045,
4956
],
"r": 103
},
{
"C1": [
218,
5631
],
"C2": [
113,
3353
],
"r": 241
},
{
"C1": [
9282,
7404
],
"C2": [
4664,
4540
],
"r": 321
},
{
"C1": [
4514,
6037
],
"C2": [
2448,
6743
],
"r": 186
},
{
"C1": [
2969,
171
],
"C2": [
9702,
4724
],
"r": 60
},
{
"C1": [
4507,
4077
],
"C2": [
2653,
8624
],
"r": 310
},
{
"C1": [
1608,
487
],
"C2": [
1722,
2102
],
"r": 181
},
{
"C1": [
1080,
1835
],
"C2": [
3315,
2646
],
"r": 128
},
{
"C1": [
9139,
5154
],
"C2": [
4102,
7542
],
"r": 88
},
{
"C1": [
2350,
8306
],
"C2": [
471,
5844
],
"r": 286
},
{
"C1": [
7804,
878
],
"C2": [
2006,
6210
],
"r": 53
},
{
"C1": [
5750,
7423
],
"C2": [
2369,
7716
],
"r": 30
},
{
"C1": [
4649,
9096
],
"C2": [
9567,
335
],
"r": 151
},
{
"C1": [
2384,
8876
],
"C2": [
7742,
3633
],
"r": 72
},
{
"C1": [
5280,
7595
],
"C2": [
2892,
6557
],
"r": 215
},
{
"C1": [
7184,
9010
],
"C2": [
9004,
9688
],
"r": 190
},
{
"C1": [
2129,
9536
],
"C2": [
4470,
5094
],
"r": 299
},
{
"C1": [
270,
5834
],
"C2": [
7017,
1265
],
"r": 117
},
{
"C1": [
7670,
7781
],
"C2": [
8319,
4937
],
"r": 185
},
{
"C1": [
6809,
6714
],
"C2": [
2655,
7004
],
"r": 96
},
{
"C1": [
2938,
7192
],
"C2": [
7485,
1613
],
"r": 233
},
{
"C1": [
7265,
2299
],
"C2": [
1857,
2125
],
"r": 59
},
{
"C1": [
7265,
2299
],
"C2": [
1866,
2125
],
"r": 59
},
{
"C1": [
8410,
5115
],
"C2": [
8221,
747
],
"r": 11
},
{
"C1": [
3025,
3837
],
"C2": [
7169,
2674
],
"r": 230
},
{
"C1": [
6907,
7141
],
"C2": [
3654,
1300
],
"r": 176
},
{
"C1": [
2346,
9582
],
"C2": [
6108,
5689
],
"r": 300
},
{
"C1": [
5531,
4326
],
"C2": [
6180,
4186
],
"r": 228
},
{
"C1": [
5668,
3329
],
"C2": [
1355,
6064
],
"r": 27
},
{
"C1": [
2248,
4132
],
"C2": [
1084,
2555
],
"r": 297
},
{
"C1": [
4523,
8028
],
"C2": [
8603,
6737
],
"r": 303
},
{
"C1": [
8503,
2091
],
"C2": [
4094,
3113
],
"r": 169
},
{
"C1": [
1156,
9767
],
"C2": [
3346,
1359
],
"r": 174
},
{
"C1": [
9920,
1746
],
"C2": [
4632,
4222
],
"r": 3
},
{
"C1": [
8306,
1944
],
"C2": [
3614,
2371
],
"r": 277
},
{
"C1": [
5519,
8608
],
"C2": [
1610,
8125
],
"r": 135
},
{
"C1": [
1035,
4703
],
"C2": [
1470,
3543
],
"r": 26
},
{
"C1": [
2847,
8481
],
"C2": [
7181,
3181
],
"r": 328
},
{
"C1": [
5769,
2161
],
"C2": [
160,
8366
],
"r": 320
},
{
"C1": [
8315,
2597
],
"C2": [
6630,
8962
],
"r": 152
},
{
"C1": [
1744,
151
],
"C2": [
2175,
8043
],
"r": 293
},
{
"C1": [
3428,
1647
],
"C2": [
5346,
7583
],
"r": 55
},
{
"C1": [
866,
1
],
"C2": [
8467,
7337
],
"r": 274
},
{
"C1": [
2493,
4572
],
"C2": [
635,
1922
],
"r": 330
},
{
"C1": [
8315,
2597
],
"C2": [
6703,
8962
],
"r": 152
},
{
"C1": [
8692,
5679
],
"C2": [
5677,
2697
],
"r": 340
},
{
"C1": [
1608,
487
],
"C2": [
1771,
2102
],
"r": 181
},
{
"C1": [
1704,
1078
],
"C2": [
6026,
7593
],
"r": 260
},
{
"C1": [
8878,
6437
],
"C2": [
6568,
7517
],
"r": 114
},
{
"C1": [
3179,
2929
],
"C2": [
6275,
2087
],
"r": 247
},
{
"C1": [
5212,
5674
],
"C2": [
2384,
8047
],
"r": 296
},
{
"C1": [
8995,
3060
],
"C2": [
6526,
3342
],
"r": 313
},
{
"C1": [
8847,
327
],
"C2": [
542,
5008
],
"r": 255
},
{
"C1": [
3820,
9609
],
"C2": [
3461,
3903
],
"r": 201
},
{
"C1": [
2000,
413
],
"C2": [
4969,
9904
],
"r": 314
},
{
"C1": [
5683,
8334
],
"C2": [
4534,
3780
],
"r": 196
},
{
"C1": [
1744,
151
],
"C2": [
2168,
8043
],
"r": 293
},
{
"C1": [
9920,
1746
],
"C2": [
4556,
4222
],
"r": 3
},
{
"C1": [
9154,
1667
],
"C2": [
4901,
3
],
"r": 12
},
{
"C1": [
1080,
1835
],
"C2": [
3256,
2646
],
"r": 128
},
{
"C1": [
3394,
653
],
"C2": [
1341,
5976
],
"r": 160
},
{
"C1": [
3389,
4887
],
"C2": [
2691,
7917
],
"r": 38
},
{
"C1": [
9792,
7319
],
"C2": [
8836,
6761
],
"r": 304
},
{
"C1": [
6714,
5202
],
"C2": [
247,
1843
],
"r": 121
},
{
"C1": [
2118,
6181
],
"C2": [
8423,
4387
],
"r": 118
},
{
"C1": [
4421,
1976
],
"C2": [
1548,
6686
],
"r": 49
},
{
"C1": [
6017,
8945
],
"C2": [
44,
3756
],
"r": 85
},
{
"C1": [
477,
1540
],
"C2": [
5068,
2056
],
"r": 16
},
{
"C1": [
8041,
2963
],
"C2": [
2950,
4124
],
"r": 204
},
{
"C1": [
8911,
6075
],
"C2": [
1808,
1017
],
"r": 64
},
{
"C1": [
6693,
1354
],
"C2": [
9202,
300
],
"r": 37
},
{
"C1": [
7184,
9010
],
"C2": [
9020,
9688
],
"r": 190
},
{
"C1": [
97,
5330
],
"C2": [
1403,
5230
],
"r": 337
},
{
"C1": [
1898,
2328
],
"C2": [
8194,
8041
],
"r": 67
},
{
"C1": [
5904,
6765
],
"C2": [
376,
8369
],
"r": 294
},
{
"C1": [
2031,
4970
],
"C2": [
736,
4077
],
"r": 75
},
{
"C1": [
3428,
1647
],
"C2": [
5282,
7583
],
"r": 55
},
{
"C1": [
6307,
6737
],
"C2": [
2740,
711
],
"r": 269
},
{
"C1": [
2129,
9536
],
"C2": [
4477,
5094
],
"r": 299
},
{
"C1": [
7265,
2299
],
"C2": [
1859,
2125
],
"r": 59
},
{
"C1": [
4210,
793
],
"C2": [
6991,
1148
],
"r": 275
},
{
"C1": [
6670,
1585
],
"C2": [
7760,
4640
],
"r": 249
},
{
"C1": [
2649,
2610
],
"C2": [
4413,
178
],
"r": 47
},
{
"C1": [
6748,
6456
],
"C2": [
265,
3183
],
"r": 259
},
{
"C1": [
9196,
3812
],
"C2": [
7765,
9997
],
"r": 163
},
{
"C1": [
3771,
4043
],
"C2": [
7221,
8661
],
"r": 291
},
{
"C1": [
5887,
3067
],
"C2": [
8838,
637
],
"r": 284
},
{
"C1": [
2817,
563
],
"C2": [
6362,
7948
],
"r": 101
},
{
"C1": [
6755,
6288
],
"C2": [
2368,
1186
],
"r": 252
},
{
"C1": [
8822,
394
],
"C2": [
537,
9812
],
"r": 308
},
{
"C1": [
8201,
8208
],
"C2": [
1326,
5208
],
"r": 34
},
{
"C1": [
218,
5631
],
"C2": [
119,
3353
],
"r": 241
},
{
"C1": [
2649,
2610
],
"C2": [
4434,
178
],
"r": 47
},
{
"C1": [
3308,
3401
],
"C2": [
2414,
870
],
"r": 159
},
{
"C1": [
1592,
7473
],
"C2": [
1376,
7444
],
"r": 342
},
{
"C1": [
2562,
893
],
"C2": [
3617,
2439
],
"r": 325
},
{
"C1": [
136,
6822
],
"C2": [
5842,
7367
],
"r": 133
},
{
"C1": [
9154,
1667
],
"C2": [
4961,
3
],
"r": 12
},
{
"C1": [
8528,
8960
],
"C2": [
470,
2172
],
"r": 86
},
{
"C1": [
477,
1540
],
"C2": [
5072,
2056
],
"r": 16
},
{
"C1": [
9315,
1152
],
"C2": [
7487,
9895
],
"r": 111
},
{
"C1": [
8752,
7375
],
"C2": [
8467,
2405
],
"r": 158
},
{
"C1": [
2965,
7306
],
"C2": [
769,
6156
],
"r": 61
},
{
"C1": [
5557,
5010
],
"C2": [
103,
3267
],
"r": 164
},
{
"C1": [
8692,
5679
],
"C2": [
5674,
2697
],
"r": 340
},
{
"C1": [
7027,
1717
],
"C2": [
6770,
2510
],
"r": 276
},
{
"C1": [
6615,
1487
],
"C2": [
6773,
8963
],
"r": 48
},
{
"C1": [
7478,
1736
],
"C2": [
4587,
239
],
"r": 31
},
{
"C1": [
8443,
8175
],
"C2": [
2726,
7857
],
"r": 134
},
{
"C1": [
9196,
3812
],
"C2": [
7691,
9997
],
"r": 163
},
{
"C1": [
744,
9462
],
"C2": [
8773,
2406
],
"r": 178
},
{
"C1": [
8195,
7682
],
"C2": [
893,
2669
],
"r": 142
},
{
"C1": [
1444,
9698
],
"C2": [
5541,
446
],
"r": 212
},
{
"C1": [
5946,
2591
],
"C2": [
8109,
1163
],
"r": 125
},
{
"C1": [
6989,
5176
],
"C2": [
4337,
3546
],
"r": 216
},
{
"C1": [
240,
2219
],
"C2": [
5864,
1784
],
"r": 244
},
{
"C1": [
7184,
9010
],
"C2": [
8944,
9688
],
"r": 190
},
{
"C1": [
2483,
6610
],
"C2": [
3337,
913
],
"r": 322
},
{
"C1": [
7253,
5790
],
"C2": [
2362,
4242
],
"r": 113
},
{
"C1": [
8486,
4993
],
"C2": [
8662,
7113
],
"r": 145
},
{
"C1": [
6755,
6288
],
"C2": [
2295,
1186
],
"r": 252
},
{
"C1": [
1744,
151
],
"C2": [
2167,
8043
],
"r": 293
},
{
"C1": [
6307,
6737
],
"C2": [
2673,
711
],
"r": 269
},
{
"C1": [
12,
1684
],
"C2": [
6850,
6362
],
"r": 318
},
{
"C1": [
2438,
370
],
"C2": [
4480,
8876
],
"r": 15
},
{
"C1": [
5832,
5363
],
"C2": [
66,
8774
],
"r": 1
},
{
"C1": [
2483,
6610
],
"C2": [
3389,
913
],
"r": 322
},
{
"C1": [
6693,
1354
],
"C2": [
9211,
300
],
"r": 37
},
{
"C1": [
6352,
6340
],
"C2": [
4215,
1670
],
"r": 203
},
{
"C1": [
1035,
4703
],
"C2": [
1433,
3543
],
"r": 26
},
{
"C1": [
5890,
2619
],
"C2": [
9294,
264
],
"r": 194
},
{
"C1": [
9196,
3812
],
"C2": [
7773,
9997
],
"r": 163
},
{
"C1": [
2817,
563
],
"C2": [
6357,
7948
],
"r": 101
},
{
"C1": [
7444,
5208
],
"C2": [
1763,
3314
],
"r": 180
},
{
"C1": [
9485,
5478
],
"C2": [
8718,
359
],
"r": 56
},
{
"C1": [
1802,
1263
],
"C2": [
1187,
7426
],
"r": 211
},
{
"C1": [
3664,
5308
],
"C2": [
8845,
4235
],
"r": 235
},
{
"C1": [
7381,
2799
],
"C2": [
1948,
4395
],
"r": 62
},
{
"C1": [
8618,
5690
],
"C2": [
2253,
9714
],
"r": 71
},
{
"C1": [
9823,
3995
],
"C2": [
5782,
5184
],
"r": 195
},
{
"C1": [
287,
8473
],
"C2": [
9872,
6877
],
"r": 182
},
{
"C1": [
9042,
1114
],
"C2": [
5743,
6403
],
"r": 124
},
{
"C1": [
4660,
3904
],
"C2": [
7244,
156
],
"r": 236
},
{
"C1": [
3326,
5581
],
"C2": [
1001,
4916
],
"r": 266
},
{
"C1": [
2438,
370
],
"C2": [
4486,
8876
],
"r": 15
},
{
"C1": [
2562,
893
],
"C2": [
3682,
2439
],
"r": 325
},
{
"C1": [
10000,
2223
],
"C2": [
2964,
4601
],
"r": 4
},
{
"C1": [
4713,
2869
],
"C2": [
6403,
7919
],
"r": 109
},
{
"C1": [
7083,
3247
],
"C2": [
7150,
8517
],
"r": 177
},
{
"C1": [
1080,
1835
],
"C2": [
3312,
2646
],
"r": 128
},
{
"C1": [
8115,
1428
],
"C2": [
5532,
7232
],
"r": 66
},
{
"C1": [
8758,
3218
],
"C2": [
1823,
8488
],
"r": 205
},
{
"C1": [
4210,
793
],
"C2": [
6988,
1148
],
"r": 275
},
{
"C1": [
3820,
5832
],
"C2": [
7640,
7803
],
"r": 336
},
{
"C1": [
5750,
7423
],
"C2": [
2397,
7716
],
"r": 30
},
{
"C1": [
1592,
7473
],
"C2": [
1295,
7444
],
"r": 342
},
{
"C1": [
1002,
3168
],
"C2": [
1422,
4400
],
"r": 339
},
{
"C1": [
3162,
6082
],
"C2": [
2565,
9562
],
"r": 199
},
{
"C1": [
2483,
6610
],
"C2": [
3386,
913
],
"r": 322
},
{
"C1": [
6221,
6912
],
"C2": [
1584,
5378
],
"r": 13
},
{
"C1": [
3820,
9609
],
"C2": [
3463,
3903
],
"r": 201
},
{
"C1": [
8041,
2963
],
"C2": [
2957,
4124
],
"r": 204
},
{
"C1": [
51,
5859
],
"C2": [
6414,
2646
],
"r": 238
},
{
"C1": [
9083,
9316
],
"C2": [
3423,
4077
],
"r": 189
},
{
"C1": [
1444,
9698
],
"C2": [
5555,
446
],
"r": 212
},
{
"C1": [
1766,
5591
],
"C2": [
6473,
2905
],
"r": 84
},
{
"C1": [
8306,
1944
],
"C2": [
3606,
2371
],
"r": 277
},
{
"C1": [
3239,
2612
],
"C2": [
8363,
5717
],
"r": 301
},
{
"C1": [
4514,
6037
],
"C2": [
2467,
6743
],
"r": 186
},
{
"C1": [
8550,
8281
],
"C2": [
6862,
9123
],
"r": 28
},
{
"C1": [
5683,
8334
],
"C2": [
4551,
3780
],
"r": 196
},
{
"C1": [
3820,
5832
],
"C2": [
7565,
7803
],
"r": 336
},
{
"C1": [
6416,
9700
],
"C2": [
4064,
7983
],
"r": 173
},
{
"C1": [
2346,
9582
],
"C2": [
6115,
5689
],
"r": 300
},
{
"C1": [
2333,
4541
],
"C2": [
5355,
4293
],
"r": 175
},
{
"C1": [
8443,
8175
],
"C2": [
2811,
7857
],
"r": 134
},
{
"C1": [
1898,
2328
],
"C2": [
8134,
8041
],
"r": 67
},
{
"C1": [
2350,
8306
],
"C2": [
402,
5844
],
"r": 286
},
{
"C1": [
5212,
5674
],
"C2": [
2360,
8047
],
"r": 296
},
{
"C1": [
7983,
9355
],
"C2": [
9383,
9728
],
"r": 40
},
{
"C1": [
2016,
9920
],
"C2": [
8887,
99
],
"r": 127
},
{
"C1": [
5212,
5674
],
"C2": [
2426,
8047
],
"r": 296
},
{
"C1": [
2333,
4541
],
"C2": [
5414,
4293
],
"r": 175
},
{
"C1": [
9304,
6442
],
"C2": [
5418,
5806
],
"r": 148
},
{
"C1": [
3428,
1647
],
"C2": [
5355,
7583
],
"r": 55
},
{
"C1": [
3582,
8043
],
"C2": [
4220,
5322
],
"r": 218
},
{
"C1": [
6143,
5231
],
"C2": [
7710,
1188
],
"r": 245
},
{
"C1": [
2720,
9325
],
"C2": [
5557,
9693
],
"r": 126
},
{
"C1": [
3394,
653
],
"C2": [
1342,
5976
],
"r": 160
},
{
"C1": [
6989,
5176
],
"C2": [
4372,
3546
],
"r": 216
},
{
"C1": [
2182,
5801
],
"C2": [
1897,
542
],
"r": 326
},
{
"C1": [
952,
3780
],
"C2": [
3001,
2321
],
"r": 157
},
{
"C1": [
3326,
5581
],
"C2": [
993,
4916
],
"r": 266
},
{
"C1": [
6330,
2299
],
"C2": [
3161,
7081
],
"r": 79
},
{
"C1": [
3025,
3837
],
"C2": [
7146,
2674
],
"r": 230
},
{
"C1": [
9042,
1114
],
"C2": [
5744,
6403
],
"r": 124
},
{
"C1": [
9154,
1667
],
"C2": [
4975,
3
],
"r": 12
},
{
"C1": [
2350,
8306
],
"C2": [
477,
5844
],
"r": 286
},
{
"C1": [
4523,
8028
],
"C2": [
8587,
6737
],
"r": 303
},
{
"C1": [
3308,
3401
],
"C2": [
2419,
870
],
"r": 159
},
{
"C1": [
8911,
6075
],
"C2": [
1798,
1017
],
"r": 64
},
{
"C1": [
9665,
6859
],
"C2": [
9755,
9684
],
"r": 171
},
{
"C1": [
2350,
8306
],
"C2": [
401,
5844
],
"r": 286
},
{
"C1": [
8663,
9984
],
"C2": [
3794,
4551
],
"r": 168
},
{
"C1": [
8692,
5679
],
"C2": [
5691,
2697
],
"r": 340
},
{
"C1": [
8752,
7375
],
"C2": [
8450,
2405
],
"r": 158
},
{
"C1": [
7621,
9678
],
"C2": [
6418,
627
],
"r": 44
},
{
"C1": [
8618,
5690
],
"C2": [
2241,
9714
],
"r": 71
},
{
"C1": [
5846,
4113
],
"C2": [
9212,
7637
],
"r": 14
},
{
"C1": [
3031,
5131
],
"C2": [
7030,
4956
],
"r": 103
},
{
"C1": [
9988,
1189
],
"C2": [
7911,
8004
],
"r": 217
},
{
"C1": [
5890,
2619
],
"C2": [
9228,
264
],
"r": 194
},
{
"C1": [
2248,
4132
],
"C2": [
1022,
2555
],
"r": 297
},
{
"C1": [
8486,
4993
],
"C2": [
8664,
7113
],
"r": 145
},
{
"C1": [
8528,
8960
],
"C2": [
395,
2172
],
"r": 86
},
{
"C1": [
9235,
8846
],
"C2": [
2709,
8899
],
"r": 35
},
{
"C1": [
2129,
9536
],
"C2": [
4422,
5094
],
"r": 299
},
{
"C1": [
4605,
5404
],
"C2": [
7092,
653
],
"r": 17
},
{
"C1": [
5523,
832
],
"C2": [
8054,
7029
],
"r": 7
},
{
"C1": [
2438,
370
],
"C2": [
4492,
8876
],
"r": 15
},
{
"C1": [
4974,
7922
],
"C2": [
9223,
5827
],
"r": 280
},
{
"C1": [
5055,
4622
],
"C2": [
205,
6951
],
"r": 232
},
{
"C1": [
4373,
4492
],
"C2": [
6385,
9389
],
"r": 155
},
{
"C1": [
5557,
5010
],
"C2": [
30,
3267
],
"r": 164
},
{
"C1": [
3863,
7653
],
"C2": [
8291,
7244
],
"r": 188
},
{
"C1": [
6907,
7141
],
"C2": [
3608,
1300
],
"r": 176
},
{
"C1": [
5340,
9930
],
"C2": [
4326,
1013
],
"r": 237
},
{
"C1": [
6932,
3490
],
"C2": [
1343,
2831
],
"r": 305
},
{
"C1": [
477,
1540
],
"C2": [
5106,
2056
],
"r": 16
},
{
"C1": [
6148,
6210
],
"C2": [
4824,
284
],
"r": 229
},
{
"C1": [
7206,
4315
],
"C2": [
7370,
1452
],
"r": 92
},
{
"C1": [
1947,
7544
],
"C2": [
2124,
6363
],
"r": 209
},
{
"C1": [
5846,
4113
],
"C2": [
9214,
7637
],
"r": 14
},
{
"C1": [
768,
2537
],
"C2": [
4785,
867
],
"r": 184
},
{
"C1": [
3454,
1606
],
"C2": [
2458,
3596
],
"r": 226
},
{
"C1": [
4523,
8028
],
"C2": [
8599,
6737
],
"r": 303
},
{
"C1": [
5750,
7423
],
"C2": [
2410,
7716
],
"r": 30
},
{
"C1": [
6748,
6456
],
"C2": [
265,
3183
],
"r": 259
},
{
"C1": [
12,
1684
],
"C2": [
6849,
6362
],
"r": 318
},
{
"C1": [
7216,
9923
],
"C2": [
1686,
4097
],
"r": 222
},
{
"C1": [
6932,
3490
],
"C2": [
1315,
2831
],
"r": 305
},
{
"C1": [
3337,
8385
],
"C2": [
260,
1041
],
"r": 234
},
{
"C1": [
7083,
3247
],
"C2": [
7224,
8517
],
"r": 177
},
{
"C1": [
919,
3866
],
"C2": [
4583,
948
],
"r": 77
},
{
"C1": [
6968,
1444
],
"C2": [
9213,
2297
],
"r": 251
},
{
"C1": [
8338,
6388
],
"C2": [
4446,
2408
],
"r": 161
},
{
"C1": [
7797,
8299
],
"C2": [
9473,
7957
],
"r": 279
},
{
"C1": [
2817,
563
],
"C2": [
6360,
7948
],
"r": 101
},
{
"C1": [
7805,
726
],
"C2": [
1237,
401
],
"r": 302
},
{
"C1": [
7946,
3999
],
"C2": [
6632,
4055
],
"r": 93
},
{
"C1": [
6802,
4224
],
"C2": [
1348,
3334
],
"r": 52
},
{
"C1": [
8752,
7375
],
"C2": [
8452,
2405
],
"r": 158
},
{
"C1": [
768,
2537
],
"C2": [
4766,
867
],
"r": 184
},
{
"C1": [
3828,
5111
],
"C2": [
5306,
373
],
"r": 8
},
{
"C1": [
5340,
9930
],
"C2": [
4327,
1013
],
"r": 237
},
{
"C1": [
5819,
1668
],
"C2": [
6547,
3982
],
"r": 341
},
{
"C1": [
6956,
3144
],
"C2": [
7827,
4731
],
"r": 261
},
{
"C1": [
6533,
9546
],
"C2": [
2329,
3846
],
"r": 54
},
{
"C1": [
9547,
1480
],
"C2": [
5774,
2326
],
"r": 227
},
{
"C1": [
9154,
1667
],
"C2": [
4979,
3
],
"r": 12
},
{
"C1": [
6512,
5128
],
"C2": [
288,
7105
],
"r": 76
},
{
"C1": [
4343,
2524
],
"C2": [
8817,
1962
],
"r": 187
},
{
"C1": [
2884,
5635
],
"C2": [
1614,
4559
],
"r": 32
},
{
"C1": [
2302,
818
],
"C2": [
3882,
3422
],
"r": 179
},
{
"C1": [
5769,
2161
],
"C2": [
169,
8366
],
"r": 320
},
{
"C1": [
1597,
8239
],
"C2": [
7037,
8984
],
"r": 290
},
{
"C1": [
9792,
7319
],
"C2": [
8841,
6761
],
"r": 304
},
{
"C1": [
4713,
2869
],
"C2": [
6444,
7919
],
"r": 109
},
{
"C1": [
8486,
4993
],
"C2": [
8738,
7113
],
"r": 145
},
{
"C1": [
9133,
914
],
"C2": [
1658,
7706
],
"r": 193
},
{
"C1": [
2649,
2610
],
"C2": [
4438,
178
],
"r": 47
},
{
"C1": [
2918,
6068
],
"C2": [
7837,
8293
],
"r": 100
},
{
"C1": [
4373,
4492
],
"C2": [
6358,
9389
],
"r": 155
},
{
"C1": [
1765,
5109
],
"C2": [
1096,
5657
],
"r": 90
},
{
"C1": [
2329,
2995
],
"C2": [
1449,
793
],
"r": 283
},
{
"C1": [
6641,
7603
],
"C2": [
168,
8249
],
"r": 74
},
{
"C1": [
5646,
9759
],
"C2": [
8597,
3439
],
"r": 319
},
{
"C1": [
4825,
8602
],
"C2": [
3609,
9273
],
"r": 57
},
{
"C1": [
8758,
3218
],
"C2": [
1822,
8488
],
"r": 205
},
{
"C1": [
3108,
1764
],
"C2": [
3328,
1770
],
"r": 197
},
{
"C1": [
7286,
6961
],
"C2": [
6652,
5083
],
"r": 223
},
{
"C1": [
6641,
7603
],
"C2": [
236,
8249
],
"r": 74
},
{
"C1": [
9061,
3908
],
"C2": [
921,
8917
],
"r": 192
},
{
"C1": [
2969,
171
],
"C2": [
9710,
4724
],
"r": 60
},
{
"C1": [
2918,
6068
],
"C2": [
7830,
8293
],
"r": 100
},
{
"C1": [
4405,
7234
],
"C2": [
4448,
2674
],
"r": 312
},
{
"C1": [
7206,
4315
],
"C2": [
7359,
1452
],
"r": 92
},
{
"C1": [
3863,
7653
],
"C2": [
8278,
7244
],
"r": 188
},
{
"C1": [
7937,
2621
],
"C2": [
896,
2034
],
"r": 253
},
{
"C1": [
9920,
1746
],
"C2": [
4623,
4222
],
"r": 3
},
{
"C1": [
1836,
8775
],
"C2": [
7375,
3654
],
"r": 287
},
{
"C1": [
1608,
487
],
"C2": [
1767,
2102
],
"r": 181
},
{
"C1": [
7083,
3247
],
"C2": [
7227,
8517
],
"r": 177
},
{
"C1": [
9061,
3908
],
"C2": [
917,
8917
],
"r": 192
},
{
"C1": [
2584,
7910
],
"C2": [
3256,
6609
],
"r": 69
},
{
"C1": [
8201,
8208
],
"C2": [
1386,
5208
],
"r": 34
},
{
"C1": [
8911,
6075
],
"C2": [
1758,
1017
],
"r": 64
},
{
"C1": [
9083,
9316
],
"C2": [
3423,
4077
],
"r": 189
},
{
"C1": [
184,
7504
],
"C2": [
9005,
3896
],
"r": 316
},
{
"C1": [
2130,
1315
],
"C2": [
4286,
4595
],
"r": 132
},
{
"C1": [
7083,
3247
],
"C2": [
7214,
8517
],
"r": 177
},
{
"C1": [
6237,
6380
],
"C2": [
4352,
3374
],
"r": 166
},
{
"C1": [
4507,
4077
],
"C2": [
2593,
8624
],
"r": 310
},
{
"C1": [
6748,
6456
],
"C2": [
213,
3183
],
"r": 259
},
{
"C1": [
8315,
2597
],
"C2": [
6642,
8962
],
"r": 152
},
{
"C1": [
1599,
9676
],
"C2": [
2121,
5879
],
"r": 219
},
{
"C1": [
7478,
1736
],
"C2": [
4518,
239
],
"r": 31
},
{
"C1": [
1704,
1078
],
"C2": [
5974,
7593
],
"r": 260
},
{
"C1": [
7027,
1717
],
"C2": [
6706,
2510
],
"r": 276
},
{
"C1": [
5238,
6688
],
"C2": [
50,
8370
],
"r": 63
},
{
"C1": [
6856,
3743
],
"C2": [
9552,
3877
],
"r": 338
},
{
"C1": [
598,
2845
],
"C2": [
8049,
1827
],
"r": 98
},
{
"C1": [
5430,
9951
],
"C2": [
4732,
4900
],
"r": 6
},
{
"C1": [
1597,
8239
],
"C2": [
7035,
8984
],
"r": 290
},
{
"C1": [
2031,
4970
],
"C2": [
652,
4077
],
"r": 75
},
{
"C1": [
8550,
8281
],
"C2": [
6876,
9123
],
"r": 28
},
{
"C1": [
3001,
3058
],
"C2": [
5442,
2700
],
"r": 306
},
{
"C1": [
9823,
3995
],
"C2": [
5741,
5184
],
"r": 195
},
{
"C1": [
2392,
8341
],
"C2": [
1350,
1099
],
"r": 115
},
{
"C1": [
6932,
3490
],
"C2": [
1273,
2831
],
"r": 305
},
{
"C1": [
1947,
7544
],
"C2": [
2057,
6363
],
"r": 209
},
{
"C1": [
5238,
6688
],
"C2": [
64,
8370
],
"r": 63
},
{
"C1": [
3827,
73
],
"C2": [
8766,
1248
],
"r": 311
},
{
"C1": [
6237,
3037
],
"C2": [
6856,
967
],
"r": 5
},
{
"C1": [
9826,
8485
],
"C2": [
4812,
8222
],
"r": 141
},
{
"C1": [
116,
2314
],
"C2": [
1088,
4450
],
"r": 10
},
{
"C1": [
6575,
3637
],
"C2": [
1733,
6816
],
"r": 333
},
{
"C1": [
2000,
413
],
"C2": [
4960,
9904
],
"r": 314
},
{
"C1": [
7804,
878
],
"C2": [
1991,
6210
],
"r": 53
},
{
"C1": [
2329,
2995
],
"C2": [
1446,
793
],
"r": 283
},
{
"C1": [
7206,
4315
],
"C2": [
7359,
1452
],
"r": 92
},
{
"C1": [
6430,
1257
],
"C2": [
8733,
338
],
"r": 267
},
{
"C1": [
4513,
8317
],
"C2": [
1298,
9883
],
"r": 122
},
{
"C1": [
9171,
9025
],
"C2": [
6137,
1137
],
"r": 116
},
{
"C1": [
8895,
4443
],
"C2": [
9122,
6030
],
"r": 323
},
{
"C1": [
2918,
6068
],
"C2": [
7843,
8293
],
"r": 100
},
{
"C1": [
2031,
4970
],
"C2": [
731,
4077
],
"r": 75
},
{
"C1": [
3162,
6082
],
"C2": [
2584,
9562
],
"r": 199
},
{