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