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