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