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