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