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