<?php
$list = [268764318, 269473986, 271362787, 271708315, 271989567, 272279891, 272285461, 272518265, 272537224, 272563392,
272815481, 272988657, 273040813, 273075128, 273205612, 273293669, 273319189, 273691136, 273983160, 274056191,
274095217, 274246875, 274395741, 274425454, 274463280, 274519928, 274527115, 274600581, 274668534, 275808612,
277003695, 277040187, 277179819, 277306331, 277583884, 277589329, 277659372, 277680103, 277894082, 277897228,
277906088, 278179383, 278251178, 278252108, 278311863, 278340962, 278569086, 278602555, 278638549, 278717897,
278770453, 278798388, 278839289, 278891338, 278902407, 278959783, 279065983, 279071032, 279094091, 279267630,
279270682, 279585249, 279618513, 279634056, 279900571, 279989892, 280032382, 280072119, 280171781, 280181382,
280187204, 280204796, 280280937, 280343229, 280558949, 281030829, 281050918, 281308442, 281326597, 281411518,
281443365, 281451100, 281672289, 281692625, 281809848, 281842500, 281868039, 281871745, 281928940, 281976814,
282010743, 282128886, 282204952, 282267102, 282386293, 282388847, 282434166, 282577229, 282840348, 282840547,
282894870, 282964877, 283031313, 283101893, 283152035, 283201267, 283216526, 283475034, 283494658, 283585114,
283655722, 283844574, 283871840, 283901365, 283968321, 284033449, 284083834, 284085375, 284179182, 284242423,
285042169, 285264371, 285367988, 285623703];
shuffle($list);
echo "size: ".count($list)."\n";
echo implode(", ", array_slice($list, 0, 3));
