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