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