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