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