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