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