Graph forms
for C4 [ 456, 35 ] = SDD(C_114(1,37))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 456, 35 ] =
SDD(C_114(1,37)).
(I) Following is a form readable by MAGMA:
g:=Graph<456|{ {195, 235}, {198, 238}, {195, 247}, {164, 230}, {182, 240}, {187,
252}, {186, 243}, {178, 248}, {178, 249}, {186, 241}, {185, 242}, {178, 254},
{187, 244}, {183, 231}, {169, 248}, {190, 239}, {183, 230}, {183, 229}, {186,
233}, {187, 232}, {164, 242}, {167, 241}, {178, 239}, {183, 234}, {164, 250},
{149, 245}, {148, 246}, {144, 247}, {147, 244}, {144, 253}, {149, 229}, {148,
237}, {149, 236}, {148, 232}, {149, 233}, {144, 238}, {131, 252}, {148, 235},
{113, 240}, {114, 243}, {113, 249}, {114, 251}, {127, 245}, {96, 237}, {98,
236}, {113, 255}, {109, 254}, {126, 234}, {114, 231}, {98, 250}, {93, 253}, {81,
246}, {68, 255}, {69, 251}, {27, 251}, {29, 253}, {28, 252}, {11, 234}, {30,
255}, {17, 240}, {15, 238}, {13, 236}, {4, 230}, {26, 248}, {5, 231}, {10, 233},
{21, 246}, {18, 241}, {14, 237}, {1, 229}, {23, 242}, {1, 231}, {1, 230}, {12,
235}, {8, 239}, {2, 229}, {3, 235}, {7, 238}, {1, 234}, {3, 232}, {2, 233}, {24,
244}, {25, 245}, {19, 254}, {2, 236}, {6, 232}, {3, 237}, {7, 247}, {9, 249},
{8, 248}, {8, 249}, {6, 244}, {3, 246}, {4, 242}, {9, 255}, {8, 254}, {5, 243},
{2, 245}, {13, 250}, {9, 240}, {10, 243}, {6, 252}, {7, 253}, {10, 241}, {12,
247}, {4, 250}, {5, 251}, {16, 239}, {17, 273}, {85, 341}, {72, 328}, {56, 312},
{53, 309}, {45, 301}, {39, 295}, {33, 289}, {31, 287}, {20, 276}, {32, 289},
{48, 305}, {45, 300}, {43, 298}, {41, 296}, {39, 294}, {105, 360}, {117, 372},
{120, 377}, {139, 394}, {154, 411}, {7, 261}, {184, 442}, {22, 276}, {11, 265},
{107, 361}, {142, 396}, {157, 415}, {25, 282}, {193, 450}, {192, 451}, {68,
327}, {52, 311}, {42, 297}, {38, 293}, {111, 364}, {118, 373}, {133, 390}, {150,
405}, {14, 266}, {189, 441}, {93, 345}, {77, 329}, {62, 314}, {38, 291}, {179,
438}, {84, 337}, {110, 363}, {151, 402}, {35, 293}, {193, 455}, {72, 334}, {68,
322}, {37, 291}, {36, 290}, {116, 370}, {141, 395}, {150, 400}, {15, 264}, {188,
443}, {51, 308}, {49, 310}, {44, 299}, {20, 275}, {100, 355}, {18, 282}, {192,
456}, {66, 330}, {23, 287}, {22, 286}, {21, 285}, {20, 284}, {19, 283}, {130,
394}, {162, 426}, {4, 269}, {180, 445}, {176, 441}, {95, 342}, {79, 326}, {16,
281}, {6, 271}, {97, 360}, {100, 365}, {138, 387}, {151, 414}, {160, 425}, {10,
256}, {174, 420}, {65, 331}, {104, 354}, {5, 270}, {172, 423}, {78, 325}, {54,
317}, {26, 273}, {138, 385}, {152, 403}, {50, 318}, {179, 447}, {76, 320}, {33,
300}, {188, 433}, {87, 346}, {61, 304}, {36, 297}, {137, 388}, {145, 412}, {27,
277}, {28, 274}, {12, 259}, {174, 417}, {77, 322}, {40, 295}, {153, 406}, {17,
257}, {211, 451}, {210, 450}, {209, 449}, {24, 264}, {23, 263}, {22, 262}, {21,
261}, {20, 260}, {139, 411}, {154, 394}, {19, 258}, {72, 345}, {59, 298}, {44,
317}, {42, 315}, {24, 266}, {73, 347}, {69, 343}, {65, 339}, {64, 338}, {40,
314}, {36, 310}, {110, 380}, {74, 350}, {189, 425}, {18, 263}, {211, 454}, {184,
429}, {40, 317}, {136, 413}, {66, 340}, {209, 455}, {78, 344}, {67, 341}, {161,
439}, {15, 280}, {64, 343}, {60, 299}, {43, 316}, {128, 408}, {130, 410}, {160,
440}, {9, 272}, {179, 426}, {176, 425}, {14, 279}, {56, 290}, {210, 456}, {97,
379}, {99, 377}, {103, 381}, {13, 278}, {223, 452}, {39, 316}, {16, 267}, {99,
376}, {141, 406}, {162, 441}, {58, 294}, {93, 321}, {83, 335}, {70, 346}, {102,
378}, {115, 367}, {17, 268}, {191, 418}, {94, 323}, {57, 292}, {54, 299}, {46,
307}, {38, 315}, {120, 357}, {146, 399}, {11, 277}, {82, 332}, {39, 313}, {38,
312}, {23, 265}, {12, 274}, {135, 409}, {31, 256}, {180, 427}, {55, 296}, {119,
360}, {145, 398}, {91, 379}, {106, 330}, {156, 444}, {158, 446}, {159, 447},
{18, 307}, {47, 270}, {45, 268}, {34, 259}, {32, 257}, {21, 308}, {108, 333},
{13, 303}, {170, 392}, {71, 357}, {49, 275}, {36, 262}, {16, 306}, {101, 327},
{157, 447}, {22, 309}, {91, 376}, {64, 355}, {46, 269}, {33, 258}, {27, 319},
{51, 279}, {50, 278}, {106, 334}, {146, 438}, {11, 302}, {224, 453}, {85, 368},
{125, 344}, {141, 424}, {150, 435}, {86, 368}, {95, 377}, {87, 369}, {137, 431},
{152, 446}, {154, 444}, {158, 440}, {25, 318}, {95, 376}, {84, 371}, {67, 356},
{55, 272}, {35, 260}, {128, 424}, {174, 390}, {157, 437}, {55, 286}, {127, 342},
{137, 416}, {153, 432}, {157, 436}, {158, 439}, {159, 438}, {160, 393}, {33,
267}, {154, 432}, {54, 285}, {171, 384}, {92, 375}, {88, 371}, {76, 359}, {70,
365}, {141, 422}, {158, 437}, {142, 418}, {26, 311}, {91, 374}, {90, 375}, {89,
372}, {75, 358}, {67, 366}, {64, 365}, {52, 281}, {53, 283}, {156, 434}, {79,
352}, {170, 389}, {166, 393}, {90, 373}, {89, 374}, {156, 435}, {71, 375}, {94,
366}, {86, 358}, {135, 439}, {44, 285}, {146, 419}, {67, 369}, {150, 420}, {30,
301}, {191, 396}, {82, 353}, {100, 343}, {108, 351}, {152, 428}, {172, 408},
{99, 342}, {136, 445}, {159, 426}, {100, 338}, {172, 410}, {101, 339}, {153,
431}, {41, 286}, {70, 369}, {139, 444}, {153, 430}, {24, 288}, {94, 358}, {74,
370}, {108, 340}, {125, 325}, {161, 409}, {37, 284}, {92, 357}, {83, 362}, {41,
272}, {136, 433}, {34, 280}, {174, 404}, {87, 365}, {85, 367}, {102, 348}, {103,
349}, {19, 296}, {172, 407}, {88, 355}, {75, 368}, {112, 331}, {137, 434}, {139,
432}, {156, 423}, {29, 288}, {14, 304}, {26, 292}, {15, 305}, {48, 271}, {166,
409}, {106, 298}, {47, 366}, {226, 419}, {127, 318}, {220, 415}, {224, 419},
{28, 344}, {228, 416}, {80, 276}, {29, 345}, {31, 346}, {58, 383}, {56, 381},
{109, 296}, {101, 291}, {227, 421}, {208, 406}, {57, 382}, {218, 413}, {108,
299}, {135, 448}, {52, 380}, {221, 405}, {142, 454}, {47, 358}, {199, 398}, {50,
379}, {48, 378}, {221, 407}, {215, 413}, {46, 357}, {228, 431}, {222, 405},
{120, 307}, {27, 343}, {223, 403}, {81, 285}, {98, 303}, {227, 430}, {80, 286},
{222, 400}, {205, 387}, {194, 396}, {25, 342}, {193, 398}, {142, 449}, {69,
277}, {96, 304}, {94, 270}, {126, 302}, {49, 352}, {56, 362}, {192, 402}, {57,
363}, {145, 450}, {220, 399}, {81, 261}, {225, 437}, {151, 451}, {66, 279},
{225, 436}, {58, 364}, {228, 434}, {224, 438}, {80, 262}, {106, 316}, {145,
455}, {46, 377}, {218, 397}, {213, 386}, {197, 402}, {48, 359}, {146, 453}, {30,
327}, {199, 414}, {50, 360}, {202, 400}, {65, 283}, {63, 356}, {217, 386}, {214,
397}, {202, 401}, {28, 320}, {31, 323}, {30, 322}, {29, 321}, {112, 300}, {152,
452}, {52, 361}, {193, 412}, {63, 354}, {112, 301}, {192, 414}, {225, 447},
{219, 389}, {194, 412}, {62, 353}, {219, 388}, {97, 318}, {151, 456}, {159,
448}, {40, 328}, {228, 388}, {208, 432}, {41, 329}, {43, 330}, {223, 446}, {205,
428}, {62, 351}, {113, 272}, {161, 448}, {37, 327}, {226, 384}, {42, 329}, {210,
433}, {60, 351}, {32, 324}, {77, 297}, {61, 345}, {35, 326}, {81, 308}, {80,
309}, {59, 350}, {43, 334}, {127, 282}, {45, 331}, {215, 433}, {53, 339}, {34,
325}, {197, 418}, {51, 340}, {42, 322}, {71, 303}, {70, 302}, {60, 340}, {68,
301}, {211, 442}, {210, 443}, {206, 423}, {86, 319}, {58, 336}, {215, 445},
{202, 416}, {96, 266}, {126, 277}, {47, 323}, {209, 445}, {44, 321}, {222, 435},
{214, 443}, {63, 338}, {62, 336}, {63, 337}, {109, 258}, {224, 399}, {213, 442},
{60, 333}, {226, 403}, {204, 446}, {206, 444}, {61, 334}, {223, 428}, {180,
455}, {179, 448}, {92, 303}, {74, 313}, {65, 309}, {204, 440}, {188, 456}, {176,
452}, {75, 319}, {98, 278}, {61, 328}, {180, 449}, {176, 453}, {120, 269}, {37,
339}, {77, 315}, {66, 308}, {59, 333}, {109, 283}, {54, 321}, {227, 404}, {97,
278}, {96, 279}, {59, 332}, {126, 265}, {72, 304}, {221, 421}, {189, 453}, {51,
330}, {205, 436}, {204, 437}, {191, 454}, {189, 452}, {87, 302}, {101, 284},
{69, 319}, {222, 420}, {209, 427}, {32, 347}, {221, 422}, {214, 429}, {204,
439}, {184, 451}, {73, 306}, {112, 268}, {206, 434}, {114, 270}, {57, 324},
{206, 435}, {93, 288}, {34, 348}, {225, 415}, {213, 427}, {211, 429}, {208,
430}, {191, 449}, {188, 450}, {184, 454}, {55, 329}, {53, 331}, {49, 335}, {35,
349}, {208, 431}, {196, 324}, {226, 354}, {129, 256}, {155, 280}, {194, 326},
{175, 298}, {200, 335}, {217, 350}, {199, 335}, {216, 336}, {143, 262}, {212,
349}, {177, 314}, {168, 292}, {190, 306}, {169, 292}, {220, 337}, {131, 274},
{212, 326}, {163, 311}, {181, 289}, {167, 307}, {166, 306}, {165, 305}, {144,
261}, {218, 332}, {227, 372}, {155, 259}, {201, 337}, {197, 349}, {147, 266},
{181, 300}, {147, 264}, {201, 338}, {129, 287}, {169, 311}, {196, 347}, {167,
263}, {134, 295}, {194, 352}, {205, 367}, {214, 370}, {207, 362}, {143, 297},
{185, 287}, {182, 273}, {216, 383}, {190, 281}, {200, 352}, {215, 383}, {140,
293}, {173, 260}, {164, 269}, {165, 271}, {201, 354}, {217, 370}, {143, 290},
{219, 374}, {201, 356}, {199, 362}, {140, 291}, {220, 371}, {219, 372}, {185,
265}, {173, 284}, {207, 381}, {147, 288}, {140, 312}, {216, 364}, {187, 271},
{190, 267}, {140, 315}, {182, 257}, {181, 258}, {169, 273}, {197, 381}, {143,
310}, {213, 364}, {173, 276}, {163, 281}, {186, 256}, {182, 268}, {134, 317},
{218, 353}, {134, 314}, {167, 282}, {173, 275}, {185, 263}, {181, 267}, {202,
373}, {71, 391}, {195, 259}, {73, 393}, {107, 425}, {165, 359}, {129, 323},
{130, 320}, {79, 396}, {168, 363}, {131, 320}, {110, 426}, {171, 367}, {111,
427}, {78, 395}, {196, 257}, {103, 418}, {76, 394}, {115, 436}, {155, 348}, {74,
386}, {105, 417}, {160, 361}, {162, 363}, {75, 385}, {163, 361}, {84, 415},
{104, 419}, {83, 414}, {102, 424}, {198, 264}, {134, 328}, {82, 413}, {116,
443}, {73, 409}, {212, 260}, {177, 353}, {117, 421}, {132, 341}, {195, 274},
{90, 392}, {79, 412}, {107, 440}, {123, 424}, {78, 411}, {85, 384}, {111, 442},
{76, 410}, {168, 382}, {118, 416}, {119, 417}, {86, 385}, {95, 392}, {110, 441},
{121, 417}, {88, 385}, {116, 429}, {84, 399}, {200, 275}, {171, 368}, {92, 391},
{88, 387}, {117, 430}, {124, 423}, {129, 346}, {131, 344}, {89, 389}, {122,
422}, {128, 348}, {83, 398}, {170, 375}, {91, 390}, {89, 388}, {121, 420}, {123,
422}, {155, 325}, {198, 280}, {162, 380}, {82, 397}, {170, 373}, {165, 378},
{163, 380}, {90, 389}, {115, 428}, {122, 421}, {161, 382}, {132, 356}, {217,
313}, {117, 404}, {177, 336}, {107, 393}, {175, 333}, {175, 332}, {124, 408},
{130, 359}, {196, 289}, {118, 400}, {119, 401}, {124, 410}, {125, 411}, {118,
401}, {104, 384}, {138, 355}, {132, 366}, {99, 392}, {124, 407}, {168, 324},
{203, 295}, {111, 386}, {207, 290}, {203, 294}, {121, 404}, {122, 407}, {123,
406}, {105, 391}, {177, 351}, {122, 405}, {115, 387}, {119, 391}, {123, 395},
{175, 350}, {212, 293}, {203, 313}, {133, 374}, {103, 402}, {132, 369}, {125,
395}, {136, 383}, {207, 312}, {203, 316}, {198, 305}, {105, 401}, {116, 397},
{135, 382}, {138, 371}, {128, 378}, {104, 403}, {133, 376}, {166, 347}, {102,
408}, {216, 294}, {200, 310}, {171, 341}, {133, 379}, {121, 390} }>;
(II) A more general form is to represent the graph as the orbit of {195, 235}
under the group generated by the following permutations:
a: (9, 113) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (124, 172)
c: (118, 202)
d: (14, 96)
e: (180, 209)
f: (56, 207)
g: (59, 175)
h: (48, 165)
m: (16, 190)
n1: (13, 98)
a1: (122, 221)
b1: (43, 106)
c1: (71, 92)
d1: (33, 181)
e1: (30, 68)
f1: (47, 94)
g1: (79, 194)
h1: (7, 144)
m1: (188, 210)
n2: (1, 2)(3, 8)(4, 10)(5, 13)(6, 16)(7, 17)(9, 21)(11, 25)(12, 26)(14, 19)(15,
32)(18, 23)(20, 39)(22, 43)(24, 33)(27, 50)(28, 52)(29, 45)(30, 44)(31, 46)(34,
57)(35, 58)(36, 59)(37, 40)(38, 62)(41, 51)(42, 60)(47, 71)(48, 73)(49, 74)(53,
61)(54, 68)(55, 66)(56, 82)(63, 89)(64, 91)(65, 72)(67, 90)(69, 97)(70, 95)(75,
105)(76, 107)(77, 108)(78, 110)(79, 111)(80, 106)(81, 113)(83, 116)(84, 117)(85,
118)(86, 119)(87, 99)(88, 121)(92, 94)(93, 112)(96, 109)(98, 114)(100, 133)(101,
134)(102, 135)(103, 136)(104, 137)(115, 150)(120, 129)(122, 157)(123, 159)(124,
158)(125, 162)(126, 127)(128, 161)(130, 160)(131, 163)(132, 170)(138, 174)(139,
176)(140, 177)(141, 179)(142, 180)(143, 175)(144, 182)(145, 184)(146, 153)(147,
181)(148, 178)(149, 183)(151, 188)(152, 156)(154, 189)(155, 168)(164, 186)(165,
166)(167, 185)(169, 195)(171, 202)(172, 204)(173, 203)(187, 190)(191, 209)(192,
210)(193, 211)(194, 213)(196, 198)(197, 215)(199, 214)(200, 217)(201, 219)(205,
222)(206, 223)(207, 218)(208, 224)(212, 216)(220, 227)(221, 225)(226, 228)(230,
233)(231, 236)(232, 239)(234, 245)(235, 248)(237, 254)(238, 257)(240, 261)(241,
242)(243, 250)(244, 267)(246, 249)(247, 273)(251, 278)(252, 281)(253, 268)(255,
285)(256, 269)(258, 266)(259, 292)(260, 294)(262, 298)(264, 289)(265, 282)(270,
303)(271, 306)(272, 308)(274, 311)(275, 313)(276, 316)(277, 318)(279, 296)(280,
324)(283, 304)(284, 295)(286, 330)(287, 307)(288, 300)(290, 332)(291, 314)(293,
336)(297, 333)(299, 322)(301, 321)(302, 342)(305, 347)(309, 334)(310, 350)(312,
353)(315, 351)(317, 327)(319, 360)(320, 361)(323, 357)(325, 363)(326, 364)(328,
339)(329, 340)(331, 345)(335, 370)(337, 372)(338, 374)(341, 373)(343, 379)(344,
380)(346, 377)(348, 382)(349, 383)(352, 386)(354, 388)(355, 390)(356, 389)(358,
391)(359, 393)(362, 397)(365, 376)(366, 375)(367, 400)(368, 401)(369, 392)(371,
404)(378, 409)(381, 413)(384, 416)(385, 417)(387, 420)(394, 425)(395, 426)(396,
427)(398, 429)(399, 430)(402, 433)(403, 434)(405, 436)(406, 438)(407, 437)(408,
439)(410, 440)(411, 441)(412, 442)(414, 443)(415, 421)(418, 445)(419, 431)(422,
447)(423, 446)(424, 448)(428, 435)(432, 453)(444, 452)(450, 451)(454, 455)
a2: (90, 170)
b2: (17, 182)
c2: (51, 66)
d2: (19, 109)
e2: (49, 200)
f2: (153, 208)
g2: (117, 227)
h2: (184, 211)
m2: (84, 220)
n3: (31, 129)
a3: (36, 143)
b3: (38, 140)
c3: (88, 138)
d3: (45, 112)
e3: (103, 197)
f3: (15, 198)
g3: (2, 4)(3, 7)(5, 11)(6, 15)(9, 19)(10, 23)(14, 29)(16, 26)(17, 33)(20,
38)(22, 42)(25, 46)(28, 34)(30, 53)(40, 43)(44, 51)(47, 70)(49, 56)(50, 71)(54,
66)(57, 73)(58, 74)(59, 62)(63, 85)(64, 75)(65, 68)(76, 102)(77, 80)(79,
103)(84, 115)(86, 100)(87, 94)(90, 91)(92, 97)(93, 96)(106, 134)(107, 110)(109,
113)(114, 126)(116, 136)(117, 137)(118, 121)(120, 127)(122, 156)(123, 139)(128,
130)(131, 155)(133, 170)(140, 173)(141, 154)(144, 148)(145, 151)(146, 152)(149,
164)(158, 159)(160, 162)(166, 168)(169, 190)(171, 201)(174, 202)(175, 177)(179,
204)(180, 184)(181, 182)(185, 186)(187, 198)(192, 193)(194, 197)(200, 207)(205,
220)(206, 221)(209, 211)(214, 215)(216, 217)(223, 224)(227, 228)(229, 230)(231,
234)(232, 238)(233, 242)(235, 247)(236, 250)(237, 253)(239, 248)(240, 258)(241,
263)(243, 265)(244, 264)(245, 269)(246, 261)(249, 254)(251, 277)(252, 280)(255,
283)(256, 287)(257, 289)(259, 274)(260, 293)(262, 297)(266, 288)(267, 273)(268,
300)(270, 302)(271, 305)(272, 296)(275, 312)(276, 315)(278, 303)(279, 321)(281,
311)(282, 307)(284, 291)(285, 308)(286, 329)(290, 310)(292, 306)(294, 313)(295,
316)(298, 314)(299, 340)(301, 331)(304, 345)(309, 322)(317, 330)(318, 357)(319,
343)(320, 348)(323, 346)(324, 347)(325, 344)(326, 349)(327, 339)(328, 334)(332,
353)(333, 351)(335, 362)(336, 350)(337, 367)(338, 368)(341, 356)(342, 377)(352,
381)(354, 384)(355, 385)(358, 365)(359, 378)(360, 391)(361, 380)(363, 393)(364,
386)(366, 369)(370, 383)(371, 387)(372, 388)(373, 390)(374, 389)(375, 379)(376,
392)(382, 409)(394, 424)(395, 411)(396, 418)(397, 413)(398, 414)(399, 428)(400,
420)(401, 417)(402, 412)(403, 419)(404, 416)(405, 435)(406, 432)(407, 423)(408,
410)(415, 436)(421, 434)(422, 444)(425, 441)(426, 440)(427, 442)(429, 445)(430,
431)(433, 443)(437, 447)(438, 446)(439, 448)(449, 454)(450, 456)(451, 455)(452,
453)
h3: (158, 204)
m3: (146, 224)
n4: (135, 161)
a4: (46, 120)
b4: (91, 133)
c4: (139, 154)
d4: (73, 166)
e4: (4, 164)
f4: (159, 179)
g4: (42, 77)
h4: (104, 226)
m4: (64, 100)
n5: (2, 149)
a5: (18, 167)
b5: (142, 191)
c5: (40, 134)
d5: (10, 186)
e5: (60, 108)
f5: (52, 163)
g5: (107, 160)
h5: (157, 225)
m5: (151, 192)
n6: (150, 222)
a6: (110, 162)
b6: (61, 72)
c6: (26, 169)
d6: (50, 97)
e6: (11, 126)
f6: (152, 223)
g6: (8, 178)
h6: (83, 199)
m6: (123, 141)
n7: (20, 173)
a7: (12, 195)
b7: (5, 114)
c7: (67, 132)
d7: (63, 201)
e7: (102, 128)
f7: (24, 147)
g7: (75, 86)
h7: (115, 205)
m7: (89, 219)
n8: (85, 171)
a8: (39, 203)
b8: (74, 217)
c8: (156, 206)
d8: (62, 177)
e8: (111, 213)
f8: (78, 125)
g8: (95, 99)
h8: (6, 187)
m8: (29, 93)
n9: (53, 65)
a9: (37, 101)
b9: (27, 69)
c9: (32, 196)
d9: (22, 80)
e9: (21, 81)
f9: (34, 155)
g9: (35, 212)
h9: (3, 148)
m9: (82, 218)
n10: (28, 131)
a10: (137, 228)
b10: (58, 216)
c10: (25, 127)
d10: (176, 189)
e10: (136, 215)
f10: (2, 11)(3, 19)(4, 5)(6, 33)(7, 9)(8, 12)(10, 23)(13, 27)(14, 53)(15,
17)(16, 28)(18, 31)(20, 43)(21, 41)(22, 51)(24, 45)(25, 70)(26, 34)(29, 30)(32,
48)(35, 39)(36, 60)(37, 61)(38, 40)(42, 44)(46, 47)(49, 59)(50, 64)(52, 78)(54,
77)(55, 81)(56, 62)(57, 102)(58, 103)(63, 91)(65, 96)(66, 80)(67, 95)(68,
93)(69, 98)(71, 75)(72, 101)(73, 76)(74, 79)(82, 83)(84, 121)(85, 90)(86,
92)(87, 127)(88, 105)(89, 104)(94, 120)(97, 100)(99, 132)(106, 173)(107,
139)(108, 143)(109, 148)(110, 123)(111, 142)(112, 147)(113, 144)(114, 164)(115,
118)(116, 145)(117, 146)(119, 138)(122, 159)(124, 135)(125, 163)(126, 149)(128,
168)(129, 167)(130, 166)(131, 190)(133, 201)(134, 140)(136, 151)(137, 152)(141,
162)(150, 157)(153, 176)(154, 160)(155, 169)(156, 158)(161, 172)(165, 196)(170,
171)(174, 220)(175, 200)(177, 207)(178, 195)(179, 221)(180, 184)(181, 187)(182,
198)(185, 186)(189, 208)(191, 213)(192, 215)(193, 214)(194, 217)(197, 216)(199,
218)(202, 205)(203, 212)(204, 206)(209, 211)(219, 226)(222, 225)(223, 228)(224,
227)(229, 234)(230, 231)(232, 258)(233, 265)(235, 254)(236, 277)(237, 283)(238,
240)(239, 274)(241, 287)(242, 243)(244, 300)(245, 302)(246, 296)(247, 249)(248,
259)(250, 251)(252, 267)(253, 255)(256, 263)(257, 305)(260, 316)(261, 272)(262,
340)(264, 268)(266, 331)(269, 270)(271, 289)(273, 280)(275, 298)(276, 330)(278,
343)(279, 309)(281, 344)(282, 346)(284, 334)(285, 329)(286, 308)(288, 301)(290,
351)(291, 328)(292, 348)(293, 295)(294, 349)(297, 299)(303, 319)(304, 339)(306,
320)(307, 323)(310, 333)(311, 325)(312, 314)(313, 326)(315, 317)(318, 365)(321,
322)(324, 378)(327, 345)(332, 335)(336, 381)(337, 390)(338, 379)(341, 392)(342,
369)(347, 359)(350, 352)(353, 362)(354, 374)(355, 360)(356, 376)(357, 358)(361,
411)(363, 424)(364, 418)(366, 377)(367, 373)(368, 375)(370, 412)(371, 417)(372,
419)(380, 395)(382, 408)(383, 402)(384, 389)(385, 391)(386, 396)(387, 401)(388,
403)(393, 394)(397, 398)(399, 404)(400, 436)(405, 447)(406, 441)(407, 448)(409,
410)(413, 414)(415, 420)(416, 428)(421, 438)(422, 426)(423, 439)(425, 432)(427,
454)(429, 455)(430, 453)(431, 452)(433, 456)(434, 446)(435, 437)(440, 444)(442,
449)(443, 450)(445, 451)
g10: (70, 87)
h10: (57, 168)
m10: (44, 54)
n11: (41, 55)
a11: (105, 119)
b11: (76, 130)
c11: (145, 193)
d11: (121, 174)
e11: (23, 185)
C4[ 456, 35 ]
456
-1 231 234 229 230
-2 233 245 236 229
-3 232 235 246 237
-4 242 269 250 230
-5 231 243 270 251
-6 232 244 271 252
-7 253 247 238 261
-8 254 248 249 239
-9 255 249 272 240
-10 243 233 256 241
-11 265 277 234 302
-12 235 247 259 274
-13 278 236 303 250
-14 266 279 237 304
-15 264 280 238 305
-16 267 281 239 306
-17 257 268 240 273
-18 282 241 263 307
-19 254 258 283 296
-20 275 276 260 284
-21 308 246 261 285
-22 286 276 309 262
-23 242 265 287 263
-24 264 244 266 288
-25 342 245 282 318
-26 311 248 292 273
-27 319 277 343 251
-28 320 344 252 274
-29 253 288 321 345
-30 255 322 301 327
-31 287 256 323 346
-32 289 257 324 347
-33 267 289 300 258
-34 280 259 325 348
-35 260 293 326 349
-36 297 310 290 262
-37 291 327 284 339
-38 312 291 293 315
-39 313 294 316 295
-40 314 295 317 328
-41 286 272 296 329
-42 297 322 315 329
-43 330 298 334 316
-44 299 321 317 285
-45 331 300 268 301
-46 377 269 357 307
-47 366 323 270 358
-48 378 271 359 305
-49 275 352 310 335
-50 278 379 360 318
-51 308 330 279 340
-52 311 281 380 361
-53 309 331 283 339
-54 299 321 317 285
-55 286 272 296 329
-56 290 312 381 362
-57 363 324 292 382
-58 364 336 294 383
-59 298 332 333 350
-60 299 333 340 351
-61 334 345 304 328
-62 353 314 336 351
-63 354 356 337 338
-64 343 365 355 338
-65 309 331 283 339
-66 308 330 279 340
-67 341 366 356 369
-68 255 322 301 327
-69 319 277 343 251
-70 365 302 346 369
-71 375 357 303 391
-72 334 345 304 328
-73 409 347 393 306
-74 386 313 370 350
-75 319 385 368 358
-76 320 410 359 394
-77 297 322 315 329
-78 344 411 325 395
-79 352 396 412 326
-80 286 276 309 262
-81 308 246 261 285
-82 353 397 332 413
-83 398 335 414 362
-84 399 337 371 415
-85 341 367 368 384
-86 319 385 368 358
-87 365 302 346 369
-88 385 387 355 371
-89 374 388 389 372
-90 375 389 392 373
-91 374 376 379 390
-92 375 357 303 391
-93 253 288 321 345
-94 366 323 270 358
-95 342 376 377 392
-96 266 279 237 304
-97 278 379 360 318
-98 278 236 303 250
-99 342 376 377 392
-100 343 365 355 338
-101 291 327 284 339
-102 408 378 424 348
-103 418 402 381 349
-104 419 354 403 384
-105 401 391 360 417
-106 330 298 334 316
-107 440 425 393 361
-108 299 333 340 351
-109 254 258 283 296
-110 363 441 380 426
-111 364 386 442 427
-112 331 300 268 301
-113 255 249 272 240
-114 231 243 270 251
-115 387 367 436 428
-116 429 397 443 370
-117 430 421 404 372
-118 400 401 416 373
-119 401 391 360 417
-120 377 269 357 307
-121 420 390 404 417
-122 407 421 422 405
-123 422 424 395 406
-124 407 408 410 423
-125 344 411 325 395
-126 265 277 234 302
-127 342 245 282 318
-128 408 378 424 348
-129 287 256 323 346
-130 320 410 359 394
-131 320 344 252 274
-132 341 366 356 369
-133 374 376 379 390
-134 314 295 317 328
-135 409 382 448 439
-136 433 445 413 383
-137 431 388 434 416
-138 385 387 355 371
-139 432 411 444 394
-140 312 291 293 315
-141 422 424 395 406
-142 396 418 454 449
-143 297 310 290 262
-144 253 247 238 261
-145 398 455 412 450
-146 419 453 399 438
-147 264 244 266 288
-148 232 235 246 237
-149 233 245 236 229
-150 420 400 435 405
-151 451 456 402 414
-152 452 446 403 428
-153 430 431 432 406
-154 432 411 444 394
-155 280 259 325 348
-156 444 423 434 435
-157 436 447 415 437
-158 440 446 437 439
-159 447 426 448 438
-160 440 425 393 361
-161 409 382 448 439
-162 363 441 380 426
-163 311 281 380 361
-164 242 269 250 230
-165 378 271 359 305
-166 409 347 393 306
-167 282 241 263 307
-168 363 324 292 382
-169 311 248 292 273
-170 375 389 392 373
-171 341 367 368 384
-172 407 408 410 423
-173 275 276 260 284
-174 420 390 404 417
-175 298 332 333 350
-176 441 452 453 425
-177 353 314 336 351
-178 254 248 249 239
-179 447 426 448 438
-180 455 445 427 449
-181 267 289 300 258
-182 257 268 240 273
-183 231 234 229 230
-184 429 451 442 454
-185 242 265 287 263
-186 243 233 256 241
-187 232 244 271 252
-188 443 433 456 450
-189 441 452 453 425
-190 267 281 239 306
-191 396 418 454 449
-192 451 456 402 414
-193 398 455 412 450
-194 352 396 412 326
-195 235 247 259 274
-196 289 257 324 347
-197 418 402 381 349
-198 264 280 238 305
-199 398 335 414 362
-200 275 352 310 335
-201 354 356 337 338
-202 400 401 416 373
-203 313 294 316 295
-204 440 446 437 439
-205 387 367 436 428
-206 444 423 434 435
-207 290 312 381 362
-208 430 431 432 406
-209 455 445 427 449
-210 443 433 456 450
-211 429 451 442 454
-212 260 293 326 349
-213 364 386 442 427
-214 429 397 443 370
-215 433 445 413 383
-216 364 336 294 383
-217 386 313 370 350
-218 353 397 332 413
-219 374 388 389 372
-220 399 337 371 415
-221 407 421 422 405
-222 420 400 435 405
-223 452 446 403 428
-224 419 453 399 438
-225 436 447 415 437
-226 419 354 403 384
-227 430 421 404 372
-228 431 388 434 416
-229 1 2 149 183
-230 1 4 183 164
-231 1 114 5 183
-232 187 3 148 6
-233 2 149 10 186
-234 11 1 126 183
-235 12 3 148 195
-236 2 13 149 98
-237 3 14 148 96
-238 198 144 15 7
-239 178 190 16 8
-240 113 17 182 9
-241 167 18 10 186
-242 23 4 185 164
-243 114 5 10 186
-244 187 24 147 6
-245 2 25 127 149
-246 3 81 148 21
-247 12 144 7 195
-248 178 26 169 8
-249 178 113 8 9
-250 13 4 98 164
-251 69 114 5 27
-252 187 6 28 131
-253 144 93 7 29
-254 178 8 19 109
-255 68 113 30 9
-256 129 31 10 186
-257 17 182 196 32
-258 33 181 19 109
-259 12 34 155 195
-260 35 212 173 20
-261 144 81 7 21
-262 22 143 36 80
-263 23 167 18 185
-264 198 24 15 147
-265 11 23 126 185
-266 24 14 147 96
-267 33 190 16 181
-268 45 112 17 182
-269 46 4 120 164
-270 47 114 5 94
-271 165 187 48 6
-272 55 113 41 9
-273 26 169 17 182
-274 12 28 195 131
-275 200 49 173 20
-276 22 80 173 20
-277 11 69 27 126
-278 13 50 97 98
-279 66 14 51 96
-280 198 34 155 15
-281 190 16 52 163
-282 167 25 127 18
-283 19 53 65 109
-284 101 37 173 20
-285 44 81 21 54
-286 22 55 80 41
-287 23 129 31 185
-288 24 147 93 29
-289 33 181 196 32
-290 143 56 36 207
-291 101 37 38 140
-292 57 168 26 169
-293 35 212 38 140
-294 58 203 39 216
-295 134 203 39 40
-296 55 19 41 109
-297 77 143 36 42
-298 59 106 43 175
-299 44 60 108 54
-300 33 45 112 181
-301 45 68 112 30
-302 11 70 126 87
-303 13 92 71 98
-304 14 61 72 96
-305 165 198 15 48
-306 166 190 16 73
-307 46 167 18 120
-308 66 81 51 21
-309 22 80 53 65
-310 143 200 36 49
-311 26 169 52 163
-312 56 38 140 207
-313 203 39 74 217
-314 177 134 40 62
-315 77 38 140 42
-316 203 39 106 43
-317 44 134 40 54
-318 25 50 127 97
-319 69 27 75 86
-320 28 130 76 131
-321 44 93 29 54
-322 77 68 30 42
-323 47 94 129 31
-324 57 168 196 32
-325 34 78 155 125
-326 35 79 212 194
-327 68 101 37 30
-328 134 61 72 40
-329 55 77 41 42
-330 66 51 106 43
-331 45 112 53 65
-332 59 82 218 175
-333 59 60 108 175
-334 61 72 106 43
-335 199 200 49 83
-336 177 58 62 216
-337 220 201 84 63
-338 100 201 63 64
-339 101 37 53 65
-340 66 60 51 108
-341 132 67 171 85
-342 99 25 127 95
-343 100 69 27 64
-344 78 125 28 131
-345 93 61 72 29
-346 70 129 31 87
-347 166 73 196 32
-348 34 155 102 128
-349 35 212 103 197
-350 59 74 217 175
-351 177 60 62 108
-352 79 200 49 194
-353 177 82 62 218
-354 201 104 226 63
-355 88 100 138 64
-356 132 67 201 63
-357 46 92 71 120
-358 47 94 75 86
-359 165 48 130 76
-360 50 105 97 119
-361 160 52 107 163
-362 56 199 83 207
-363 110 57 168 162
-364 111 58 213 216
-365 100 70 64 87
-366 132 67 47 94
-367 115 171 205 85
-368 171 85 75 86
-369 132 67 70 87
-370 214 116 74 217
-371 88 220 138 84
-372 89 117 227 219
-373 90 202 170 118
-374 89 133 91 219
-375 90 92 71 170
-376 99 133 91 95
-377 99 46 95 120
-378 165 102 48 128
-379 133 91 50 97
-380 110 52 162 163
-381 56 103 207 197
-382 57 135 168 161
-383 58 136 215 216
-384 104 171 226 85
-385 88 138 75 86
-386 111 213 74 217
-387 88 115 138 205
-388 89 137 228 219
-389 89 90 170 219
-390 121 133 91 174
-391 92 71 105 119
-392 99 90 170 95
-393 166 160 73 107
-394 154 139 130 76
-395 78 123 125 141
-396 79 191 194 142
-397 82 214 116 218
-398 199 145 83 193
-399 220 146 224 84
-400 222 202 150 118
-401 202 105 118 119
-402 103 192 151 197
-403 223 104 226 152
-404 121 117 227 174
-405 122 221 222 150
-406 123 141 153 208
-407 122 221 124 172
-408 102 124 128 172
-409 166 135 73 161
-410 124 172 130 76
-411 154 78 125 139
-412 79 145 193 194
-413 136 82 215 218
-414 199 192 83 151
-415 220 157 225 84
-416 202 137 118 228
-417 121 105 119 174
-418 103 191 142 197
-419 146 224 104 226
-420 121 222 150 174
-421 122 221 117 227
-422 122 221 123 141
-423 156 124 172 206
-424 123 102 128 141
-425 176 189 160 107
-426 110 179 159 162
-427 209 111 180 213
-428 223 115 205 152
-429 211 214 116 184
-430 117 227 153 208
-431 137 228 153 208
-432 154 139 153 208
-433 188 210 136 215
-434 156 137 206 228
-435 156 222 150 206
-436 157 115 225 205
-437 157 158 225 204
-438 146 179 224 159
-439 135 158 204 161
-440 158 160 204 107
-441 110 176 189 162
-442 111 211 213 184
-443 188 210 214 116
-444 154 156 139 206
-445 209 136 180 215
-446 223 158 204 152
-447 157 179 159 225
-448 135 179 159 161
-449 209 180 191 142
-450 188 210 145 193
-451 211 192 151 184
-452 176 189 223 152
-453 176 189 146 224
-454 211 191 184 142
-455 209 145 180 193
-456 188 210 192 151
0