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