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