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