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