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