Graph forms
for C4 [ 432, 167 ] = PL(ATD[12,4]#DCyc[9])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 432, 167 ] =
PL(ATD[12,4]#DCyc[9]).
(I) Following is a form readable by MAGMA:
g:=Graph<432|{ {212, 218}, {196, 219}, {214, 244}, {208, 243}, {196, 227}, {199,
224}, {204, 228}, {207, 230}, {203, 224}, {214, 251}, {214, 248}, {202, 250},
{213, 231}, {202, 254}, {211, 228}, {200, 243}, {156, 220}, {168, 232}, {182,
245}, {158, 218}, {178, 246}, {188, 249}, {190, 251}, {166, 225}, {177, 246},
{187, 241}, {190, 244}, {148, 223}, {169, 230}, {191, 240}, {141, 221}, {188,
239}, {143, 219}, {167, 242}, {169, 255}, {135, 221}, {174, 245}, {176, 239},
{144, 240}, {137, 232}, {140, 238}, {153, 252}, {188, 217}, {142, 232}, {137,
224}, {183, 222}, {176, 217}, {151, 254}, {137, 227}, {135, 235}, {151, 250},
{142, 224}, {171, 223}, {138, 242}, {129, 252}, {163, 222}, {159, 226}, {154,
231}, {148, 235}, {90, 219}, {97, 226}, {105, 236}, {104, 238}, {107, 237},
{122, 252}, {118, 254}, {109, 225}, {115, 253}, {114, 253}, {103, 247}, {123,
233}, {122, 233}, {115, 229}, {98, 248}, {101, 255}, {105, 243}, {115, 239},
{114, 239}, {111, 240}, {64, 226}, {81, 245}, {123, 222}, {94, 248}, {71, 238},
{65, 234}, {72, 227}, {85, 249}, {95, 243}, {71, 234}, {92, 241}, {80, 253},
{75, 229}, {66, 237}, {84, 230}, {95, 236}, {79, 249}, {108, 219}, {83, 235},
{101, 221}, {100, 220}, {90, 227}, {72, 242}, {64, 251}, {76, 247}, {71, 252},
{67, 248}, {73, 246}, {93, 226}, {43, 234}, {54, 247}, {51, 242}, {52, 246},
{60, 254}, {54, 244}, {41, 234}, {59, 255}, {31, 218}, {43, 238}, {25, 223},
{35, 229}, {32, 231}, {58, 253}, {50, 250}, {57, 241}, {62, 247}, {22, 220},
{38, 237}, {43, 231}, {59, 245}, {53, 229}, {13, 220}, {46, 255}, {40, 251},
{47, 250}, {4, 223}, {59, 230}, {58, 222}, {9, 225}, {49, 217}, {12, 228}, {48,
217}, {30, 244}, {28, 240}, {29, 241}, {55, 218}, {25, 233}, {28, 236}, {21,
228}, {18, 225}, {46, 221}, {31, 232}, {1, 249}, {16, 233}, {20, 237}, {17,
235}, {19, 236}, {27, 283}, {101, 357}, {28, 284}, {125, 381}, {130, 386}, {142,
398}, {152, 408}, {11, 265}, {41, 299}, {110, 364}, {6, 261}, {69, 326}, {61,
318}, {20, 272}, {168, 428}, {62, 314}, {27, 287}, {113, 373}, {31, 282}, {99,
358}, {42, 303}, {10, 268}, {165, 419}, {161, 423}, {21, 275}, {21, 274}, {159,
408}, {94, 342}, {47, 294}, {154, 403}, {148, 413}, {65, 331}, {86, 348}, {82,
344}, {120, 370}, {103, 364}, {38, 298}, {69, 329}, {133, 393}, {18, 287}, {86,
347}, {79, 322}, {76, 321}, {47, 290}, {111, 354}, {9, 263}, {168, 422}, {63,
305}, {11, 261}, {139, 389}, {75, 324}, {45, 317}, {50, 290}, {19, 258}, {99,
370}, {108, 381}, {149, 388}, {78, 348}, {178, 416}, {121, 363}, {129, 403},
{132, 406}, {11, 280}, {24, 267}, {141, 414}, {33, 309}, {156, 392}, {84, 320},
{60, 296}, {57, 301}, {96, 373}, {185, 428}, {117, 352}, {102, 368}, {137, 415},
{142, 409}, {157, 394}, {155, 396}, {37, 317}, {65, 345}, {118, 366}, {125,
357}, {10, 272}, {93, 327}, {13, 278}, {95, 324}, {74, 337}, {46, 309}, {140,
407}, {111, 371}, {184, 420}, {1, 284}, {74, 343}, {113, 364}, {12, 274}, {180,
426}, {155, 389}, {80, 334}, {67, 349}, {50, 300}, {36, 314}, {140, 402}, {29,
258}, {152, 391}, {119, 343}, {182, 406}, {140, 428}, {143, 431}, {1, 288}, {2,
288}, {146, 432}, {38, 261}, {120, 347}, {124, 351}, {136, 427}, {23, 307}, {93,
377}, {79, 363}, {117, 337}, {70, 355}, {191, 410}, {122, 351}, {112, 342}, {35,
260}, {109, 330}, {26, 306}, {82, 379}, {110, 327}, {112, 345}, {114, 347},
{119, 350}, {12, 294}, {74, 352}, {108, 326}, {51, 280}, {56, 276}, {4, 297},
{164, 393}, {163, 398}, {81, 380}, {70, 363}, {62, 275}, {55, 282}, {7, 297},
{185, 407}, {64, 366}, {42, 260}, {110, 320}, {123, 341}, {8, 312}, {158, 430},
{102, 342}, {95, 367}, {67, 371}, {58, 266}, {126, 334}, {55, 262}, {179, 386},
{170, 411}, {17, 291}, {98, 336}, {3, 304}, {26, 302}, {113, 325}, {26, 303},
{160, 405}, {56, 269}, {120, 333}, {150, 419}, {165, 403}, {184, 398}, {8, 319},
{173, 410}, {52, 259}, {49, 262}, {69, 381}, {174, 406}, {89, 353}, {21, 300},
{190, 391}, {79, 374}, {3, 313}, {174, 404}, {48, 266}, {49, 266}, {112, 331},
{149, 430}, {33, 285}, {157, 417}, {81, 365}, {55, 267}, {5, 312}, {100, 345},
{14, 307}, {149, 424}, {86, 360}, {186, 388}, {116, 330}, {6, 313}, {78, 369},
{75, 372}, {17, 302}, {17, 337}, {216, 408}, {195, 387}, {87, 278}, {208, 401},
{40, 362}, {206, 396}, {5, 326}, {198, 389}, {44, 367}, {110, 301}, {119, 308},
{23, 339}, {58, 382}, {29, 344}, {51, 373}, {96, 294}, {77, 267}, {53, 370},
{60, 379}, {59, 380}, {118, 305}, {68, 268}, {70, 270}, {107, 291}, {113, 313},
{85, 284}, {213, 412}, {212, 413}, {210, 411}, {94, 279}, {73, 259}, {26, 337},
{213, 414}, {77, 262}, {63, 372}, {81, 285}, {195, 399}, {87, 283}, {3, 334},
{90, 276}, {96, 302}, {57, 374}, {194, 397}, {107, 292}, {72, 280}, {199, 407},
{102, 310}, {80, 256}, {8, 345}, {8, 346}, {57, 363}, {30, 332}, {23, 325}, {19,
320}, {194, 401}, {48, 355}, {39, 372}, {36, 375}, {37, 369}, {67, 279}, {35,
374}, {37, 368}, {116, 289}, {84, 258}, {208, 390}, {125, 299}, {20, 323}, {90,
269}, {88, 271}, {112, 295}, {125, 298}, {71, 287}, {102, 318}, {75, 274}, {200,
401}, {80, 266}, {97, 315}, {29, 326}, {100, 319}, {32, 379}, {105, 306}, {42,
374}, {203, 407}, {84, 264}, {104, 308}, {121, 293}, {5, 344}, {214, 395}, {92,
257}, {76, 273}, {14, 339}, {23, 329}, {103, 313}, {83, 269}, {118, 296}, {5,
346}, {44, 371}, {24, 376}, {99, 259}, {91, 315}, {116, 276}, {7, 358}, {202,
427}, {22, 375}, {104, 265}, {10, 361}, {200, 427}, {69, 294}, {56, 348}, {201,
429}, {88, 316}, {38, 323}, {47, 329}, {66, 292}, {27, 380}, {205, 426}, {36,
332}, {44, 324}, {39, 335}, {4, 365}, {13, 356}, {205, 423}, {61, 342}, {106,
262}, {15, 354}, {66, 303}, {15, 353}, {206, 416}, {127, 273}, {120, 279}, {198,
425}, {39, 343}, {83, 291}, {63, 335}, {126, 270}, {41, 344}, {215, 422}, {211,
418}, {92, 301}, {53, 324}, {44, 349}, {2, 368}, {22, 356}, {2, 369}, {50, 321},
{111, 284}, {103, 275}, {16, 358}, {211, 421}, {51, 325}, {9, 382}, {85, 290},
{54, 321}, {15, 376}, {121, 270}, {53, 333}, {92, 292}, {12, 373}, {201, 432},
{94, 295}, {82, 299}, {78, 311}, {68, 317}, {3, 377}, {209, 427}, {24, 354},
{16, 362}, {126, 260}, {109, 278}, {20, 361}, {85, 296}, {32, 350}, {96, 286},
{119, 265}, {126, 256}, {6, 377}, {6, 390}, {181, 309}, {172, 300}, {150, 278},
{43, 426}, {155, 282}, {134, 263}, {204, 335}, {25, 413}, {212, 336}, {191,
315}, {161, 293}, {52, 432}, {132, 257}, {141, 264}, {40, 430}, {216, 350},
{165, 291}, {153, 287}, {33, 422}, {185, 318}, {176, 311}, {128, 263}, {1, 393},
{46, 422}, {152, 273}, {32, 426}, {175, 293}, {167, 301}, {2, 393}, {156, 279},
{4, 392}, {172, 288}, {9, 388}, {162, 303}, {45, 416}, {11, 390}, {7, 392},
{135, 264}, {150, 281}, {162, 306}, {170, 314}, {14, 415}, {160, 305}, {28,
397}, {30, 396}, {16, 387}, {187, 296}, {171, 312}, {167, 308}, {138, 281}, {48,
421}, {18, 388}, {194, 340}, {173, 315}, {54, 417}, {204, 340}, {52, 429}, {187,
290}, {146, 267}, {25, 387}, {173, 311}, {170, 304}, {173, 310}, {186, 289},
{49, 429}, {211, 335}, {177, 300}, {19, 397}, {205, 339}, {132, 283}, {197,
346}, {161, 257}, {14, 431}, {56, 409}, {45, 396}, {40, 394}, {183, 277}, {179,
273}, {177, 275}, {10, 425}, {216, 379}, {160, 259}, {159, 316}, {35, 391}, {62,
410}, {147, 311}, {147, 310}, {181, 272}, {37, 387}, {169, 271}, {39, 384},
{186, 285}, {128, 295}, {145, 310}, {24, 432}, {182, 286}, {61, 404}, {165,
268}, {154, 307}, {63, 405}, {45, 385}, {210, 382}, {146, 318}, {15, 418}, {201,
356}, {34, 399}, {13, 419}, {209, 383}, {7, 424}, {203, 356}, {180, 283}, {34,
402}, {162, 274}, {143, 319}, {175, 286}, {34, 400}, {61, 399}, {147, 289}, {31,
428}, {133, 305}, {149, 289}, {207, 378}, {208, 357}, {18, 420}, {42, 412}, {34,
404}, {22, 416}, {136, 304}, {41, 400}, {187, 258}, {172, 277}, {174, 276}, {33,
413}, {60, 384}, {131, 319}, {151, 298}, {199, 378}, {192, 381}, {36, 410},
{215, 361}, {130, 316}, {138, 308}, {153, 295}, {27, 420}, {30, 417}, {141,
306}, {91, 411}, {139, 331}, {87, 406}, {176, 369}, {168, 361}, {164, 358},
{205, 271}, {108, 431}, {139, 328}, {109, 425}, {209, 277}, {197, 257}, {193,
261}, {189, 377}, {68, 385}, {193, 260}, {178, 375}, {148, 338}, {171, 365},
{77, 394}, {207, 264}, {156, 347}, {106, 429}, {132, 323}, {143, 328}, {89,
401}, {183, 383}, {180, 380}, {154, 338}, {93, 405}, {212, 285}, {64, 394},
{202, 256}, {198, 268}, {74, 384}, {99, 424}, {163, 360}, {131, 328}, {150,
346}, {194, 271}, {76, 386}, {195, 269}, {164, 362}, {158, 336}, {175, 352},
{215, 280}, {193, 270}, {184, 360}, {192, 272}, {65, 400}, {209, 256}, {190,
367}, {171, 378}, {166, 375}, {82, 384}, {160, 370}, {144, 322}, {124, 431},
{129, 338}, {134, 341}, {89, 397}, {128, 341}, {210, 263}, {135, 338}, {136,
349}, {162, 372}, {182, 352}, {72, 415}, {186, 365}, {155, 332}, {78, 409},
{144, 327}, {124, 420}, {147, 330}, {88, 386}, {196, 286}, {134, 349}, {206,
277}, {164, 383}, {139, 336}, {83, 399}, {198, 282}, {197, 281}, {86, 395},
{163, 382}, {66, 412}, {215, 265}, {199, 281}, {185, 359}, {121, 423}, {129,
351}, {131, 348}, {116, 404}, {201, 297}, {127, 414}, {197, 292}, {130, 355},
{145, 368}, {145, 371}, {203, 297}, {183, 341}, {161, 323}, {70, 421}, {189,
350}, {101, 390}, {124, 415}, {127, 412}, {130, 353}, {106, 398}, {216, 316},
{170, 334}, {117, 400}, {213, 307}, {68, 419}, {184, 351}, {180, 339}, {167,
320}, {98, 389}, {117, 402}, {127, 408}, {128, 359}, {210, 314}, {98, 395},
{204, 293}, {166, 332}, {196, 302}, {189, 343}, {73, 418}, {193, 298}, {192,
299}, {131, 360}, {133, 366}, {73, 421}, {166, 330}, {100, 392}, {77, 417},
{172, 321}, {206, 288}, {136, 376}, {138, 378}, {159, 366}, {151, 357}, {91,
424}, {106, 409}, {145, 354}, {97, 405}, {158, 362}, {115, 391}, {91, 430},
{192, 309}, {146, 359}, {179, 325}, {105, 414}, {207, 312}, {152, 367}, {107,
403}, {200, 304}, {114, 395}, {97, 411}, {189, 327}, {179, 329}, {104, 402},
{123, 385}, {133, 383}, {89, 418}, {175, 340}, {122, 385}, {144, 364}, {177,
333}, {157, 353}, {169, 340}, {191, 322}, {181, 328}, {87, 425}, {195, 317},
{188, 322}, {181, 331}, {157, 355}, {153, 359}, {134, 376}, {88, 423}, {178,
333} }>;
(II) A more general form is to represent the graph as the orbit of {212, 218}
under the group generated by the following permutations:
a: (4, 13)(7, 22)(10, 33)(12, 39)(14, 43)(15, 48)(16, 45)(19, 57)(20, 46)(21,
63)(23, 32)(24, 49)(25, 68)(28, 79)(30, 40)(34, 90)(35, 95)(36, 91)(38, 101)(41,
108)(42, 105)(44, 115)(47, 60)(50, 118)(51, 119)(54, 64)(56, 61)(58, 134)(59,
132)(62, 97)(65, 143)(66, 141)(67, 114)(69, 82)(70, 89)(71, 124)(72, 104)(74,
96)(76, 159)(78, 102)(80, 136)(81, 87)(84, 92)(86, 94)(93, 103)(99, 178)(106,
146)(107, 135)(109, 186)(111, 188)(112, 131)(113, 189)(117, 196)(121, 194)(126,
200)(128, 163)(133, 172)(137, 140)(142, 185)(145, 176)(148, 165)(149, 166)(150,
171)(153, 184)(155, 158)(160, 177)(161, 169)(164, 206)(179, 216)(193, 208)(197,
207)(198, 212)(217, 354)(218, 282)(219, 400)(220, 392)(221, 237)(222, 341)(223,
419)(224, 407)(225, 388)(226, 247)(227, 402)(228, 335)(229, 324)(230, 257)(231,
307)(232, 428)(233, 385)(234, 431)(235, 291)(236, 374)(238, 415)(239, 371)(240,
322)(241, 258)(242, 308)(243, 260)(244, 251)(245, 406)(246, 259)(248, 395)(249,
284)(250, 254)(252, 351)(253, 349)(255, 323)(256, 427)(261, 390)(262, 267)(263,
382)(264, 292)(265, 280)(266, 376)(268, 413)(269, 399)(270, 401)(271, 423)(272,
309)(273, 408)(274, 372)(275, 405)(276, 404)(277, 383)(278, 365)(279, 347)(281,
378)(283, 380)(285, 425)(286, 352)(287, 420)(288, 393)(289, 330)(290, 296)(293,
340)(294, 384)(295, 360)(297, 356)(298, 357)(299, 381)(300, 305)(301, 320)(302,
337)(303, 306)(304, 334)(310, 311)(312, 346)(313, 377)(314, 411)(315, 410)(316,
386)(317, 387)(318, 409)(319, 345)(321, 366)(325, 350)(326, 344)(327, 364)(328,
331)(329, 379)(332, 430)(333, 370)(336, 389)(338, 403)(339, 426)(342, 348)(343,
373)(353, 355)(358, 416)(359, 398)(361, 422)(362, 396)(363, 397)(367, 391)(368,
369)(375, 424)(394, 417)(412, 414)(418, 421)(429, 432) (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: (1, 4, 44, 195, 160, 112)(2, 7, 67, 37, 99, 94)(3, 10, 70, 27, 76, 137)(5,
19, 135, 162, 117, 60)(6, 20, 121, 180, 179, 72)(8, 28, 148, 75, 34, 118)(9, 30,
106, 210, 155, 49)(11, 38, 161, 205, 23, 51)(12, 104, 151, 197, 194, 154)(13,
15, 122, 177, 185, 209)(14, 113, 215, 193, 132, 88)(16, 120, 102, 164, 156,
145)(17, 39, 41, 187, 207, 105)(18, 54, 142, 170, 198, 48)(21, 140, 202, 150,
89, 129)(22, 24, 123, 178, 146, 183)(25, 53, 61, 133, 100, 111)(26, 74, 82, 29,
84, 141)(31, 80, 109, 157, 184, 62)(32, 69, 167, 101, 66, 175)(33, 35, 174, 159,
143, 144)(36, 55, 58, 166, 77, 163)(40, 86, 173, 158, 114, 147)(42, 182, 216,
108, 110, 46)(43, 47, 138, 208, 107, 204)(45, 52, 128, 206, 201, 134)(50, 199,
200, 165, 211, 71)(56, 97, 139, 188, 186, 190)(57, 59, 127, 196, 189, 192)(63,
65, 85, 171, 95, 83)(64, 131, 191, 212, 115, 116)(68, 73, 153, 172, 203,
136)(78, 91, 98, 176, 149, 214)(79, 81, 152, 90, 93, 181)(87, 130, 124, 103,
168, 126)(92, 169, 213, 96, 119, 125)(217, 388, 244, 409, 411, 389)(218, 253,
330, 394, 360, 410)(219, 327, 309, 374, 245, 408)(220, 354, 233, 333, 318,
383)(221, 303, 352, 379, 326, 320)(222, 375, 267)(223, 324, 399, 305, 345,
284)(224, 304, 268, 421, 287, 321)(225, 417, 398, 314, 282, 266)(226, 328, 322,
285, 391, 276)(227, 377, 272, 363, 380, 273)(228, 238, 250, 281, 401, 403)(229,
404, 366, 319, 240, 413)(230, 414, 302, 343, 299, 241)(231, 294, 308, 357, 292,
340)(232, 334, 425, 355, 420, 247)(234, 290, 378, 243, 291, 335)(235, 372, 400,
296, 312, 236)(237, 293, 426, 329, 242, 390)(239, 289, 251, 348, 315, 336)(246,
359, 277, 356, 376, 385)(248, 369, 424)(249, 365, 367, 269, 405, 331)(252, 300,
407, 427, 419, 418)(254, 346, 397, 338, 274, 402)(255, 412, 286, 350, 381,
301)(256, 278, 353, 351, 275, 428)(257, 271, 307, 373, 265, 298)(258, 264, 306,
337, 384, 344)(259, 295, 288, 297, 349, 317)(260, 406, 316, 431, 364, 422)(261,
323, 423, 339, 325, 280)(262, 382, 332)(263, 396, 429)(270, 283, 386, 415, 313,
361)(279, 368, 358)(310, 362, 347)(311, 430, 395)(341, 416, 432)(342, 393, 392,
371, 387, 370)
c: (1, 3)(2, 6)(4, 43)(5, 18)(7, 32)(8, 27)(9, 29)(10, 90)(11, 37)(12, 30)(13,
14)(15, 95)(16, 119)(17, 31)(19, 134)(20, 56)(21, 54)(22, 23)(24, 105)(25,
104)(26, 55)(28, 136)(33, 34)(35, 48)(36, 47)(38, 78)(39, 40)(41, 186)(42,
49)(44, 89)(45, 51)(46, 61)(50, 62)(52, 127)(53, 130)(57, 58)(59, 112)(60,
91)(63, 64)(65, 81)(66, 106)(67, 194)(68, 72)(69, 166)(70, 115)(71, 171)(73,
152)(74, 158)(75, 157)(76, 177)(77, 162)(79, 80)(82, 149)(83, 168)(84, 128)(85,
170)(86, 161)(87, 143)(88, 120)(92, 163)(93, 133)(94, 169)(96, 155)(97, 118)(98,
175)(99, 216)(100, 180)(101, 102)(103, 172)(107, 142)(108, 109)(110, 183)(111,
200)(113, 206)(114, 121)(116, 192)(117, 212)(122, 138)(123, 167)(124, 150)(125,
147)(126, 188)(129, 199)(131, 132)(135, 185)(137, 165)(139, 182)(140, 148)(141,
146)(144, 209)(145, 208)(151, 173)(153, 207)(154, 203)(156, 205)(159, 160)(164,
189)(174, 181)(176, 193)(178, 179)(184, 197)(187, 210)(190, 211)(191, 202)(195,
215)(196, 198)(201, 213)(204, 214)(217, 260)(218, 337)(219, 425)(220, 339)(221,
318)(222, 301)(223, 238)(224, 403)(225, 326)(226, 305)(227, 268)(228, 244)(229,
355)(230, 295)(231, 297)(232, 291)(233, 308)(234, 365)(235, 428)(236, 376)(237,
409)(239, 270)(240, 427)(241, 382)(242, 385)(243, 354)(245, 331)(246, 273)(247,
300)(248, 340)(249, 334)(250, 410)(251, 335)(252, 378)(253, 363)(254, 315)(255,
342)(256, 322)(257, 360)(258, 263)(259, 408)(261, 369)(262, 303)(264, 359)(265,
387)(266, 374)(267, 306)(269, 361)(271, 279)(272, 276)(274, 417)(275, 321)(277,
364)(278, 431)(280, 317)(281, 351)(282, 302)(283, 319)(284, 304)(285, 400)(286,
389)(287, 312)(288, 313)(289, 299)(290, 314)(292, 398)(293, 395)(294, 332)(296,
411)(298, 311)(307, 356)(309, 404)(310, 357)(316, 370)(320, 341)(323, 348)(324,
353)(325, 416)(327, 383)(328, 406)(329, 375)(330, 381)(333, 386)(336, 352)(338,
407)(343, 362)(344, 388)(345, 380)(346, 420)(347, 423)(349, 397)(350, 358)(366,
405)(367, 418)(368, 390)(371, 401)(372, 394)(373, 396)(377, 393)(379, 424)(384,
430)(391, 421)(392, 426)(399, 422)(402, 413)(412, 429)(414, 432)(415, 419)
d: (1, 2)(3, 9)(4, 39)(5, 17)(6, 18)(7, 63)(8, 26)(10, 23)(11, 27)(12, 13)(14,
20)(15, 24)(16, 118)(19, 61)(21, 22)(25, 60)(28, 102)(29, 83)(30, 54)(31,
88)(32, 33)(34, 84)(35, 86)(36, 62)(37, 85)(38, 124)(40, 64)(41, 135)(42,
131)(43, 46)(44, 67)(45, 50)(47, 68)(48, 49)(51, 87)(52, 73)(53, 120)(55,
130)(56, 57)(58, 80)(59, 104)(65, 141)(66, 143)(69, 165)(70, 106)(71, 101)(72,
132)(74, 171)(75, 156)(76, 155)(77, 157)(78, 79)(81, 119)(82, 148)(89, 146)(90,
92)(91, 97)(93, 149)(94, 95)(96, 150)(98, 152)(99, 160)(100, 162)(103, 166)(105,
112)(107, 108)(109, 113)(110, 116)(111, 145)(114, 115)(117, 207)(121, 142)(122,
151)(123, 202)(125, 129)(126, 163)(127, 139)(128, 200)(133, 164)(134, 136)(137,
161)(138, 182)(140, 169)(144, 147)(153, 208)(154, 192)(158, 159)(167, 174)(168,
205)(170, 210)(172, 206)(173, 191)(175, 199)(176, 188)(177, 178)(179, 198)(180,
215)(181, 213)(183, 209)(184, 193)(185, 194)(186, 189)(187, 195)(190, 214)(196,
197)(201, 211)(203, 204)(212, 216)(218, 316)(219, 292)(220, 274)(221, 234)(222,
256)(223, 384)(224, 293)(225, 313)(226, 430)(227, 257)(228, 356)(229, 347)(230,
402)(231, 309)(232, 423)(233, 254)(235, 344)(236, 342)(237, 431)(238, 255)(240,
310)(241, 269)(242, 406)(243, 295)(245, 308)(247, 332)(248, 367)(249, 369)(250,
385)(252, 357)(258, 399)(260, 360)(261, 420)(262, 355)(263, 304)(264, 400)(265,
380)(267, 353)(268, 329)(270, 398)(271, 428)(272, 307)(273, 389)(275, 375)(276,
301)(278, 373)(279, 324)(280, 283)(281, 286)(282, 386)(284, 368)(285, 350)(287,
390)(289, 327)(290, 317)(291, 326)(294, 419)(296, 387)(297, 335)(298, 351)(299,
338)(300, 416)(302, 346)(303, 319)(305, 358)(306, 345)(311, 322)(312, 337)(318,
397)(320, 404)(321, 396)(323, 415)(325, 425)(328, 412)(330, 364)(331, 414)(334,
382)(336, 408)(339, 361)(340, 407)(341, 427)(343, 365)(348, 374)(352, 378)(359,
401)(362, 366)(363, 409)(372, 392)(377, 388)(379, 413)(381, 403)(391, 395)(405,
424)(418, 432)(421, 429)(422, 426)
e: (2, 85)(3, 210)(4, 141)(5, 83)(6, 9)(7, 105)(8, 17)(10, 132)(11, 18)(12,
86)(13, 66)(14, 137)(15, 64)(16, 19)(20, 87)(21, 114)(22, 42)(23, 142)(24,
159)(25, 84)(26, 100)(27, 215)(28, 164)(29, 195)(30, 70)(31, 205)(32, 185)(33,
59)(34, 41)(35, 178)(36, 126)(37, 187)(38, 109)(39, 94)(40, 89)(43, 140)(44,
160)(45, 57)(46, 81)(47, 78)(48, 54)(49, 76)(50, 176)(51, 184)(52, 152)(55,
88)(56, 69)(58, 103)(60, 102)(61, 82)(62, 80)(63, 67)(65, 117)(68, 92)(71,
104)(72, 124)(73, 190)(74, 112)(75, 120)(77, 130)(79, 206)(90, 108)(91, 200)(93,
134)(95, 99)(96, 131)(97, 136)(98, 204)(101, 186)(106, 179)(107, 150)(110,
123)(111, 133)(113, 163)(115, 177)(116, 125)(118, 145)(119, 153)(121, 155)(122,
167)(127, 201)(128, 189)(129, 138)(135, 171)(139, 175)(143, 196)(144, 183)(146,
216)(147, 151)(148, 207)(149, 208)(154, 199)(156, 162)(158, 194)(161, 198)(165,
197)(166, 193)(168, 180)(169, 212)(172, 188)(173, 202)(174, 192)(181, 182)(191,
209)(203, 213)(211, 214)(217, 321)(218, 271)(220, 303)(221, 365)(222, 364)(223,
264)(224, 307)(225, 261)(226, 376)(227, 431)(228, 395)(229, 333)(230, 413)(231,
407)(232, 339)(233, 320)(234, 402)(235, 312)(236, 358)(237, 278)(239, 300)(240,
383)(241, 317)(242, 351)(243, 424)(244, 421)(245, 309)(246, 391)(247, 266)(248,
335)(249, 288)(250, 311)(251, 418)(252, 308)(253, 275)(254, 310)(255, 285)(256,
410)(257, 268)(258, 387)(259, 367)(260, 375)(262, 386)(263, 377)(265, 287)(267,
316)(269, 326)(270, 332)(272, 406)(273, 429)(274, 347)(276, 381)(277, 322)(279,
372)(280, 420)(281, 403)(282, 423)(283, 361)(284, 393)(286, 328)(289, 357)(290,
369)(291, 346)(292, 419)(293, 389)(294, 348)(295, 343)(296, 368)(297, 414)(298,
330)(299, 404)(301, 385)(302, 319)(304, 411)(305, 371)(306, 392)(313, 382)(314,
334)(315, 427)(318, 379)(323, 425)(324, 370)(325, 398)(327, 341)(329, 409)(331,
352)(336, 340)(337, 345)(338, 378)(342, 384)(344, 399)(349, 405)(350, 359)(353,
394)(354, 366)(355, 417)(356, 412)(360, 373)(362, 397)(363, 396)(374, 416)(380,
422)(388, 390)(401, 430)(408, 432)(426, 428)
C4[ 432, 167 ]
432
-1 288 249 393 284
-2 288 368 369 393
-3 377 334 313 304
-4 297 365 223 392
-5 344 312 346 326
-6 377 313 390 261
-7 297 358 424 392
-8 319 312 345 346
-9 388 225 382 263
-10 268 425 272 361
-11 265 280 390 261
-12 228 294 274 373
-13 220 419 278 356
-14 431 415 339 307
-15 418 353 354 376
-16 233 387 358 362
-17 235 291 302 337
-18 287 420 388 225
-19 320 397 236 258
-20 323 237 272 361
-21 275 300 228 274
-22 220 375 356 416
-23 325 339 307 329
-24 354 376 267 432
-25 233 387 223 413
-26 302 303 337 306
-27 287 420 380 283
-28 397 236 240 284
-29 344 258 326 241
-30 396 244 332 417
-31 232 282 218 428
-32 231 379 426 350
-33 309 422 413 285
-34 399 400 402 404
-35 374 391 260 229
-36 375 332 410 314
-37 387 368 369 317
-38 298 323 237 261
-39 343 335 372 384
-40 430 251 394 362
-41 299 234 344 400
-42 374 412 303 260
-43 231 234 238 426
-44 367 324 349 371
-45 385 396 317 416
-46 221 309 255 422
-47 290 250 294 329
-48 266 355 421 217
-49 429 266 217 262
-50 321 300 290 250
-51 242 280 325 373
-52 429 432 246 259
-53 333 324 370 229
-54 244 321 247 417
-55 267 282 218 262
-56 276 409 269 348
-57 363 374 301 241
-58 253 222 266 382
-59 255 245 380 230
-60 254 379 296 384
-61 342 399 404 318
-62 275 410 247 314
-63 335 305 372 405
-64 366 226 251 394
-65 331 234 345 400
-66 412 237 292 303
-67 279 248 349 371
-68 385 419 268 317
-69 326 381 294 329
-70 363 355 421 270
-71 287 234 238 252
-72 242 280 227 415
-73 418 421 246 259
-74 352 343 337 384
-75 324 229 372 274
-76 386 321 247 273
-77 267 262 394 417
-78 409 311 369 348
-79 363 374 322 249
-80 253 266 256 334
-81 365 245 380 285
-82 299 344 379 384
-83 399 235 269 291
-84 264 320 258 230
-85 290 249 284 296
-86 347 348 360 395
-87 278 425 283 406
-88 386 423 271 316
-89 418 353 397 401
-90 276 269 227 219
-91 430 411 424 315
-92 257 301 292 241
-93 377 226 327 405
-94 342 279 248 295
-95 243 367 236 324
-96 286 302 294 373
-97 411 226 315 405
-98 389 248 336 395
-99 259 358 424 370
-100 220 319 345 392
-101 221 255 357 390
-102 342 310 368 318
-103 275 364 247 313
-104 308 265 402 238
-105 243 236 414 306
-106 429 398 409 262
-107 291 237 292 403
-108 431 326 381 219
-109 330 278 225 425
-110 320 364 301 327
-111 354 371 240 284
-112 331 342 345 295
-113 364 313 325 373
-114 253 347 239 395
-115 253 391 239 229
-116 330 276 289 404
-117 352 400 402 337
-118 254 366 305 296
-119 308 265 343 350
-120 333 279 347 370
-121 363 423 270 293
-122 385 233 252 351
-123 341 385 222 233
-124 420 431 415 351
-125 298 299 357 381
-126 256 334 270 260
-127 408 412 414 273
-128 341 359 295 263
-129 403 338 252 351
-130 353 386 355 316
-131 319 348 360 328
-132 257 323 283 406
-133 366 305 393 383
-134 341 376 349 263
-135 264 221 235 338
-136 376 304 349 427
-137 232 224 227 415
-138 242 308 378 281
-139 331 389 336 328
-140 407 402 238 428
-141 264 221 414 306
-142 232 398 409 224
-143 319 431 328 219
-144 364 322 327 240
-145 310 354 368 371
-146 267 432 359 318
-147 330 310 289 311
-148 223 235 413 338
-149 430 289 388 424
-150 419 278 346 281
-151 254 298 357 250
-152 408 367 391 273
-153 287 359 295 252
-154 231 403 338 307
-155 396 332 389 282
-156 220 279 347 392
-157 353 355 394 417
-158 430 336 218 362
-159 408 366 226 316
-160 259 370 305 405
-161 257 323 423 293
-162 303 306 372 274
-163 222 398 360 382
-164 358 393 383 362
-165 419 268 291 403
-166 330 375 332 225
-167 242 308 320 301
-168 232 422 361 428
-169 255 271 230 340
-170 334 411 314 304
-171 365 223 312 378
-172 277 288 321 300
-173 310 311 410 315
-174 276 245 404 406
-175 286 352 293 340
-176 311 369 217 239
-177 275 300 333 246
-178 375 333 246 416
-179 386 325 273 329
-180 380 283 426 339
-181 309 331 272 328
-182 286 352 245 406
-183 341 222 277 383
-184 398 420 360 351
-185 407 359 318 428
-186 365 289 388 285
-187 290 258 241 296
-188 322 249 217 239
-189 343 377 327 350
-190 244 367 391 251
-191 322 410 315 240
-192 309 299 381 272
-193 298 270 260 261
-194 397 401 271 340
-195 387 399 269 317
-196 286 302 227 219
-197 257 346 281 292
-198 268 389 282 425
-199 407 224 378 281
-200 243 401 304 427
-201 297 429 432 356
-202 254 256 250 427
-203 297 407 224 356
-204 335 293 228 340
-205 423 271 426 339
-206 396 277 288 416
-207 264 312 378 230
-208 243 357 390 401
-209 277 256 383 427
-210 411 314 382 263
-211 418 421 335 228
-212 336 413 218 285
-213 231 412 414 307
-214 244 248 251 395
-215 265 422 280 361
-216 408 379 316 350
-217 176 188 48 49
-218 55 212 158 31
-219 143 90 108 196
-220 22 100 13 156
-221 46 101 135 141
-222 123 58 183 163
-223 25 4 148 171
-224 199 137 203 142
-225 166 18 9 109
-226 93 159 64 97
-227 90 137 72 196
-228 12 211 204 21
-229 35 115 53 75
-230 59 169 84 207
-231 154 213 32 43
-232 168 137 31 142
-233 122 123 25 16
-234 71 41 43 65
-235 135 148 17 83
-236 28 105 95 19
-237 66 38 107 20
-238 71 104 140 43
-239 176 188 114 115
-240 111 144 191 28
-241 187 57 92 29
-242 167 72 138 51
-243 200 105 95 208
-244 190 214 30 54
-245 59 81 182 174
-246 177 178 73 52
-247 103 62 54 76
-248 67 214 94 98
-249 1 188 79 85
-250 47 202 50 151
-251 190 214 40 64
-252 122 71 129 153
-253 58 80 114 115
-254 202 60 118 151
-255 46 101 59 169
-256 209 80 202 126
-257 132 92 161 197
-258 187 29 84 19
-259 99 160 73 52
-260 35 126 193 42
-261 11 38 6 193
-262 55 77 49 106
-263 210 134 128 9
-264 135 84 141 207
-265 11 104 215 119
-266 58 80 48 49
-267 55 77 24 146
-268 165 198 68 10
-269 56 90 83 195
-270 121 70 126 193
-271 88 169 194 205
-272 181 192 20 10
-273 179 127 152 76
-274 12 162 75 21
-275 177 103 62 21
-276 56 90 116 174
-277 209 172 183 206
-278 13 150 87 109
-279 67 156 94 120
-280 11 72 215 51
-281 199 138 150 197
-282 55 198 155 31
-283 132 180 27 87
-284 1 111 28 85
-285 33 212 81 186
-286 182 96 196 175
-287 27 71 18 153
-288 1 2 172 206
-289 147 116 149 186
-290 187 47 50 85
-291 165 17 83 107
-292 66 92 107 197
-293 121 204 161 175
-294 12 47 69 96
-295 112 94 128 153
-296 187 60 85 118
-297 201 4 203 7
-298 125 38 193 151
-299 125 82 192 41
-300 177 50 172 21
-301 110 57 167 92
-302 26 17 96 196
-303 66 26 162 42
-304 200 3 136 170
-305 133 160 63 118
-306 26 105 162 141
-307 154 23 14 213
-308 167 104 138 119
-309 33 46 181 192
-310 145 102 147 173
-311 176 78 147 173
-312 5 171 8 207
-313 3 113 103 6
-314 210 36 170 62
-315 91 191 173 97
-316 88 159 216 130
-317 45 68 37 195
-318 102 146 61 185
-319 143 100 8 131
-320 110 167 84 19
-321 50 172 54 76
-322 144 188 79 191
-323 132 38 161 20
-324 44 95 53 75
-325 23 113 179 51
-326 69 5 29 108
-327 110 144 189 93
-328 143 181 139 131
-329 23 47 69 179
-330 166 147 116 109
-331 112 181 139 65
-332 155 166 36 30
-333 177 178 53 120
-334 3 80 126 170
-335 211 39 204 63
-336 212 158 139 98
-337 26 17 117 74
-338 154 135 148 129
-339 23 14 180 205
-340 169 204 194 175
-341 123 134 128 183
-342 112 102 61 94
-343 189 39 74 119
-344 5 82 29 41
-345 100 112 8 65
-346 5 150 8 197
-347 156 114 86 120
-348 56 78 86 131
-349 44 67 134 136
-350 189 216 119 32
-351 122 124 129 184
-352 182 117 74 175
-353 89 157 15 130
-354 111 24 145 15
-355 157 48 70 130
-356 22 13 201 203
-357 101 125 151 208
-358 99 16 7 164
-359 146 128 185 153
-360 184 86 163 131
-361 168 215 20 10
-362 158 16 40 164
-363 121 57 79 70
-364 110 144 113 103
-365 4 81 171 186
-366 133 159 118 64
-367 44 190 95 152
-368 2 145 102 37
-369 176 78 2 37
-370 99 160 53 120
-371 44 67 111 145
-372 39 63 162 75
-373 12 113 51 96
-374 35 57 79 42
-375 22 166 178 36
-376 24 134 15 136
-377 189 3 93 6
-378 199 138 171 207
-379 60 82 216 32
-380 59 81 180 27
-381 69 125 192 108
-382 210 58 9 163
-383 209 133 183 164
-384 60 82 39 74
-385 45 122 68 123
-386 88 179 130 76
-387 25 37 16 195
-388 149 18 9 186
-389 198 155 139 98
-390 11 101 6 208
-391 35 190 115 152
-392 100 156 4 7
-393 1 133 2 164
-394 77 157 40 64
-395 114 214 86 98
-396 45 155 30 206
-397 89 28 194 19
-398 106 184 163 142
-399 34 61 83 195
-400 34 117 41 65
-401 89 200 194 208
-402 34 104 117 140
-403 154 165 107 129
-404 34 61 116 174
-405 93 160 63 97
-406 132 182 174 87
-407 199 203 140 185
-408 159 127 216 152
-409 56 78 106 142
-410 36 191 62 173
-411 210 91 170 97
-412 66 213 127 42
-413 33 25 212 148
-414 213 105 127 141
-415 14 124 137 72
-416 22 45 178 206
-417 77 157 30 54
-418 89 211 15 73
-419 165 13 68 150
-420 124 27 18 184
-421 211 48 70 73
-422 33 46 168 215
-423 88 121 161 205
-424 99 91 149 7
-425 198 10 87 109
-426 180 205 32 43
-427 209 200 136 202
-428 168 140 31 185
-429 201 49 106 52
-430 91 158 149 40
-431 143 14 124 108
-432 24 146 201 52
0