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