<?php
$list = [
270810403, 272282821, 272592850, 273165071, 273166883, 273199170, 273264391, 273511966, 273616105, 273643411,
273797102, 273935377, 274066104, 274172074, 274728605, 274761335, 275447532, 275609518, 277234286, 277241627,
277643048, 277713434, 278044531, 278059751, 278111802, 278198914, 278308244, 278338905, 278696466, 278740297,
278764947, 278770552, 278937375, 278988217, 279064839, 279108350, 279132454, 279187520, 279198030, 279381364,
279498812, 279603993, 279644604, 279763865, 279906897, 279910977, 279981802, 280045670, 280059630, 280061077,
280086557, 280103830, 280141751, 280469881, 280630492, 280675235, 280679574, 280742693, 280863229, 280950342,
281040704, 281046487, 281240193, 281263560, 281300215, 281357586, 281511704, 281579618, 281648085, 281654713,
281682351, 281711810, 281745187, 281820901, 281880582, 281883289, 281903230, 281935012, 281938094, 281967076,
281975426, 282016319, 282036410, 282038213, 282047510, 282151552, 282176678, 282191058, 282202727, 282279705,
282297605, 282310930, 282364855, 282380210, 282382995, 282404622, 282425153, 282452875, 282453613, 282463953,
282473187, 282480087, 282494910, 282530644, 282548866, 282575368, 282575639, 282580133, 282612250, 282628979,
282637105, 282642303, 282642744, 282652380, 282656195, 282670357, 282733283, 282737746, 282789582, 282803689,
282836578, 282836683, 282842648, 282862164, 282865843, 282898795, 282925314, 282940364, 282958229, 282972577,
282977544, 283053892, 283067636, 283127295, 283127976, 283150657, 283167407, 283179257, 283181102, 283201273,
283216254, 283254684, 283279580, 283309933, 283315828, 283315899, 283378243, 283401131, 283508768, 283563339,
283568017, 283701055, 283705115, 283735086, 283739936, 283747164, 283757243, 283826992, 283933512, 284042744,
284189018, 284914200, 284937902, 285006082, 285057721, 285066187, 285193922, 285216308, 285258479, 285304099,
285423109, 285873874, 286066576];
shuffle($list);
echo "size: ".count($list)."\n";
echo implode(", ", array_slice($list, 0, 3));
