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