| -- This file is automatically generated. You should know what you did if you want to edit this |
| -- !minMax -- |
| 1704509 4611700827100483880 9223360787015464643 |
| 732797 4611701940806302259 9223355550934604746 |
| 598875 4611701407242345792 9223362250391155632 |
| 792887 4611699550286611812 9223290551912005343 |
| 3807842 4611710821592843606 9223326163906184987 |
| 25703952 4611709443519524003 9223353913449113943 |
| 716829 4611852156092872082 9223361623076951140 |
| 59183 4611730685242027332 9223354909338698162 |
| 33010362 4611704682869732882 9223268545373999677 |
| 800784 4611752907938305166 9223340418389788041 |
| 20810645 4611712185532639162 9223218900001937412 |
| 25843850 4611690025407720929 9223346023778617822 |
| 23447120 4611796031755620254 9223329309291309758 |
| 14739804 4611692230555590277 9223313509005166531 |
| 32077710 4611884228437061959 9223352444952988904 |
| 22446879 4611846229717089436 9223124373140579096 |
| 170282 4611833225706935900 9223371583739401906 |
| 11482817 4611708000353743073 9223337838355779113 |
| 63469 4611695097019173921 9223353530156141191 |
| 29103473 4611744585914335132 9223333530281362537 |
| |