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