update

to-formal.txt

+100223001	35844557
+100223002	72238166
+100223003	8633261
+100223004	34022970
+100223005	61116514
+100223006	7511613
+100223007	34909328
+100223008	60394026
+100223009	6798031
+100223010	33787730
+100223015	69272449
+100223016	96676583
+100223017	32061192
+100223018	68059897
+100223019	95454996
+100223020	21848500
+100223021	68337209
+100223022	94722358
+100223023	20726052
+100223024	57111661
+100223031	93509766
+100223032	20904475
+100223033	56499179
+100223034	92487128
+100223035	29882827
+100223036	55276522
+100223037	82661630
+100223038	28669235
+100223039	55154344
+100223040	81549048
+100226015	63028558
\ No newline at end of file

to-pre.txt

+89604813	100224032
\ No newline at end of file