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