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