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