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