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