800 0 3586 0 
801 0 6116 0 
802 0 6867 0 
803 0 707 0 
804 0 4587 0 
805 0 14251 0 
806 0 5735 1 
807 0 9618 0 
808 0 5517 0 
809 0 12366 0 
810 0 2991 0 
811 0 3626 0 
812 0 4158 0 
813 0 4361 1 
814 0 8238 0 
815 0 5330 0 
816 0 8339 0 
817 0 8679 0 
818 0 4760 0 
819 0 10444 0 
820 0 7311 0 
821 0 8138 0 
822 0 4118 0 
823 0 1839 0 
824 0 3995 0 
825 0 8437 0 
826 0 3300 0 
827 0 5016 0 
828 0 2083 0 
829 0 3041 0 
830 0 2301 0 
831 0 6925 0 
832 0 2998 0 
833 0 5347 0 
834 0 3010 0 
835 0 2437 0 
836 0 6764 0 
837 0 4088 1 
838 0 2313 0 
839 0 5469 0 
840 0 3062 0 
841 0 1129 0 
842 0 3630 0 
843 0 3523 0 
844 0 935 0 
845 0 3045 0 
846 0 6158 0 
847 0 3215 0 
848 0 4864 0 
849 0 2190 0 
850 0 2392 0 
851 0 8029 1 
852 0 1061 0 
853 0 904 0 
854 0 1909 0 
855 0 4802 0 
856 0 5022 0 
857 0 6237 1 
858 0 6294 0 
859 0 5872 0 
860 0 7433 0 
861 0 3035 0 
862 0 2341 0 
863 0 4623 0 
864 0 3929 0 
865 0 8272 0 
866 0 5453 0 
867 0 1722 0 
868 0 5608 0 
869 0 7732 0 
870 0 7168 0 
871 0 4309 0 
872 0 3524 0 
873 0 5906 1 
874 0 808 0 
875 0 2150 0 
876 0 5277 0 
877 0 4833 0 
878 0 4491 0 
879 0 6750 0 
880 0 2889 0 
881 0 1632 0 
882 0 1328 0 
883 0 4103 0 
884 0 4638 0 
885 0 4864 0 
886 0 4355 0 
887 0 3602 0 
888 0 4754 0 
889 0 5195 0 
890 0 3784 0 
891 0 2458 0 
892 0 66360 0 
893 0 6046 0 
894 0 18933 0 
895 0 147183 0 
896 0 4083 0 
897 0 23502 0 
898 0 9884 0 
899 0 52495 4 
Total : 0 760931 10 
4981.670227 seconds (116.73 G allocations: 4.955 TiB, 11.95% gc time)
