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