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