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