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