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