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