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