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