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