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