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