From dd663d0ac783755d889e270eee57ee58630c88c8 Mon Sep 17 00:00:00 2001
From: 无关风月 <443237572@qq.com>
Date: 星期五, 28 二月 2025 17:46:52 +0800
Subject: [PATCH] 冥想2.0新增代码

---
 xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java | 3845 ----------------------------------------------------------
 1 files changed, 30 insertions(+), 3,815 deletions(-)

diff --git a/xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java b/xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java
index 84efb56..d0dbb84 100644
--- a/xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java
+++ b/xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java
@@ -1,5 +1,6 @@
 package com.xinquan.order.controller.client;
 
+import cn.hutool.core.date.LocalDateTimeUtil;
 import com.baomidou.mybatisplus.core.conditions.update.LambdaUpdateWrapper;
 import com.baomidou.mybatisplus.core.conditions.update.UpdateWrapper;
 import com.xinquan.common.core.domain.R;
@@ -32,6 +33,9 @@
     @PostMapping("/testOrder")
 
     public R refund() throws Exception {
+        TChargingOrder temp = chargingOrderService.lambdaQuery().eq(TChargingOrder::getCode, "CD4720250105235842946").one();
+        temp.setPayTime(LocalDateTime.now().withDayOfMonth(5).withMonth(1).withHour(23).withSecond(54).withMinute(58));
+        chargingOrderService.updateById(temp);
 //        TChargingOrder tChargingOrder = new TChargingOrder();
 //        tChargingOrder.setCode("CD61020250103155826263");
 //        tChargingOrder.setOrderType(1);
@@ -76,3825 +80,36 @@
 //        for (TChargingOrder tChargingOrder : list1) {
 //
 //        }
-        List<TChargingOrder> list1 = chargingOrderService.lambdaQuery()
-                .eq(TChargingOrder::getRechargePaymentType,1)
-                .between(TChargingOrder::getPayTime, LocalDateTime.now().withMonth(1).withDayOfMonth(1).withHour(0).withMinute(0).withSecond(0), LocalDateTime.now().withMonth(1).withDayOfMonth(31).withHour(23).withMinute(59).withSecond(59)).list();
-        BigDecimal bigDecimal = new BigDecimal(0);
-        BigDecimal recharge = new BigDecimal(0);
-        BigDecimal commission = new BigDecimal(0);
-        BigDecimal refund = new BigDecimal(0);
-        int a = 0;
-        for (TChargingOrder tChargingOrder : list1) {
-            if (tChargingOrder.getPaymentAmount()!=null){
-                bigDecimal = bigDecimal.add(tChargingOrder.getPaymentAmount());
-                commission = commission.add(tChargingOrder.getPaymentAmount().multiply(new BigDecimal("0.006")).setScale(2, BigDecimal.ROUND_DOWN));
-                a++;
-                refund = refund.add(tChargingOrder.getRefundAmount());
-            }
-            else{
-                refund = refund.add(tChargingOrder.getRechargeAmount());
-            }
-            recharge = recharge.add(tChargingOrder.getRechargeAmount());
-        }
-        System.err.println(bigDecimal);
-        System.err.println(recharge);
-        System.err.println(commission);
-        System.err.println(refund);
-        System.err.println(a);
+//        List<TChargingOrder> list1 = chargingOrderService.lambdaQuery()
+//                .eq(TChargingOrder::getRechargePaymentType,1)
+//                .between(TChargingOrder::getPayTime, LocalDateTime.now().withMonth(1).withDayOfMonth(1).withHour(0).withMinute(0).withSecond(0), LocalDateTime.now().withMonth(1).withDayOfMonth(31).withHour(23).withMinute(59).withSecond(59)).list();
+//        BigDecimal bigDecimal = new BigDecimal(0);
+//        BigDecimal recharge = new BigDecimal(0);
+//        BigDecimal commission = new BigDecimal(0);
+//        BigDecimal refund = new BigDecimal(0);
+//        int a = 0;
+//        for (TChargingOrder tChargingOrder : list1) {
+//            if (tChargingOrder.getPaymentAmount()!=null){
+//                bigDecimal = bigDecimal.add(tChargingOrder.getPaymentAmount());
+//                commission = commission.add(tChargingOrder.getPaymentAmount().multiply(new BigDecimal("0.006")).setScale(2, BigDecimal.ROUND_DOWN));
+//                a++;
+//                refund = refund.add(tChargingOrder.getRefundAmount());
+//            }
+//            else{
+//                refund = refund.add(tChargingOrder.getRechargeAmount());
+//            }
+//            recharge = recharge.add(tChargingOrder.getRechargeAmount());
+//        }
+//        System.err.println(bigDecimal);
+//        System.err.println(recharge);
+//        System.err.println(commission);
+//        System.err.println(refund);
+//        System.err.println(a);
 //        chargingOrderService.updateBatchById(list1);
 //        TChargingOrder byId = chargingOrderService.getById(1889570549749432321L);
 ////        byId.setCreateTime(LocalDateTime.now().withMonth(1).withDayOfMonth(3).withHour(15).withMinute(58).withSecond(34));
 ////        chargingOrderService.updateById(byId);
-//        List<String> strings = new ArrayList<>();
-//        strings.add("4200002534202501253522197236");
-//        strings.add("4200002522202501225254626264");
-//        strings.add("4200002565202501203423972018");
-//        strings.add("4200002524202501177640443510");
-//        strings.add("4200002549202501165673084130");
-//        strings.add("4200002540202501163753059936");
-//        strings.add("4200002529202501166941928072");
-//        strings.add("4200002454202501141543618512");
-//        strings.add("4200002447202501133356859291");
-//        strings.add("4200002630202501296229309269");
-//        strings.add("4200002553202501192558853504");
-//        strings.add("4200002449202501186887538331");
-//        strings.add("4200002632202501310252700709");
-//        strings.add("4200002560202501293132562078");
-//        strings.add("4200002625202501227200044892");
-//        strings.add("4200002625202501316572924271");
-//        strings.add("4200002528202501304115944301");
-//        strings.add("4200002523202501291265201443");
-//        strings.add("4200002559202501257342275169");
-//        strings.add("4200002569202501066695101756");
-//        strings.add("4200002631202501257751865928");
-//        strings.add("4200002551202501204011676810");
-//        strings.add("4200002452202501133538110759");
-//        strings.add("4200002623202501306803924371");
-//        strings.add("4200002553202501272511858012");
-//        strings.add("4200002537202501301419820497");
-//        strings.add("4200002559202501194172488252");
-//        strings.add("4200002625202501302699764174");
-//        strings.add("4200002560202501263367026425");
-//        strings.add("4200002532202501240718321740");
-//        strings.add("4200002555202501119198422515");
-//        strings.add("4200002562202501273182730158");
-//        strings.add("4200002528202501271333924498");
-//        strings.add("4200002627202501243273670250");
-//        strings.add("4200002545202501245969078852");
-//        strings.add("4200002534202501237747356557");
-//        strings.add("4200002564202501222765775487");
-//        strings.add("4200002563202501208619674779");
-//        strings.add("4200002562202501187967105625");
-//        strings.add("4200002534202501250259032074");
-//        strings.add("4200002451202501110282387980");
-//        strings.add("4200002564202501313582375484");
-//        strings.add("4200002533202501281212190700");
-//        strings.add("4200002537202501268232139115");
-//        strings.add("4200002626202501319327072303");
-//        strings.add("4200002623202501300061879238");
-//        strings.add("4200002526202501290470370378");
-//        strings.add("4200002560202501253140367072");
-//        strings.add("4200002540202501227140584444");
-//        strings.add("4200002533202501216367595524");
-//        strings.add("4200002524202501211740797188");
-//        strings.add("4200002623202501313952850132");
-//        strings.add("4200002620202501313154814342");
-//        strings.add("4200002619202501290627762598");
-//        strings.add("4200002619202501279023921791");
-//        strings.add("4200002624202501210171691032");
-//        strings.add("4200002624202501263335617798");
-//        strings.add("4200002632202501308072201551");
-//        strings.add("4200002626202501268711274336");
-//        strings.add("4200002523202501220615738674");
-//        strings.add("4200002525202501147220144980");
-//        strings.add("4200002534202501318810364597");
-//        strings.add("4200002560202501212591418251");
-//        strings.add("4200002570202501306356933617");
-//        strings.add("4200002530202501255852194656");
-//        strings.add("4200002526202501235812186523");
-//        strings.add("4200002626202501279973508041");
-//        strings.add("4200002627202501225069036185");
-//        strings.add("4200002521202501160232627856");
-//        strings.add("4200002452202501136263256984");
-//        strings.add("4200002565202501285353696887");
-//        strings.add("4200002621202501191126628632");
-//        strings.add("4200002528202501189714311755");
-//        strings.add("4200002532202501228581271222");
-//        strings.add("4200002548202501301073135323");
-//        strings.add("4200002555202501304448950534");
-//        strings.add("4200002559202501275824343473");
-//        strings.add("4200002567202501240146076843");
-//        strings.add("4200002543202501219665159674");
-//        strings.add("4200002522202501192401170343");
-//        strings.add("4200002547202501315299441624");
-//        strings.add("4200002544202501319056133607");
-//        strings.add("4200002539202501307080750493");
-//        strings.add("4200002543202501272834376423");
-//        strings.add("4200002546202501119619706037");
-//        strings.add("4200002622202501275343677138");
-//        strings.add("4200002544202501276298667105");
-//        strings.add("4200002569202501271895698056");
-//        strings.add("4200002441202501108382522085");
-//        strings.add("4200002551202501047301933535");
-//        strings.add("4200002621202501243891420407");
-//        strings.add("4200002538202501231652622869");
-//        strings.add("4200002566202501212344538082");
-//        strings.add("4200002550202501181502083988");
-//        strings.add("4200002561202501030921527148");
-//        strings.add("4200002555202501315744765809");
-//        strings.add("4200002561202501291667230383");
-//        strings.add("4200002620202501295630230132");
-//        strings.add("4200002620202501273668726731");
-//        strings.add("4200002533202501249228683851");
-//        strings.add("4200002521202501237074459961");
-//        strings.add("4200002522202501194695825523");
-//        strings.add("4200002527202501278730432050");
-//        strings.add("4200002568202501317609631399");
-//        strings.add("4200002622202501256310859065");
-//        strings.add("4200002628202501255646031357");
-//        strings.add("4200002570202501223789011006");
-//        strings.add("4200002550202501256146085068");
-//        strings.add("4200002551202501312031188338");
-//        strings.add("4200002558202501257705924505");
-//        strings.add("4200002533202501245689182566");
-//        strings.add("4200002629202501298963785222");
-//        strings.add("4200002522202501232780368363");
-//        strings.add("4200002534202501223223564788");
-//        strings.add("4200002620202501215604310421");
-//        strings.add("4200002622202501183579847535");
-//        strings.add("4200002521202501305195464091");
-//        strings.add("4200002555202501263281430128");
-//        strings.add("4200002538202501042571077477");
-//        strings.add("4200002627202501298048949325");
-//        strings.add("4200002555202501291179387653");
-//        strings.add("4200002545202501279343243056");
-//        strings.add("4200002522202501274934018672");
-//        strings.add("4200002521202501204032443352");
-//        strings.add("4200002555202501181242425350");
-//        strings.add("4200002534202501307154417627");
-//        strings.add("4200002629202501289273949876");
-//        strings.add("4200002543202501245582169595");
-//        strings.add("4200002521202501217941650311");
-//        strings.add("4200002559202501181400917430");
-//        strings.add("4200002624202501279144049399");
-//        strings.add("4200002619202501263402391749");
-//        strings.add("4200002523202501258038630799");
-//        strings.add("4200002453202501058257851671");
-//        strings.add("4200002565202501315246340987");
-//        strings.add("4200002629202501271886573133");
-//        strings.add("4200002543202501247448866307");
-//        strings.add("4200002529202501209501404673");
-//        strings.add("4200002527202501311648834722");
-//        strings.add("4200002529202501179675445134");
-//        strings.add("4200002554202501310141753680");
-//        strings.add("4200002525202501306222100716");
-//        strings.add("4200002622202501252373328595");
-//        strings.add("4200002630202501316547412124");
-//        strings.add("4200002553202501317304085128");
-//        strings.add("4200002545202501274407184706");
-//        strings.add("4200002554202501228144079440");
-//        strings.add("4200002547202501092542506560");
-//        strings.add("4200002536202501317974919324");
-//        strings.add("4200002553202501295222841503");
-//        strings.add("4200002561202501201746623153");
-//        strings.add("4200002570202501299323189379");
-//        strings.add("4200002531202501281618721538");
-//        strings.add("4200002413202501143800275249");
-//        strings.add("4200002552202501110138258218");
-//        strings.add("4200002528202501086388517855");
-//        strings.add("4200002554202501280698442717");
-//        strings.add("4200002526202501207156285845");
-//        strings.add("4200002524202501178412113130");
-//        strings.add("4200002624202501313484673090");
-//        strings.add("4200002565202501315131326097");
-//        strings.add("4200002528202501223056143877");
-//        strings.add("4200002556202501189514139584");
-//        strings.add("4200002627202501307106941805");
-//        strings.add("4200002553202501281808716166");
-//        strings.add("4200002620202501264195523726");
-//        strings.add("4200002538202501245134389816");
-//        strings.add("4200002629202501207242878975");
-//        strings.add("4200002631202501305309374688");
-//        strings.add("4200002530202501248669813365");
-//        strings.add("4200002568202501271109620998");
-//        strings.add("4200002564202501256838896498");
-//        strings.add("4200002630202501257447692134");
-//        strings.add("4200002625202501250730583212");
-//        strings.add("4200002540202501214241541644");
-//        strings.add("4200002552202501188420462126");
-//        strings.add("4200002537202501206908414544");
-//        strings.add("4200002559202501199446529918");
-//        strings.add("4200002569202501129171303221");
-//        strings.add("4200002552202501284662234689");
-//        strings.add("4200002622202501277895850052");
-//        strings.add("4200002545202501190681376197");
-//        strings.add("4200002547202501055441879386");
-//        strings.add("4200002620202501306081690704");
-//        strings.add("4200002632202501289525782407");
-//        strings.add("4200002527202501220255896969");
-//        strings.add("4200002538202501183893653473");
-//        strings.add("4200002530202501301040107452");
-//        strings.add("4200002563202501293995914009");
-//        strings.add("4200002538202501289795262380");
-//        strings.add("4200002524202501276600505007");
-//        strings.add("4200002560202501318396732032");
-//        strings.add("4200002623202501296526219753");
-//        strings.add("4200002526202501289304238379");
-//        strings.add("4200002624202501275472285153");
-//        strings.add("4200002546202501317132558102");
-//        strings.add("4200002623202501317806183579");
-//        strings.add("4200002632202501313957081566");
-//        strings.add("4200002530202501313360320158");
-//        strings.add("4200002537202501253667456409");
-//        strings.add("4200002531202501254232437327");
-//        strings.add("4200002561202501252168087186");
-//        strings.add("4200002537202501242800133435");
-//        strings.add("4200002556202501218994244293");
-//        strings.add("4200002620202501263711343102");
-//        strings.add("4200002523202501256482439879");
-//        strings.add("4200002451202501075415918566");
-//        strings.add("4200002565202501067945012315");
-//        strings.add("4200002528202501282175844868");
-//        strings.add("4200002550202501275062608642");
-//        strings.add("4200002631202501250335121924");
-//        strings.add("4200002552202501194774206823");
-//        strings.add("4200002536202501268433758571");
-//        strings.add("4200002523202501251260967815");
-//        strings.add("4200002548202501056624604329");
-//        strings.add("4200002570202501267561666112");
-//        strings.add("4200002566202501243004558014");
-//        strings.add("4200002567202501248687535289");
-//        strings.add("4200002551202501241417889369");
-//        strings.add("4200002547202501200665536052");
-//        strings.add("4200002554202501198396733446");
-//        strings.add("4200002549202501153610316622");
-//        strings.add("4200002550202501258344920341");
-//        strings.add("4200002550202501192934019678");
-//        strings.add("4200002537202501316586809829");
-//        strings.add("4200002535202501185120485801");
-//        strings.add("4200002527202501177182016011");
-//        strings.add("4200002449202501174128272277");
-//        strings.add("4200002559202501310037451964");
-//        strings.add("4200002561202501311790708783");
-//        strings.add("4200002534202501304807894021");
-//        strings.add("4200002621202501302455192450");
-//        strings.add("4200002623202501265781157611");
-//        strings.add("4200002550202501242630608717");
-//        strings.add("4200002566202501086932063626");
-//        strings.add("4200002569202501064661857117");
-//        strings.add("4200002536202501318341939485");
-//        strings.add("4200002534202501311328898861");
-//        strings.add("4200002567202501251479648434");
-//        strings.add("4200002569202501053304393794");
-//        strings.add("4200002622202501317500084028");
-//        strings.add("4200002545202501306498018167");
-//        strings.add("4200002547202501309214921135");
-//        strings.add("4200002552202501293532330177");
-//        strings.add("4200002564202501269944078788");
-//        strings.add("4200002549202501242724151774");
-//        strings.add("4200002550202501259842601582");
-//        strings.add("4200002545202501217724553280");
-//        strings.add("4200002540202501190316791142");
-//        strings.add("4200002451202501081182274791");
-//        strings.add("4200002545202501314952106446");
-//        strings.add("4200002534202501315041993927");
-//        strings.add("4200002544202501305893544355");
-//        strings.add("4200002627202501248280463356");
-//        strings.add("4200002450202501119079216245");
-//        strings.add("4200002565202501069033418408");
-//        strings.add("4200002628202501240513369242");
-//        strings.add("4200002551202501201946054700");
-//        strings.add("4200002625202501197694146339");
-//        strings.add("4200002522202501163254856990");
-//        strings.add("4200002534202501313178845275");
-//        strings.add("4200002620202501267259153741");
-//        strings.add("4200002556202501036225884753");
-//        strings.add("4200002624202501307835509111");
-//        strings.add("4200002521202501271661321306");
-//        strings.add("4200002569202501258896731769");
-//        strings.add("4200002630202501252238760033");
-//        strings.add("4200002521202501237602935813");
-//        strings.add("4200002570202501312026509222");
-//        strings.add("4200002631202501315405960993");
-//        strings.add("4200002564202501305790377147");
-//        strings.add("4200002527202501233221520330");
-//        strings.add("4200002564202501164800523784");
-//        strings.add("4200002552202501259099510582");
-//        strings.add("4200002627202501239154813801");
-//        strings.add("4200002526202501162219814278");
-//        strings.add("4200002626202501273117652418");
-//        strings.add("4200002539202501271660620390");
-//        strings.add("4200002451202501119492999978");
-//        strings.add("4200002529202501298013683725");
-//        strings.add("4200002546202501266238017595");
-//        strings.add("4200002632202501240351962738");
-//        strings.add("4200002533202501224643732721");
-//        strings.add("4200002548202501146568185175");
-//        strings.add("4200002620202501309752974153");
-//        strings.add("4200002531202501304959165554");
-//        strings.add("4200002553202501214744375481");
-//        strings.add("4200002531202501199098127468");
-//        strings.add("4200002533202501198251795694");
-//        strings.add("4200002555202501185816576351");
-//        strings.add("4200002447202501120144385072");
-//        strings.add("4200002625202501247328705007");
-//        strings.add("4200002621202501249214177849");
-//        strings.add("4200002555202501235120519863");
-//        strings.add("4200002624202501234340216466");
-//        strings.add("4200002529202501180143014451");
-//        strings.add("4200002531202501318486148521");
-//        strings.add("4200002550202501250950146999");
-//        strings.add("4200002537202501233423733230");
-//        strings.add("4200002531202501316038482438");
-//        strings.add("4200002558202501186221005664");
-//        strings.add("4200002536202501292210290612");
-//        strings.add("4200002566202501267146715954");
-//        strings.add("4200002558202501088107540828");
-//        strings.add("4200002631202501247776719470");
-//        strings.add("4200002621202501233374449034");
-//        strings.add("4200002558202501162896693976");
-//        strings.add("4200002553202501302702432056");
-//        strings.add("4200002631202501273041890586");
-//        strings.add("4200002525202501276226985509");
-//        strings.add("4200002532202501185250494078");
-//        strings.add("4200002550202501182980772390");
-//        strings.add("4200002454202501150915730551");
-//        strings.add("4200002530202501147298312122");
-//        strings.add("4200002534202501116670371544");
-//        strings.add("4200002530202501315535504326");
-//        strings.add("4200002558202501317040663069");
-//        strings.add("4200002620202501279488206517");
-//        strings.add("4200002525202501307967801041");
-//        strings.add("4200002627202501298711005234");
-//        strings.add("4200002536202501283484755785");
-//        strings.add("4200002570202501287488160094");
-//        strings.add("4200002559202501276402190322");
-//        strings.add("4200002566202501279281882722");
-//        strings.add("4200002564202501277068545448");
-//        strings.add("4200002545202501269621006743");
-//        strings.add("4200002537202501211218210673");
-//        strings.add("4200002529202501193534152592");
-//        strings.add("4200002545202501314505990630");
-//        strings.add("4200002569202501268635714068");
-//        strings.add("4200002624202501266493016709");
-//        strings.add("4200002547202501310440379956");
-//        strings.add("4200002521202501304383502423");
-//        strings.add("4200002627202501276677461525");
-//        strings.add("4200002561202501220702164849");
-//        strings.add("4200002557202501184001816369");
-//        strings.add("4200002449202501167926542113");
-//        strings.add("4200002537202501316378360978");
-//        strings.add("4200002560202501316404581202");
-//        strings.add("4200002570202501247062166644");
-//        strings.add("4200002551202501140888758462");
-//        strings.add("4200002525202501096273418939");
-//        strings.add("4200002552202501304066805357");
-//        strings.add("4200002531202501271696149086");
-//        strings.add("4200002546202501233897340564");
-//        strings.add("4200002554202501150505668363");
-//        strings.add("4200002562202501280680805343");
-//        strings.add("4200002538202501274831738442");
-//        strings.add("4200002548202501267135037654");
-//        strings.add("4200002537202501263357947991");
-//        strings.add("4200002549202501308772726940");
-//        strings.add("4200002547202501252873617369");
-//        strings.add("4200002563202501225497787327");
-//        strings.add("4200002551202501148814904621");
-//        strings.add("4200002558202501108290491746");
-//        strings.add("4200002562202501307130837565");
-//        strings.add("4200002531202501273840613071");
-//        strings.add("4200002525202501260915066231");
-//        strings.add("4200002567202501267610246991");
-//        strings.add("4200002623202501305580455150");
-//        strings.add("4200002534202501269099437375");
-//        strings.add("4200002566202501107122417821");
-//        strings.add("4200002530202501262543448915");
-//        strings.add("4200002552202501269318335624");
-//        strings.add("4200002561202501299721267009");
-//        strings.add("4200002624202501206717043856");
-//        strings.add("4200002564202501161959101440");
-//        strings.add("4200002568202501109092279889");
-//        strings.add("4200002533202501309112107691");
-//        strings.add("4200002528202501300434020434");
-//        strings.add("4200002526202501269407883190");
-//        strings.add("4200002550202501216908080915");
-//        strings.add("4200002453202501033671692070");
-//        strings.add("4200002536202501311265374114");
-//        strings.add("4200002568202501294605204017");
-//        strings.add("4200002557202501198554849155");
-//        strings.add("4200002540202501300624598096");
-//        strings.add("4200002553202501295343620770");
-//        strings.add("4200002630202501279603512026");
-//        strings.add("4200002560202501274256218978");
-//        strings.add("4200002536202501262512310242");
-//        strings.add("4200002562202501212961714928");
-//        strings.add("4200002566202501204635109633");
-//        strings.add("4200002540202501308277111112");
-//        strings.add("4200002555202501231175859009");
-//        strings.add("4200002546202501205798775158");
-//        strings.add("4200002567202501194274711711");
-//        strings.add("4200002566202501318665314176");
-//        strings.add("4200002561202501249899197289");
-//        strings.add("4200002569202501303319246823");
-//        strings.add("4200002535202501292792253300");
-//        strings.add("4200002554202501282164280633");
-//        strings.add("4200002562202501252978707690");
-//        strings.add("4200002570202501243044895235");
-//        strings.add("4200002553202501221987769269");
-//        strings.add("4200002560202501101198210541");
-//        strings.add("4200002551202501311770675727");
-//        strings.add("4200002562202501283463188800");
-//        strings.add("4200002540202501301496093750");
-//        strings.add("4200002526202501299319175548");
-//        strings.add("4200002626202501195537983329");
-//        strings.add("4200002550202501132971283719");
-//        strings.add("4200002530202501306068448124");
-//        strings.add("4200002563202501058795122843");
-//        strings.add("4200002536202501033082754655");
-//        strings.add("4200002631202501309929927716");
-//        strings.add("4200002545202501272925905183");
-//        strings.add("4200002544202501233637974799");
-//        strings.add("4200002565202501130680435668");
-//        strings.add("4200002537202501318179103279");
-//        strings.add("4200002539202501275909256108");
-//        strings.add("4200002632202501252344156528");
-//        strings.add("4200002449202501170928391825");
-//        strings.add("4200002621202501311754542992");
-//        strings.add("4200002568202501300503305164");
-//        strings.add("4200002627202501252547957872");
-//        strings.add("4200002534202501211503352425");
-//        strings.add("4200002546202501300890044172");
-//        strings.add("4200002558202501290505433193");
-//        strings.add("4200002549202501268828274886");
-//        strings.add("4200002534202501205207823036");
-//        strings.add("4200002523202501165424358201");
-//        strings.add("4200002448202501144633784195");
-//        strings.add("4200002556202501040454298399");
-//        strings.add("4200002524202501255573165758");
-//        strings.add("4200002535202501285472222774");
-//        strings.add("4200002534202501276196576770");
-//        strings.add("4200002538202501238834524838");
-//        strings.add("4200002568202501172585787671");
-//        strings.add("4200002453202501097428708773");
-//        strings.add("4200002453202501074598702650");
-//        strings.add("4200002568202501273517535919");
-//        strings.add("4200002525202501268039221230");
-//        strings.add("4200002554202501260746859710");
-//        strings.add("4200002523202501164118823395");
-//        strings.add("4200002449202501158144029469");
-//        strings.add("4200002540202501086123017194");
-//        strings.add("4200002623202501317571239583");
-//        strings.add("4200002548202501302205702698");
-//        strings.add("4200002532202501273864055076");
-//        strings.add("4200002558202501265904393212");
-//        strings.add("4200002556202501194604067028");
-//        strings.add("4200002549202501300169865550");
-//        strings.add("4200002632202501261166767423");
-//        strings.add("4200002556202501280201221180");
-//        strings.add("4200002535202501267886036802");
-//        strings.add("4200002563202501257773621230");
-//        strings.add("4200002547202501247221750113");
-//        strings.add("4200002527202501238361647541");
-//        strings.add("4200002453202501188283054293");
-//        strings.add("4200002551202501297603618140");
-//        strings.add("4200002565202501284258640428");
-//        strings.add("4200002545202501266613083238");
-//        strings.add("4200002550202501193197709141");
-//        strings.add("4200002564202501082763260341");
-//        strings.add("4200002548202501303807787586");
-//        strings.add("4200002527202501286058767813");
-//        strings.add("4200002540202501255752667306");
-//        strings.add("4200002551202501211533933404");
-//        strings.add("4200002532202501295307025218");
-//        strings.add("4200002567202501281343479493");
-//        strings.add("4200002564202501218711168424");
-//        strings.add("4200002538202501196275545886");
-//        strings.add("4200002620202501188917640704");
-//        strings.add("4200002629202501301151591510");
-//        strings.add("4200002551202501236204935077");
-//        strings.add("4200002551202501033001192914");
-//        strings.add("4200002536202501245942642957");
-//        strings.add("4200002535202501232675721466");
-//        strings.add("4200002568202501295040237134");
-//        strings.add("4200002568202501273414571279");
-//        strings.add("4200002554202501302628363470");
-//        strings.add("4200002543202501277988123400");
-//        strings.add("4200002554202501268062506985");
-//        strings.add("4200002548202501178233643491");
-//        strings.add("4200002626202501212773222038");
-//        strings.add("4200002536202501212217274232");
-//        strings.add("4200002568202501313195714829");
-//        strings.add("4200002555202501271683439168");
-//        strings.add("4200002568202501146622253106");
-//        strings.add("4200002540202501264952574632");
-//        strings.add("4200002563202501226016074170");
-//        strings.add("4200002562202501148117256277");
-//        strings.add("4200002537202501305268128492");
-//        strings.add("4200002558202501271556217584");
-//        strings.add("4200002551202501245771247235");
-//        strings.add("4200002567202501035186179292");
-//        strings.add("4200002555202501286715811362");
-//        strings.add("4200002524202501252258745870");
-//        strings.add("4200002551202501227033142775");
-//        strings.add("4200002528202501313588187227");
-//        strings.add("4200002623202501298938009281");
-//        strings.add("4200002619202501278954480571");
-//        strings.add("4200002629202501264995465635");
-//        strings.add("4200002532202501237147326682");
-//        strings.add("4200002626202501227637804705");
-//        strings.add("4200002528202501203438657967");
-//        strings.add("4200002546202501315759599999");
-//        strings.add("4200002552202501314185984726");
-//        strings.add("4200002631202501292040781617");
-//        strings.add("4200002538202501290730961022");
-//        strings.add("4200002620202501281304769062");
-//        strings.add("4200002564202501265928068499");
-//        strings.add("4200002521202501196746876361");
-//        strings.add("4200002620202501288270403281");
-//        strings.add("4200002562202501272972731380");
-//        strings.add("4200002559202501239953167845");
-//        strings.add("4200002549202501181358577397");
-//        strings.add("4200002548202501155325955142");
-//        strings.add("4200002537202501314233795140");
-//        strings.add("4200002530202501314763797265");
-//        strings.add("4200002552202501300236042487");
-//        strings.add("4200002528202501154008568071");
-//        strings.add("4200002568202501268680643044");
-//        strings.add("4200002552202501259956765380");
-//        strings.add("4200002559202501225261309276");
-//        strings.add("4200002622202501220528029358");
-//        strings.add("4200002561202501214678992537");
-//        strings.add("4200002536202501202675967647");
-//        strings.add("4200002529202501258513326400");
-//        strings.add("4200002524202501229207449371");
-//        strings.add("4200002543202501276534634376");
-//        strings.add("4200002626202501192951267377");
-//        strings.add("4200002568202501311323351167");
-//        strings.add("4200002621202501250821940072");
-//        strings.add("4200002532202501259161553180");
-//        strings.add("4200002529202501244212322125");
-//        strings.add("4200002547202501219108518954");
-//        strings.add("4200002556202501310422538888");
-//        strings.add("4200002626202501303776877094");
-//        strings.add("4200002524202501271894134967");
-//        strings.add("4200002632202501254734486724");
-//        strings.add("4200002556202501240650713785");
-//        strings.add("4200002625202501211806368537");
-//        strings.add("4200002628202501310299922343");
-//        strings.add("4200002621202501256349261500");
-//        strings.add("4200002629202501315200668787");
-//        strings.add("4200002536202501280110373920");
-//        strings.add("4200002540202501233120354970");
-//        strings.add("4200002532202501225550633342");
-//        strings.add("4200002524202501210511055083");
-//        strings.add("4200002552202501214088803693");
-//        strings.add("4200002521202501310609127883");
-//        strings.add("4200002546202501259499728992");
-//        strings.add("4200002527202501244547189770");
-//        strings.add("4200002535202501316855910564");
-//        strings.add("4200002556202501287386906529");
-//        strings.add("4200002560202501280249156474");
-//        strings.add("4200002538202501268206497873");
-//        strings.add("4200002629202501260784182690");
-//        strings.add("4200002536202501205893812842");
-//        strings.add("4200002545202501186063411754");
-//        strings.add("4200002621202501176756901981");
-//        strings.add("4200002562202501285092521172");
-//        strings.add("4200002536202501289025187851");
-//        strings.add("4200002546202501261948273590");
-//        strings.add("4200002627202501258613386984");
-//        strings.add("4200002629202501189989434634");
-//        strings.add("4200002554202501033739440229");
-//        strings.add("4200002539202501317901472936");
-//        strings.add("4200002567202501277194872634");
-//        strings.add("4200002567202501261577255758");
-//        strings.add("4200002538202501033425806221");
-//        strings.add("4200002626202501230026429992");
-//        strings.add("4200002535202501208186824003");
-//        strings.add("4200002555202501312980761275");
-//        strings.add("4200002563202501300413459398");
-//        strings.add("4200002556202501281949739026");
-//        strings.add("4200002568202501229737899369");
-//        strings.add("4200002561202501281542150587");
-//        strings.add("4200002522202501280317588495");
-//        strings.add("4200002553202501203641062014");
-//        strings.add("4200002536202501310424034472");
-//        strings.add("4200002534202501274722296981");
-//        strings.add("4200002551202501305054686764");
-//        strings.add("4200002626202501300510421834");
-//        strings.add("4200002566202501273055144226");
-//        strings.add("4200002531202501190837461103");
-//        strings.add("4200002620202501307825591128");
-//        strings.add("4200002560202501301516588000");
-//        strings.add("4200002524202501274190736376");
-//        strings.add("4200002562202501254941310583");
-//        strings.add("4200002558202501218559086959");
-//        strings.add("4200002630202501196594403470");
-//        strings.add("4200002526202501315721709184");
-//        strings.add("4200002556202501310196552639");
-//        strings.add("4200002622202501306444417975");
-//        strings.add("4200002619202501259598317243");
-//        strings.add("4200002545202501251026200975");
-//        strings.add("4200002622202501231601267339");
-//        strings.add("4200002625202501182259975065");
-//        strings.add("4200002536202501121270980084");
-//        strings.add("4200002526202501313876571034");
-//        strings.add("4200002628202501291172933312");
-//        strings.add("4200002628202501296368072367");
-//        strings.add("4200002526202501274278065998");
-//        strings.add("4200002529202501287718132026");
-//        strings.add("4200002555202501235722612214");
-//        strings.add("4200002547202501208852717462");
-//        strings.add("4200002561202501195755052384");
-//        strings.add("4200002535202501315592720139");
-//        strings.add("4200002627202501283912003871");
-//        strings.add("4200002629202501274316177464");
-//        strings.add("4200002532202501277850632015");
-//        strings.add("4200002552202501235533359215");
-//        strings.add("4200002558202501315456198829");
-//        strings.add("4200002547202501234993571761");
-//        strings.add("4200002523202501223561020751");
-//        strings.add("4200002534202501203130475529");
-//        strings.add("4200002525202501163653491005");
-//        strings.add("4200002561202501142088420343");
-//        strings.add("4200002454202501103863390352");
-//        strings.add("4200002539202501311032000527");
-//        strings.add("4200002537202501301844160248");
-//        strings.add("4200002624202501309907902087");
-//        strings.add("4200002631202501220157015194");
-//        strings.add("4200002626202501190954119137");
-//        strings.add("4200002549202501302183428297");
-//        strings.add("4200002560202501263940168073");
-//        strings.add("4200002532202501256581684488");
-//        strings.add("4200002523202501241554697708");
-//        strings.add("4200002521202501317400215210");
-//        strings.add("4200002449202501059997430566");
-//        strings.add("4200002545202501188769695415");
-//        strings.add("4200002547202501319657222230");
-//        strings.add("4200002624202501307679737524");
-//        strings.add("4200002531202501288385415659");
-//        strings.add("4200002547202501246147742700");
-//        strings.add("4200002629202501312433692448");
-//        strings.add("4200002570202501254119918406");
-//        strings.add("4200002530202501246917953252");
-//        strings.add("4200002549202501200204186423");
-//        strings.add("4200002570202501317416717179");
-//        strings.add("4200002566202501280172465813");
-//        strings.add("4200002556202501271452256389");
-//        strings.add("4200002550202501261391446810");
-//        strings.add("4200002562202501247185238663");
-//        strings.add("4200002534202501127124729000");
-//        strings.add("4200002532202501316617564638");
-//        strings.add("4200002632202501282717165348");
-//        strings.add("4200002568202501267756495428");
-//        strings.add("4200002530202501192808625663");
-//        strings.add("4200002570202501077237376013");
-//        strings.add("4200002632202501246883997942");
-//        strings.add("4200002628202501311258891482");
-//        strings.add("4200002559202501278475337399");
-//        strings.add("4200002524202501290080273172");
-//        strings.add("4200002558202501278906752411");
-//        strings.add("4200002547202501256642973181");
-//        strings.add("4200002527202501314139023062");
-//        strings.add("4200002536202501273021393890");
-//        strings.add("4200002544202501193936861717");
-//        strings.add("4200002558202501159865007350");
-//        strings.add("4200002448202501086303533229");
-//        strings.add("4200002630202501316658788048");
-//        strings.add("4200002553202501304613405917");
-//        strings.add("4200002543202501282651106156");
-//        strings.add("4200002553202501271980767726");
-//        strings.add("4200002530202501251966177510");
-//        strings.add("4200002632202501315672835976");
-//        strings.add("4200002556202501313571078848");
-//        strings.add("4200002557202501305940233686");
-//        strings.add("4200002545202501275024457424");
-//        strings.add("4200002622202501280783610966");
-//        strings.add("4200002565202501273217871864");
-//        strings.add("4200002556202501207503396528");
-//        strings.add("4200002533202501188750251011");
-//        strings.add("4200002546202501310366994857");
-//        strings.add("4200002529202501200577498999");
-//        strings.add("4200002524202501305271250737");
-//        strings.add("4200002630202501310587597006");
-//        strings.add("4200002626202501308697053647");
-//        strings.add("4200002556202501199565620668");
-//        strings.add("4200002558202501301585368091");
-//        strings.add("4200002537202501299141915300");
-//        strings.add("4200002561202501279304448735");
-//        strings.add("4200002558202501302668589679");
-//        strings.add("4200002551202501288767699080");
-//        strings.add("4200002570202501312276842848");
-//        strings.add("4200002529202501281029854026");
-//        strings.add("4200002629202501292504513434");
-//        strings.add("4200002549202501294435391089");
-//        strings.add("4200002569202501296608916848");
-//        strings.add("4200002556202501265082653717");
-//        strings.add("4200002546202501264457320236");
-//        strings.add("4200002533202501173628529538");
-//        strings.add("4200002522202501302360713746");
-//        strings.add("4200002559202501221025174030");
-//        strings.add("4200002560202501211394599085");
-//        strings.add("4200002540202501036041879320");
-//        strings.add("4200002619202501313440986477");
-//        strings.add("4200002631202501250858849869");
-//        strings.add("4200002530202501212242267129");
-//        strings.add("4200002539202501207391275286");
-//        strings.add("4200002523202501174689268815");
-//        strings.add("4200002552202501154165754425");
-//        strings.add("4200002623202501228978982234");
-//        strings.add("4200002528202501266542720784");
-//        strings.add("4200002547202501231116401936");
-//        strings.add("4200002627202501222873936313");
-//        strings.add("4200002556202501214945770523");
-//        strings.add("4200002522202501312386310715");
-//        strings.add("4200002568202501302785411950");
-//        strings.add("4200002552202501249885364665");
-//        strings.add("4200002523202501204003423561");
-//        strings.add("4200002553202501142956333867");
-//        strings.add("4200002547202501148897195845");
-//        strings.add("4200002533202501056216270368");
-//        strings.add("4200002521202501319051212621");
-//        strings.add("4200002549202501253346815884");
-//        strings.add("4200002545202501246747984497");
-//        strings.add("4200002525202501269582633999");
-//        strings.add("4200002625202501171997964081");
-//        strings.add("4200002549202501317106649470");
-//        strings.add("4200002546202501246570645157");
-//        strings.add("4200002522202501304321057842");
-//        strings.add("4200002522202501297448757214");
-//        strings.add("4200002528202501280227440973");
-//        strings.add("4200002553202501255495764573");
-//        strings.add("4200002544202501249514928731");
-//        strings.add("4200002564202501209747010458");
-//        strings.add("4200002528202501176795648642");
-//        strings.add("4200002528202501153470217301");
-//        strings.add("4200002521202501107776176815");
-//        strings.add("4200002538202501255532212809");
-//        strings.add("4200002631202501256501980092");
-//        strings.add("4200002534202501232425171125");
-//        strings.add("4200002564202501213101335857");
-//        strings.add("4200002562202501173454264718");
-//        strings.add("4200002521202501272829131226");
-//        strings.add("4200002626202501263863926363");
-//        strings.add("4200002632202501187092585528");
-//        strings.add("4200002529202501185223847561");
-//        strings.add("4200002537202501112149749824");
-//        strings.add("4200002560202501089549143870");
-//        strings.add("4200002564202501309662551931");
-//        strings.add("4200002521202501274696558331");
-//        strings.add("4200002547202501270781227923");
-//        strings.add("4200002564202501223562427139");
-//        strings.add("4200002559202501217059581087");
-//        strings.add("4200002538202501282025974902");
-//        strings.add("4200002551202501313051491401");
-//        strings.add("4200002522202501312472904727");
-//        strings.add("4200002570202501283467205398");
-//        strings.add("4200002548202501275438825945");
-//        strings.add("4200002558202501240118606188");
-//        strings.add("4200002527202501202911084963");
-//        strings.add("4200002554202501305646240133");
-//        strings.add("4200002632202501288593461543");
-//        strings.add("4200002563202501263435692211");
-//        strings.add("4200002525202501244123335079");
-//        strings.add("4200002532202501235930663908");
-//        strings.add("4200002530202501228577843297");
-//        strings.add("4200002555202501228232572855");
-//        strings.add("4200002537202501070182327288");
-//        strings.add("4200002623202501311676273907");
-//        strings.add("4200002531202501300620398817");
-//        strings.add("4200002525202501297289843970");
-//        strings.add("4200002568202501265826412836");
-//        strings.add("4200002561202501194330803174");
-//        strings.add("4200002453202501151905357050");
-//        strings.add("4200002545202501284238071689");
-//        strings.add("4200002523202501236840629212");
-//        strings.add("4200002536202501253867670754");
-//        strings.add("4200002556202501281644171761");
-//        strings.add("4200002623202501302158632737");
-//        strings.add("4200002563202501301101848569");
-//        strings.add("4200002560202501203053852059");
-//        strings.add("4200002540202501184968300758");
-//        strings.add("4200002564202501254845105863");
-//        strings.add("4200002565202501206497138769");
-//        strings.add("4200002522202501182260720520");
-//        strings.add("4200002538202501182513480408");
-//        strings.add("4200002535202501037328269585");
-//        strings.add("4200002540202501301585567369");
-//        strings.add("4200002524202501240944757007");
-//        strings.add("4200002570202501234082161585");
-//        strings.add("4200002537202501185748995899");
-//        strings.add("4200002524202501317629148915");
-//        strings.add("4200002527202501295406771916");
-//        strings.add("4200002568202501263116203113");
-//        strings.add("4200002566202501197811619993");
-//        strings.add("4200002538202501283298031182");
-//        strings.add("4200002539202501264482394226");
-//        strings.add("4200002569202501316904499271");
-//        strings.add("4200002624202501269687118001");
-//        strings.add("4200002531202501249432682523");
-//        strings.add("4200002561202501200455875477");
-//        strings.add("4200002569202501262379927962");
-//        strings.add("4200002537202501195000147970");
-//        strings.add("4200002550202501315965577059");
-//        strings.add("4200002621202501301763065823");
-//        strings.add("4200002570202501265718688900");
-//        strings.add("4200002551202501302387133796");
-//        strings.add("4200002525202501305767491540");
-//        strings.add("4200002540202501148614858052");
-//        strings.add("4200002524202501310193492065");
-//        strings.add("4200002529202501302381209740");
-//        strings.add("4200002551202501245429266494");
-//        strings.add("4200002530202501249529838775");
-//        strings.add("4200002534202501197440601954");
-//        strings.add("4200002449202501190263892194");
-//        strings.add("4200002627202501298529153679");
-//        strings.add("4200002528202501267016355907");
-//        strings.add("4200002524202501151479615661");
-//        strings.add("4200002549202501283475280389");
-//        strings.add("4200002623202501279504442947");
-//        strings.add("4200002562202501267706529093");
-//        strings.add("4200002563202501315010451543");
-//        strings.add("4200002557202501318580915127");
-//        strings.add("4200002620202501297853203388");
-//        strings.add("4200002540202501278682072570");
-//        strings.add("4200002533202501261454426250");
-//        strings.add("4200002561202501211026781883");
-//        strings.add("4200002548202501198896866501");
-//        strings.add("4200002533202501279073526219");
-//        strings.add("4200002559202501263484813907");
-//        strings.add("4200002539202501248779912368");
-//        strings.add("4200002550202501219009797988");
-//        strings.add("4200002522202501044574098381");
-//        strings.add("4200002632202501269175900891");
-//        strings.add("4200002445202501135472489518");
-//        strings.add("4200002448202501039792117192");
-//        strings.add("4200002624202501271437051813");
-//        strings.add("4200002563202501195698625720");
-//        strings.add("4200002631202501310633179897");
-//        strings.add("4200002624202501259855919056");
-//        strings.add("4200002533202501314747852198");
-//        strings.add("4200002534202501306070668156");
-//        strings.add("4200002622202501291904273337");
-//        strings.add("4200002626202501285428060869");
-//        strings.add("4200002560202501284344272463");
-//        strings.add("4200002567202501241412913558");
-//        strings.add("4200002551202501195136030966");
-//        strings.add("4200002532202501119260222765");
-//        strings.add("4200002563202501297870869100");
-//        strings.add("4200002568202501258638212935");
-//        strings.add("4200002567202501230694496078");
-//        strings.add("4200002523202501302014934289");
-//        strings.add("4200002548202501259823810161");
-//        strings.add("4200002536202501248328123349");
-//        strings.add("4200002525202501240159037222");
-//        strings.add("4200002621202501270964309909");
-//        strings.add("4200002551202501267495054404");
-//        strings.add("4200002553202501243052685207");
-//        strings.add("4200002548202501211042866803");
-//        strings.add("4200002521202501063557374450");
-//        strings.add("4200002631202501281799849379");
-//        strings.add("4200002566202501285719238025");
-//        strings.add("4200002540202501282415791252");
-//        strings.add("4200002569202501274281786910");
-//        strings.add("4200002453202501097911941141");
-//        strings.add("4200002528202501203788294280");
-//        strings.add("4200002619202501175104843442");
-//        strings.add("4200002619202501303669129025");
-//        strings.add("4200002555202501229831624121");
-//        strings.add("4200002558202501302346274778");
-//        strings.add("4200002620202501296746415480");
-//        strings.add("4200002527202501286315551562");
-//        strings.add("4200002629202501261579916027");
-//        strings.add("4200002560202501213602971074");
-//        strings.add("4200002568202501205185104908");
-//        strings.add("4200002568202501313898245449");
-//        strings.add("4200002525202501298314938837");
-//        strings.add("4200002535202501256703102961");
-//        strings.add("4200002565202501199081280335");
-//        strings.add("4200002624202501299009741618");
-//        strings.add("4200002629202501270401177758");
-//        strings.add("4200002621202501225072244798");
-//        strings.add("4200002566202501203480417187");
-//        strings.add("4200002562202501262604175050");
-//        strings.add("4200002568202501309437200924");
-//        strings.add("4200002548202501116148739529");
-//        strings.add("4200002525202501238458952360");
-//        strings.add("4200002525202501207665865376");
-//        strings.add("4200002540202501111760995119");
-//        strings.add("4200002528202501108320437326");
-//        strings.add("4200002565202501032096324228");
-//        strings.add("4200002544202501287066942605");
-//        strings.add("4200002632202501270657746326");
-//        strings.add("4200002566202501248405015187");
-//        strings.add("4200002561202501239332224386");
-//        strings.add("4200002414202501179016578804");
-//        strings.add("4200002624202501301696280975");
-//        strings.add("4200002543202501308748856407");
-//        strings.add("4200002559202501284610062296");
-//        strings.add("4200002529202501266941619776");
-//        strings.add("4200002622202501314944647485");
-//        strings.add("4200002622202501312722264459");
-//        strings.add("4200002536202501288210037882");
-//        strings.add("4200002529202501276195486531");
-//        strings.add("4200002553202501271395865441");
-//        strings.add("4200002545202501213734186028");
-//        strings.add("4200002561202501211974722801");
-//        strings.add("4200002625202501181445424396");
-//        strings.add("4200002628202501182236836144");
-//        strings.add("4200002441202501038781322933");
-//        strings.add("4200002554202501308998825741");
-//        strings.add("4200002525202501234267795730");
-//        strings.add("4200002549202501152699622101");
-//        strings.add("4200002565202501317543845570");
-//        strings.add("4200002531202501293246940702");
-//        strings.add("4200002547202501280854937402");
-//        strings.add("4200002555202501279864890656");
-//        strings.add("4200002528202501279611157069");
-//        strings.add("4200002619202501253120525956");
-//        strings.add("4200002522202501237792690552");
-//        strings.add("4200002551202501213982647574");
-//        strings.add("4200002452202501090076589141");
-//        strings.add("4200002628202501313297597736");
-//        strings.add("4200002627202501316245686544");
-//        strings.add("4200002538202501313777273093");
-//        strings.add("4200002527202501284455177682");
-//        strings.add("4200002549202501248445884195");
-//        strings.add("4200002567202501248832125286");
-//        strings.add("4200002631202501236394846597");
-//        strings.add("4200002553202501303853301854");
-//        strings.add("4200002543202501298192063959");
-//        strings.add("4200002550202501270891160858");
-//        strings.add("4200002625202501226895881720");
-//        strings.add("4200002628202501237640039744");
-//        strings.add("4200002563202501166395780616");
-//        strings.add("4200002551202501317546756905");
-//        strings.add("4200002552202501311872159378");
-//        strings.add("4200002570202501306203256130");
-//        strings.add("4200002525202501275133592423");
-//        strings.add("4200002630202501263078207730");
-//        strings.add("4200002560202501216821645196");
-//        strings.add("4200002527202501184993680912");
-//        strings.add("4200002543202501291567497386");
-//        strings.add("4200002555202501266611117637");
-//        strings.add("4200002630202501267657962676");
-//        strings.add("4200002621202501193926424584");
-//        strings.add("4200002561202501177091681969");
-//        strings.add("4200002531202501155610304687");
-//        strings.add("4200002621202501313493247613");
-//        strings.add("4200002624202501268527940205");
-//        strings.add("4200002555202501182415824129");
-//        strings.add("4200002554202501125246915827");
-//        strings.add("4200002547202501317004242344");
-//        strings.add("4200002539202501280476010735");
-//        strings.add("4200002528202501270102753217");
-//        strings.add("4200002550202501236821260390");
-//        strings.add("4200002552202501304448036575");
-//        strings.add("4200002570202501278175736625");
-//        strings.add("4200002526202501216413713525");
-//        strings.add("4200002555202501319075218823");
-//        strings.add("4200002535202501286916986076");
-//        strings.add("4200002556202501281272765468");
-//        strings.add("4200002628202501279933135110");
-//        strings.add("4200002564202501261300013374");
-//        strings.add("4200002564202501227774861368");
-//        strings.add("4200002531202501202304675991");
-//        strings.add("4200002621202501208253374750");
-//        strings.add("4200002626202501310567707895");
-//        strings.add("4200002620202501294232781532");
-//        strings.add("4200002632202501304868178264");
-//        strings.add("4200002536202501309025700660");
-//        strings.add("4200002563202501262845988741");
-//        strings.add("4200002621202501315487615426");
-//        strings.add("4200002538202501317825752124");
-//        strings.add("4200002629202501290985630889");
-//        strings.add("4200002565202501170436152906");
-//        strings.add("4200002558202501305486033072");
-//        strings.add("4200002530202501261638757512");
-//        strings.add("4200002551202501177486736998");
-//        strings.add("4200002414202501104982298171");
-//        strings.add("4200002524202501310035912959");
-//        strings.add("4200002560202501315486167487");
-//        strings.add("4200002559202501260249804046");
-//        strings.add("4200002546202501259190369484");
-//        strings.add("4200002560202501271191255440");
-//        strings.add("4200002622202501201500219005");
-//        strings.add("4200002560202501301353381947");
-//        strings.add("4200002562202501301354647170");
-//        strings.add("4200002625202501278899677523");
-//        strings.add("4200002562202501261604886663");
-//        strings.add("4200002625202501250248466366");
-//        strings.add("4200002628202501241052064468");
-//        strings.add("4200002565202501237619674789");
-//        strings.add("4200002532202501173041577475");
-//        strings.add("4200002546202501299461491606");
-//        strings.add("4200002539202501037726717560");
-//        strings.add("4200002545202501271185122282");
-//        strings.add("4200002535202501264174010443");
-//        strings.add("4200002550202501258612591216");
-//        strings.add("4200002631202501242578821665");
-//        strings.add("4200002523202501222862033562");
-//        strings.add("4200002532202501156511135483");
-//        strings.add("4200002549202501311020559328");
-//        strings.add("4200002536202501274546460217");
-//        strings.add("4200002557202501249094686068");
-//        strings.add("4200002538202501319359609025");
-//        strings.add("4200002568202501316046525845");
-//        strings.add("4200002533202501283440291215");
-//        strings.add("4200002630202501262273024081");
-//        strings.add("4200002564202501259741476710");
-//        strings.add("4200002523202501215398671989");
-//        strings.add("4200002534202501198082522364");
-//        strings.add("4200002624202501317287992877");
-//        strings.add("4200002554202501276131445281");
-//        strings.add("4200002546202501266452113144");
-//        strings.add("4200002619202501275213777552");
-//        strings.add("4200002550202501267786203763");
-//        strings.add("4200002626202501238545542543");
-//        strings.add("4200002629202501229041746278");
-//        strings.add("4200002540202501265200172259");
-//        strings.add("4200002536202501194890321673");
-//        strings.add("4200002563202501177155968653");
-//        strings.add("4200002525202501303378060057");
-//        strings.add("4200002630202501196539665992");
-//        strings.add("4200002566202501129825732735");
-//        strings.add("4200002444202501091161447193");
-//        strings.add("4200002555202501273465747982");
-//        strings.add("4200002568202501249859288214");
-//        strings.add("4200002526202501236974552534");
-//        strings.add("4200002527202501298457600763");
-//        strings.add("4200002531202501244066694555");
-//        strings.add("4200002524202501299288408893");
-//        strings.add("4200002539202501297195378182");
-//        strings.add("4200002555202501296620086133");
-//        strings.add("4200002625202501287781928860");
-//        strings.add("4200002624202501254837494735");
-//        strings.add("4200002548202501196293688875");
-//        strings.add("4200002554202501294398074849");
-//        strings.add("4200002525202501281375498808");
-//        strings.add("4200002544202501273790294309");
-//        strings.add("4200002570202501275556675753");
-//        strings.add("4200002540202501262420742287");
-//        strings.add("4200002624202501241335849363");
-//        strings.add("4200002529202501127307019050");
-//        strings.add("4200002553202501267536886075");
-//        strings.add("4200002625202501271940935558");
-//        strings.add("4200002543202501302240019007");
-//        strings.add("4200002554202501286328353022");
-//        strings.add("4200002554202501268968972895");
-//        strings.add("4200002564202501253302304310");
-//        strings.add("4200002543202501244275148824");
-//        strings.add("4200002565202501237741889953");
-//        strings.add("4200002413202501105918456904");
-//        strings.add("4200002564202501271401662714");
-//        strings.add("4200002528202501210964299515");
-//        strings.add("4200002619202501226892770188");
-//        strings.add("4200002529202501217022192369");
-//        strings.add("4200002619202501203382617696");
-//        strings.add("4200002546202501179876435992");
-//        strings.add("4200002550202501117787217932");
-//        strings.add("4200002414202501104938270830");
-//        strings.add("4200002525202501310550581332");
-//        strings.add("4200002550202501178953691955");
-//        strings.add("4200002570202501303833200441");
-//        strings.add("4200002560202501304411904635");
-//        strings.add("4200002553202501276675000570");
-//        strings.add("4200002540202501202157799539");
-//        strings.add("4200002570202501119096570641");
-//        strings.add("4200002556202501317741287409");
-//        strings.add("4200002528202501318004758942");
-//        strings.add("4200002538202501307344758970");
-//        strings.add("4200002623202501263058811689");
-//        strings.add("4200002620202501292993466923");
-//        strings.add("4200002530202501303085509953");
-//        strings.add("4200002632202501315093909886");
-//        strings.add("4200002534202501266084436806");
-//        strings.add("4200002548202501283935393547");
-//        strings.add("4200002560202501257759639664");
-//        strings.add("4200002621202501198031593005");
-//        strings.add("4200002559202501290217641238");
-//        strings.add("4200002538202501296211083683");
-//        strings.add("4200002527202501227714965366");
-//        strings.add("4200002413202501055773144024");
-//        strings.add("4200002544202501318195429191");
-//        strings.add("4200002534202501240171209487");
-//        strings.add("4200002530202501241596939615");
-//        strings.add("4200002548202501301202110321");
-//        strings.add("4200002551202501236163094329");
-//        strings.add("4200002548202501216643658677");
-//        strings.add("4200002547202501186406445167");
-//        strings.add("4200002558202501186583685322");
-//        strings.add("4200002631202501311050107617");
-//        strings.add("4200002546202501305367827751");
-//        strings.add("4200002625202501268103410906");
-//        strings.add("4200002628202501246897957061");
-//        strings.add("4200002548202501230114865217");
-//        strings.add("4200002538202501152908247748");
-//        strings.add("4200002538202501300969732277");
-//        strings.add("4200002525202501296872995875");
-//        strings.add("4200002522202501252907304509");
-//        strings.add("4200002537202501250242898722");
-//        strings.add("4200002526202501309747244460");
-//        strings.add("4200002627202501243733690760");
-//        strings.add("4200002562202501085310744754");
-//        strings.add("4200002539202501281794375030");
-//        strings.add("4200002538202501265821914426");
-//        strings.add("4200002540202501299526092275");
-//        strings.add("4200002562202501289530246476");
-//        strings.add("4200002564202501299096073265");
-//        strings.add("4200002532202501287377866703");
-//        strings.add("4200002521202501278136930114");
-//        strings.add("4200002569202501259986274877");
-//        strings.add("4200002543202501317089172223");
-//        strings.add("4200002560202501306153370732");
-//        strings.add("4200002626202501246357754741");
-//        strings.add("4200002532202501197677980224");
-//        strings.add("4200002562202501314155232982");
-//        strings.add("4200002622202501260262562817");
-//        strings.add("4200002566202501195276040488");
-//        strings.add("4200002526202501106182510597");
-//        strings.add("4200002549202501308018199654");
-//        strings.add("4200002624202501289125444169");
-//        strings.add("4200002546202501262457038469");
-//        strings.add("4200002523202501212547021690");
-//        strings.add("4200002534202501171267068016");
-//        strings.add("4200002548202501308985064524");
-//        strings.add("4200002533202501292466829291");
-//        strings.add("4200002622202501252360728318");
-//        strings.add("4200002561202501248741183972");
-//        strings.add("4200002445202501100212299242");
-//        strings.add("4200002449202501086328665084");
-//        strings.add("4200002547202501065548863171");
-//        strings.add("4200002551202501301335827279");
-//        strings.add("4200002554202501301623366100");
-//        strings.add("4200002627202501255148768937");
-//        strings.add("4200002625202501228432110204");
-//        strings.add("4200002564202501297449873279");
-//        strings.add("4200002554202501277556701788");
-//        strings.add("4200002528202501263695373197");
-//        strings.add("4200002529202501265745455318");
-//        strings.add("4200002551202501240519516801");
-//        strings.add("4200002546202501180265657186");
-//        strings.add("4200002531202501313813277686");
-//        strings.add("4200002629202501233902499675");
-//        strings.add("4200002620202501315667390707");
-//        strings.add("4200002551202501304502018844");
-//        strings.add("4200002626202501293354220570");
-//        strings.add("4200002621202501297892931542");
-//        strings.add("4200002534202501271331879922");
-//        strings.add("4200002526202501190991173958");
-//        strings.add("4200002627202501319409936290");
-//        strings.add("4200002562202501257846387824");
-//        strings.add("4200002565202501252205774272");
-//        strings.add("4200002533202501249610882363");
-//        strings.add("4200002620202501218204793519");
-//        strings.add("4200002447202501049325386481");
-//        strings.add("4200002538202501317128197670");
-//        strings.add("4200002535202501318017207006");
-//        strings.add("4200002553202501283296331613");
-//        strings.add("4200002566202501239587052737");
-//        strings.add("4200002531202501055796686036");
-//        strings.add("4200002547202501313049568340");
-//        strings.add("4200002630202501312119005022");
-//        strings.add("4200002540202501294500606978");
-//        strings.add("4200002562202501264906288512");
-//        strings.add("4200002553202501242123627583");
-//        strings.add("4200002568202501217871086984");
-//        strings.add("4200002526202501293708690091");
-//        strings.add("4200002569202501259534246477");
-//        strings.add("4200002621202501245215780850");
-//        strings.add("4200002621202501230857332260");
-//        strings.add("4200002535202501130831984172");
-//        strings.add("4200002560202501031590614936");
-//        strings.add("4200002528202501284372649000");
-//        strings.add("4200002532202501256814212148");
-//        strings.add("4200002559202501257563338273");
-//        strings.add("4200002526202501230628287939");
-//        strings.add("4200002620202501261667831271");
-//        strings.add("4200002630202501237632418234");
-//        strings.add("4200002522202501296139951660");
-//        strings.add("4200002562202501217619689825");
-//        strings.add("4200002555202501212755496280");
-//        strings.add("4200002453202501204520823324");
-//        strings.add("4200002565202501281976929551");
-//        strings.add("4200002530202501284514455631");
-//        strings.add("4200002566202501278074083258");
-//        strings.add("4200002567202501254342243524");
-//        strings.add("4200002531202501232843413636");
-//        strings.add("4200002568202501317049729325");
-//        strings.add("4200002566202501272979698609");
-//        strings.add("4200002547202501242463819197");
-//        strings.add("4200002570202501248110443021");
-//        strings.add("4200002524202501176764362721");
-//        strings.add("4200002527202501055711671708");
-//        strings.add("4200002631202501292149961332");
-//        strings.add("4200002540202501245184230667");
-//        strings.add("4200002560202501319820753509");
-//        strings.add("4200002557202501312942693566");
-//        strings.add("4200002625202501305216985445");
-//        strings.add("4200002528202501309266085625");
-//        strings.add("4200002549202501297064465611");
-//        strings.add("4200002622202501250549609564");
-//        strings.add("4200002523202501210539192347");
-//        strings.add("4200002569202501303449500750");
-//        strings.add("4200002570202501303171632986");
-//        strings.add("4200002570202501264696416066");
-//        strings.add("4200002543202501262244023282");
-//        strings.add("4200002533202501199589259201");
-//        strings.add("4200002631202501281677320594");
-//        strings.add("4200002550202501249473680770");
-//        strings.add("4200002569202501307100159350");
-//        strings.add("4200002552202501222697191891");
-//        strings.add("4200002621202501316972077327");
-//        strings.add("4200002523202501275435569910");
-//        strings.add("4200002524202501230766817039");
-//        strings.add("4200002629202501204250275688");
-//        strings.add("4200002544202501311224170394");
-//        strings.add("4200002631202501300797921473");
-//        strings.add("4200002557202501251052433675");
-//        strings.add("4200002552202501249600180219");
-//        strings.add("4200002570202501233976455350");
-//        strings.add("4200002549202501225269640129");
-//        strings.add("4200002543202501204596630271");
-//        strings.add("4200002549202501113573547146");
-//        strings.add("4200002626202501290721025402");
-//        strings.add("4200002553202501282342408979");
-//        strings.add("4200002568202501234237312732");
-//        strings.add("4200002560202501210393230954");
-//        strings.add("4200002555202501037154750323");
-//        strings.add("4200002553202501311160755029");
-//        strings.add("4200002547202501301318785799");
-//        strings.add("4200002544202501309935555394");
-//        strings.add("4200002531202501285065648940");
-//        strings.add("4200002532202501246674672142");
-//        strings.add("4200002543202501310530153794");
-//        strings.add("4200002627202501313012285198");
-//        strings.add("4200002563202501290575011465");
-//        strings.add("4200002561202501263842928384");
-//        strings.add("4200002529202501183233260190");
-//        strings.add("4200002543202501315545584638");
-//        strings.add("4200002524202501183552303691");
-//        strings.add("4200002552202501306500559148");
-//        strings.add("4200002632202501299010628775");
-//        strings.add("4200002631202501277427427884");
-//        strings.add("4200002558202501264524120152");
-//        strings.add("4200002556202501041025615090");
-//        strings.add("4200002623202501303114285666");
-//        strings.add("4200002628202501314386346624");
-//        strings.add("4200002569202501305096519353");
-//        strings.add("4200002523202501291971543108");
-//        strings.add("4200002627202501297845719472");
-//        strings.add("4200002631202501284880318894");
-//        strings.add("4200002534202501195481247771");
-//        strings.add("4200002535202501284541275811");
-//        strings.add("4200002629202501269260267967");
-//        strings.add("4200002523202501252774189424");
-//        strings.add("4200002627202501247253709176");
-//        strings.add("4200002527202501232692925499");
-//        strings.add("4200002521202501290006177255");
-//        strings.add("4200002622202501244905507976");
-//        strings.add("4200002446202501070406302632");
-//        strings.add("4200002538202501282407102113");
-//        strings.add("4200002548202501146680857088");
-//        strings.add("4200002555202501307325876900");
-//        strings.add("4200002547202501268529298200");
-//        strings.add("4200002526202501265791862849");
-//        strings.add("4200002620202501230200438377");
-//        strings.add("4200002557202501312512609457");
-//        strings.add("4200002526202501315061701264");
-//        strings.add("4200002627202501312196202632");
-//        strings.add("4200002559202501270803539308");
-//        strings.add("4200002559202501266063921452");
-//        strings.add("4200002540202501257869934257");
-//        strings.add("4200002623202501194299435405");
-//        strings.add("4200002555202501082830083440");
-//        strings.add("4200002567202501302654811603");
-//        strings.add("4200002545202501277737101222");
-//        strings.add("4200002523202501253474946832");
-//        strings.add("4200002530202501162720452135");
-//        strings.add("4200002537202501152443228785");
-//        strings.add("4200002536202501079262368032");
-//        strings.add("4200002570202501313899864484");
-//        strings.add("4200002526202501300290762746");
-//        strings.add("4200002628202501236534514588");
-//        strings.add("4200002556202501211403258556");
-//        strings.add("4200002529202501132385401418");
-//        strings.add("4200002558202501312422528702");
-//        strings.add("4200002558202501316258017671");
-//        strings.add("4200002556202501301923929017");
-//        strings.add("4200002562202501283981929535");
-//        strings.add("4200002621202501250325840854");
-//        strings.add("4200002625202501192043965764");
-//        strings.add("4200002523202501304872873586");
-//        strings.add("4200002549202501284973648296");
-//        strings.add("4200002550202501276421547914");
-//        strings.add("4200002533202501273109412321");
-//        strings.add("4200002623202501253471502003");
-//        strings.add("4200002631202501255187984067");
-//        strings.add("4200002570202501206167932464");
-//        strings.add("4200002564202501282229248154");
-//        strings.add("4200002536202501223114529574");
-//        strings.add("4200002620202501175294549607");
-//        strings.add("4200002565202501039122608805");
-//        strings.add("4200002626202501266066957290");
-//        strings.add("4200002534202501252375869239");
-//        strings.add("4200002632202501258650499553");
-//        strings.add("4200002550202501258997535870");
-//        strings.add("4200002621202501199158401999");
-//        strings.add("4200002529202501302177545108");
-//        strings.add("4200002568202501266799112684");
-//        strings.add("4200002569202501257478094855");
-//        strings.add("4200002569202501276590482816");
-//        strings.add("4200002619202501269382976734");
-//        strings.add("4200002560202501298075407731");
-//        strings.add("4200002521202501171161214488");
-//        strings.add("4200002528202501275952107542");
-//        strings.add("4200002623202501274244982988");
-//        strings.add("4200002623202501244393584309");
-//        strings.add("4200002525202501249504129681");
-//        strings.add("4200002626202501192901947351");
-//        strings.add("4200002529202501142043607598");
-//        strings.add("4200002527202501289161057293");
-//        strings.add("4200002537202501243099168157");
-//        strings.add("4200002521202501308447657055");
-//        strings.add("4200002619202501293770497150");
-//        strings.add("4200002545202501291109710141");
-//        strings.add("4200002631202501299639990253");
-//        strings.add("4200002535202501271979369607");
-//        strings.add("4200002523202501213173841260");
-//        strings.add("4200002632202501198202302292");
-//        strings.add("4200002551202501071828779012");
-//        strings.add("4200002523202501277276572664");
-//        strings.add("4200002552202501065789570724");
-//        strings.add("4200002539202501286011568779");
-//        strings.add("4200002629202501289354860767");
-//        strings.add("4200002524202501273867668270");
-//        strings.add("4200002536202501279817612906");
-//        strings.add("4200002547202501246204320929");
-//        strings.add("4200002447202501040487898420");
-//        strings.add("4200002553202501259085105884");
-//        strings.add("4200002627202501297179939753");
-//        strings.add("4200002619202501280862335361");
-//        strings.add("4200002561202501270843163687");
-//        strings.add("4200002521202501264261310155");
-//        strings.add("4200002533202501209041218088");
-//        strings.add("4200002622202501314818057463");
-//        strings.add("4200002537202501287931350574");
-//        strings.add("4200002632202501265023579212");
-//        strings.add("4200002544202501317878001379");
-//        strings.add("4200002545202501168127044883");
-//        strings.add("4200002537202501158454266120");
-//        strings.add("4200002554202501255751544740");
-//        strings.add("4200002560202501264746650439");
-//        strings.add("4200002631202501242921517307");
-//        strings.add("4200002561202501167139177230");
-//        strings.add("4200002551202501271797869394");
-//        strings.add("4200002521202501121294511230");
-//        strings.add("4200002557202501258977715447");
-//        strings.add("4200002570202501197667492476");
-//        strings.add("4200002624202501180598464893");
-//        strings.add("4200002568202501180032394884");
-//        strings.add("4200002631202501289065013120");
-//        strings.add("4200002538202501288915160940");
-//        strings.add("4200002570202501251099611182");
-//        strings.add("4200002630202501242694199894");
-//        strings.add("4200002624202501315315334272");
-//        strings.add("4200002521202501308621100177");
-//        strings.add("4200002620202501278659372260");
-//        strings.add("4200002530202501233005241856");
-//        strings.add("4200002533202501213649960815");
-//        strings.add("4200002550202501164044511984");
-//        strings.add("4200002538202501305264873155");
-//        strings.add("4200002543202501306892943227");
-//        strings.add("4200002525202501258400188703");
-//        strings.add("4200002523202501210181254881");
-//        strings.add("4200002557202501206277488181");
-//        strings.add("4200002536202501126791518205");
-//        strings.add("4200002549202501305580627117");
-//        strings.add("4200002561202501284243763276");
-//        strings.add("4200002547202501279201144163");
-//        strings.add("4200002624202501234268648370");
-//        strings.add("4200002525202501173375555411");
-//        strings.add("4200002558202501318374274944");
-//        strings.add("4200002627202501303811937632");
-//        strings.add("4200002568202501307764627445");
-//        strings.add("4200002525202501235348740948");
-//        strings.add("4200002564202501216650835610");
-//        strings.add("4200002539202501218181856328");
-//        strings.add("4200002527202501300073950206");
-//        strings.add("4200002626202501281446966416");
-//        strings.add("4200002527202501209741015662");
-//        strings.add("4200002522202501186853508101");
-//        strings.add("4200002568202501120549388126");
-//        strings.add("4200002558202501193740049967");
-//        strings.add("4200002623202501310708388733");
-//        strings.add("4200002543202501304119598497");
-//        strings.add("4200002536202501271418334811");
-//        strings.add("4200002549202501241816006680");
-//        strings.add("4200002555202501314808641877");
-//        strings.add("4200002564202501296141828974");
-//        strings.add("4200002526202501288799187140");
-//        strings.add("4200002543202501278278860762");
-//        strings.add("4200002522202501192292529168");
-//        strings.add("4200002550202501150839332303");
-//        strings.add("4200002553202501273344346882");
-//        strings.add("4200002563202501272268214041");
-//        strings.add("4200002622202501241258897297");
-//        strings.add("4200002537202501245650308692");
-//        strings.add("4200002528202501201884060998");
-//        strings.add("4200002550202501313911884293");
-//        strings.add("4200002540202501300868204746");
-//        strings.add("4200002529202501286888548284");
-//        strings.add("4200002546202501274937659002");
-//        strings.add("4200002554202501244228878672");
-//        strings.add("4200002531202501225262672637");
-//        strings.add("4200002525202501245197342305");
-//        strings.add("4200002555202501203392527207");
-//        strings.add("4200002621202501190830889853");
-//        strings.add("4200002529202501300368885730");
-//        strings.add("4200002625202501289505625526");
-//        strings.add("4200002563202501261095551895");
-//        strings.add("4200002529202501151871812537");
-//        strings.add("4200002558202501299180486261");
-//        strings.add("4200002561202501284647195143");
-//        strings.add("4200002546202501227917982584");
-//        strings.add("4200002619202501203426499165");
-//        strings.add("4200002446202501069002664023");
-//        strings.add("4200002570202501278554703078");
-//        strings.add("4200002630202501247357112584");
-//        strings.add("4200002624202501220214703175");
-//        strings.add("4200002565202501220884052142");
-//        strings.add("4200002551202501172898270016");
-//        strings.add("4200002534202501309624041953");
-//        strings.add("4200002561202501234126203070");
-//        strings.add("4200002556202501190321791870");
-//        strings.add("4200002561202501195210567960");
-//        strings.add("4200002566202501307643844740");
-//        strings.add("4200002414202501133620821668");
-//        strings.add("4200002553202501072705809617");
-//        strings.add("4200002626202501305400504118");
-//        strings.add("4200002570202501285506508360");
-//        strings.add("4200002554202501282606147551");
-//        strings.add("4200002562202501279008619508");
-//        strings.add("4200002565202501253724209751");
-//        strings.add("4200002621202501205911866342");
-//        strings.add("4200002537202501272077799105");
-//        strings.add("4200002557202501201145838563");
-//        strings.add("4200002534202501137969901622");
-//        strings.add("4200002567202501318396505160");
-//        strings.add("4200002555202501246705221164");
-//        strings.add("4200002528202501241162101893");
-//        strings.add("4200002539202501177026831525");
-//        strings.add("4200002552202501313910103269");
-//        strings.add("4200002565202501288013758259");
-//        strings.add("4200002521202501263750968616");
-//        strings.add("4200002529202501266351899017");
-//        strings.add("4200002630202501267705055395");
-//        strings.add("4200002567202501212704119425");
-//        strings.add("4200002558202501194416010338");
-//        strings.add("4200002560202501293924202775");
-//        strings.add("4200002626202501288318569857");
-//        strings.add("4200002623202501274336483084");
-//        strings.add("4200002557202501242079731925");
-//        strings.add("4200002539202501245585467566");
-//        strings.add("4200002526202501185575367933");
-//        strings.add("4200002561202501313699193611");
-//        strings.add("4200002528202501319526831807");
-//        strings.add("4200002625202501270363918128");
-//        strings.add("4200002556202501233521954138");
-//        strings.add("4200002623202501183385897905");
-//        strings.add("4200002528202501172404535133");
-//        strings.add("4200002570202501276975919793");
-//        strings.add("4200002529202501256553147597");
-//        strings.add("4200002550202501257681374346");
-//        strings.add("4200002620202501228893024600");
-//        strings.add("4200002561202501300385264790");
-//        strings.add("4200002556202501288021272148");
-//        strings.add("4200002559202501272539873276");
-//        strings.add("4200002539202501062916526218");
-//        strings.add("4200002553202501310567079008");
-//        strings.add("4200002546202501288376113620");
-//        strings.add("4200002543202501272625022334");
-//        strings.add("4200002521202501301593704347");
-//        strings.add("4200002554202501284151555528");
-//        strings.add("4200002547202501254724848390");
-//        strings.add("4200002631202501243700201263");
-//        strings.add("4200002558202501242043121296");
-//        strings.add("4200002625202501291457837200");
-//        strings.add("4200002539202501317014096737");
-//        strings.add("4200002548202501314158081617");
-//        strings.add("4200002631202501277286963047");
-//        strings.add("4200002546202501246518213139");
-//        strings.add("4200002533202501315349049711");
-//        strings.add("4200002523202501287971981325");
-//        strings.add("4200002543202501257191799123");
-//        strings.add("4200002619202501314663216141");
-//        strings.add("4200002539202501288250934720");
-//        strings.add("4200002550202501257515876216");
-//        strings.add("4200002619202501232918530489");
-//        strings.add("4200002524202501235629465829");
-//        strings.add("4200002552202501036987284534");
-//        strings.add("4200002549202501307428195416");
-//        strings.add("4200002624202501259385146612");
-//        strings.add("4200002528202501256491708177");
-//        strings.add("4200002532202501317835076440");
-//        strings.add("4200002533202501318713181051");
-//        strings.add("4200002544202501261013008561");
-//        strings.add("4200002531202501088516005551");
-//        strings.add("4200002567202501313371578483");
-//        strings.add("4200002543202501292018679481");
-//        strings.add("4200002559202501298082691676");
-//        strings.add("4200002563202501279031749301");
-//        strings.add("4200002557202501268663451800");
-//        strings.add("4200002534202501264830456851");
-//        strings.add("4200002553202501213926854105");
-//        strings.add("4200002527202501316886733192");
-//        strings.add("4200002521202501283126551259");
-//        strings.add("4200002552202501276257320447");
-//        strings.add("4200002622202501190828531672");
-//        strings.add("4200002623202501301451077757");
-//        strings.add("4200002569202501305631201093");
-//        strings.add("4200002536202501243595863625");
-//        strings.add("4200002526202501173594012460");
-//        strings.add("4200002543202501302422710360");
-//        strings.add("4200002548202501310298472481");
-//        strings.add("4200002629202501313646227474");
-//        strings.add("4200002551202501315148707619");
-//        strings.add("4200002557202501315252629375");
-//        strings.add("4200002558202501273702128232");
-//        strings.add("4200002559202501265285261950");
-//        strings.add("4200002550202501264857075584");
-//        strings.add("4200002536202501059847562568");
-//        strings.add("4200002560202501304311510493");
-//        strings.add("4200002564202501271986256655");
-//        strings.add("4200002628202501213920404693");
-//        strings.add("4200002557202501189574480214");
-//        strings.add("4200002449202501177827699771");
-//        strings.add("4200002539202501319295915041");
-//        strings.add("4200002558202501185530839644");
-//        strings.add("4200002534202501034335784871");
-//        strings.add("4200002551202501311165385976");
-//        strings.add("4200002621202501270309505915");
-//        strings.add("4200002545202501256575577959");
-//        strings.add("4200002554202501232302079018");
-//        strings.add("4200002452202501056571664645");
-//        strings.add("4200002554202501313795441244");
-//        strings.add("4200002632202501300157568958");
-//        strings.add("4200002536202501273962224065");
-//        strings.add("4200002625202501229907466979");
-//        strings.add("4200002529202501309717026457");
-//        strings.add("4200002525202501293250995358");
-//        strings.add("4200002551202501247512204036");
-//        strings.add("4200002528202501318374350748");
-//        strings.add("4200002533202501190664060011");
-//        strings.add("4200002543202501294445976575");
-//        strings.add("4200002565202501297774895828");
-//        strings.add("4200002549202501243365522559");
-//        strings.add("4200002524202501239642827824");
-//        strings.add("4200002531202501238981454215");
-//        strings.add("4200002548202501213510245209");
-//        strings.add("4200002551202501189698758799");
-//        strings.add("4200002566202501311776955773");
-//        strings.add("4200002569202501311882669432");
-//        strings.add("4200002538202501306258857888");
-//        strings.add("4200002536202501292259492791");
-//        strings.add("4200002567202501256128244888");
-//        strings.add("4200002565202501194859196639");
-//        strings.add("4200002623202501288140330534");
-//        strings.add("4200002563202501220373355502");
-//        strings.add("4200002452202501146958538231");
-//        strings.add("4200002566202501058896851944");
-//        strings.add("4200002630202501263887497045");
-//        strings.add("4200002620202501263299825975");
-//        strings.add("4200002523202501207266327056");
-//        strings.add("4200002630202501202316841820");
-//        strings.add("4200002554202501225914776171");
-//        strings.add("4200002551202501214677849746");
-//        strings.add("4200002560202501148926218451");
-//        strings.add("4200002546202501317650392054");
-//        strings.add("4200002535202501265205547828");
-//        strings.add("4200002533202501310118588569");
-//        strings.add("4200002549202501287573390857");
-//        strings.add("4200002545202501262539151169");
-//        strings.add("4200002630202501223469648353");
-//        strings.add("4200002536202501147157744706");
-//        strings.add("4200002621202501295550703244");
-//        strings.add("4200002621202501260252448366");
-//        strings.add("4200002632202501225187725609");
-//        strings.add("4200002522202501181469557635");
-//        strings.add("4200002558202501282758836921");
-//        strings.add("4200002566202501247499963603");
-//        strings.add("4200002531202501303903751420");
-//        strings.add("4200002544202501203823578595");
-//        strings.add("4200002539202501307477525846");
-//        strings.add("4200002627202501309798157783");
-//        strings.add("4200002564202501177224950454");
-//        strings.add("4200002569202501303752889457");
-//        strings.add("4200002413202501053211918002");
-//        strings.add("4200002533202501266849704995");
-//        strings.add("4200002632202501171173369948");
-//        strings.add("4200002536202501307985500576");
-//        strings.add("4200002530202501226783971730");
-//        strings.add("4200002629202501221279595308");
-//        strings.add("4200002622202501160852323058");
-//        strings.add("4200002533202501272279519023");
-//        strings.add("4200002533202501276973656133");
-//        strings.add("4200002620202501242018668098");
-//        strings.add("4200002544202501230088904221");
-//        strings.add("4200002556202501055536645231");
-//        strings.add("4200002625202501271880069586");
-//        strings.add("4200002535202501262872216652");
-//        strings.add("4200002529202501258850451605");
-//        strings.add("4200002550202501242247812870");
-//        strings.add("4200002556202501205459685369");
-//        strings.add("4200002631202501305896807392");
-//        strings.add("4200002630202501298938796364");
-//        strings.add("4200002627202501261773673728");
-//        strings.add("4200002536202501235773223157");
-//        strings.add("4200002539202501224462427641");
-//        strings.add("4200002414202501176113495123");
-//        strings.add("4200002619202501243302998685");
-//        strings.add("4200002536202501220646520597");
-//        strings.add("4200002525202501187105722266");
-//        strings.add("4200002537202501057197176923");
-//        strings.add("4200002546202501301048692998");
-//        strings.add("4200002539202501262564840812");
-//        strings.add("4200002630202501259622475813");
-//        strings.add("4200002627202501263342166929");
-//        strings.add("4200002632202501232981563627");
-//        strings.add("4200002563202501229305294880");
-//        strings.add("4200002564202501317669481031");
-//        strings.add("4200002625202501270277362769");
-//        strings.add("4200002629202501271380903862");
-//        strings.add("4200002543202501259432429631");
-//        strings.add("4200002536202501034420431689");
-//        strings.add("4200002568202501240851740341");
-//        strings.add("4200002550202501199773295419");
-//        strings.add("4200002554202501188010386153");
-//        strings.add("4200002538202501292423122782");
-//        strings.add("4200002536202501276969940371");
-//        strings.add("4200002533202501250468954790");
-//        strings.add("4200002533202501195420502557");
-//        strings.add("4200002530202501108180456826");
-//        strings.add("4200002414202501059617854325");
-//        strings.add("4200002570202501261427677141");
-//        strings.add("4200002628202501258309486445");
-//        strings.add("4200002526202501106604507791");
-//        strings.add("4200002622202501315225314125");
-//        strings.add("4200002535202501314172381906");
-//        strings.add("4200002625202501317441015721");
-//        strings.add("4200002540202501188413546304");
-//        strings.add("4200002546202501310108002108");
-//        strings.add("4200002557202501220125326884");
-//        strings.add("4200002539202501196773986603");
-//        strings.add("4200002555202501313062543856");
-//        strings.add("4200002546202501275205231957");
-//        strings.add("4200002626202501275109112441");
-//        strings.add("4200002629202501256759320547");
-//        strings.add("4200002558202501257514198144");
-//        strings.add("4200002522202501176528801092");
-//        strings.add("4200002629202501316702433409");
-//        strings.add("4200002570202501296007791884");
-//        strings.add("4200002532202501279355193387");
-//        strings.add("4200002543202501195579306274");
-//        strings.add("4200002619202501311028360705");
-//        strings.add("4200002567202501270161748270");
-//        strings.add("4200002524202501178958393091");
-//        strings.add("4200002559202501319608532417");
-//        strings.add("4200002550202501312087549493");
-//        strings.add("4200002621202501295529140124");
-//        strings.add("4200002554202501316461572710");
-//        strings.add("4200002536202501221789279849");
-//        strings.add("4200002534202501317959090563");
-//        strings.add("4200002544202501299651500244");
-//        strings.add("4200002547202501242676538177");
-//        strings.add("4200002567202501243213379412");
-//        strings.add("4200002570202501213212220079");
-//        strings.add("4200002525202501180427177889");
-//        strings.add("4200002621202501312047157069");
-//        strings.add("4200002558202501315735061528");
-//        strings.add("4200002622202501285186782663");
-//        strings.add("4200002546202501253268469125");
-//        strings.add("4200002567202501197799800371");
-//        strings.add("4200002565202501193707136943");
-//        strings.add("4200002555202501290515916480");
-//        strings.add("4200002544202501271649836684");
-//        strings.add("4200002523202501089442587658");
-//        strings.add("4200002548202501314929196580");
-//        strings.add("4200002528202501300331269031");
-//        strings.add("4200002539202501292889881953");
-//        strings.add("4200002527202501260750568235");
-//        strings.add("4200002553202501253616229564");
-//        strings.add("4200002539202501207244146695");
-//        strings.add("4200002567202501053941091614");
-//        strings.add("4200002569202501306568609458");
-//        strings.add("4200002538202501280745787283");
-//        strings.add("4200002568202501241938884065");
-//        strings.add("4200002550202501218298411280");
-//        strings.add("4200002551202501303210142788");
-//        strings.add("4200002628202501247715570898");
-//        strings.add("4200002569202501314061591860");
-//        strings.add("4200002570202501281062910991");
-//        strings.add("4200002562202501276714594814");
-//        strings.add("4200002623202501221455349511");
-//        strings.add("4200002630202501223471356526");
-//        strings.add("4200002545202501211559050054");
-//        strings.add("4200002565202501307408190770");
-//        strings.add("4200002619202501233621829757");
-//        strings.add("4200002532202501286198413811");
-//        strings.add("4200002537202501236097315510");
-//        strings.add("4200002526202501136573066888");
-//        strings.add("4200002569202501304232701691");
-//        strings.add("4200002632202501211397766405");
-//        strings.add("4200002545202501217764991114");
-//        strings.add("4200002552202501293737071165");
-//        strings.add("4200002553202501260822498330");
-//        strings.add("4200002629202501242481693958");
-//        strings.add("4200002537202501271125020083");
-//        strings.add("4200002569202501270840146421");
-//        strings.add("4200002623202501240191483556");
-//        strings.add("4200002565202501305781676828");
-//        strings.add("4200002558202501242704251036");
-//        strings.add("4200002453202501209015428271");
-//        strings.add("4200002555202501275821558401");
-//        strings.add("4200002563202501245301138876");
-//        strings.add("4200002569202501315012909536");
-//        strings.add("4200002567202501317934194531");
-//        strings.add("4200002529202501241970224103");
-//        strings.add("4200002527202501222068860623");
-//        strings.add("4200002570202501306753697591");
-//        strings.add("4200002546202501253099213991");
-//        strings.add("4200002530202501093698468506");
-//        strings.add("4200002550202501313763493718");
-//        strings.add("4200002531202501274368814190");
-//        strings.add("4200002449202501170477325074");
-//        strings.add("4200002568202501165933604370");
-//        strings.add("4200002564202501277403998546");
-//        strings.add("4200002560202501256718874311");
-//        strings.add("4200002550202501216086664910");
-//        strings.add("4200002631202501284720627944");
-//        strings.add("4200002624202501237175188569");
-//        strings.add("4200002558202501033037646255");
-//        strings.add("4200002549202501314588567318");
-//        strings.add("4200002548202501317871828170");
-//        strings.add("4200002535202501257728629014");
-//        strings.add("4200002521202501245813575436");
-//        strings.add("4200002555202501091654524009");
-//        strings.add("4200002525202501280967249757");
-//        strings.add("4200002554202501287710877047");
-//        strings.add("4200002521202501276273419225");
-//        strings.add("4200002623202501277583068024");
-//        strings.add("4200002525202501258901127789");
-//        strings.add("4200002565202501255406861908");
-//        strings.add("4200002537202501132601299626");
-//        strings.add("4200002622202501300794235197");
-//        strings.add("4200002620202501272562160370");
-//        strings.add("4200002556202501251236575899");
-//        strings.add("4200002562202501195719321753");
-//        strings.add("4200002522202501312605742546");
-//        strings.add("4200002553202501305417205791");
-//        strings.add("4200002527202501251568604393");
-//        strings.add("4200002551202501207357772962");
-//        strings.add("4200002563202501317903430514");
-//        strings.add("4200002625202501294115246059");
-//        strings.add("4200002565202501281903054049");
-//        strings.add("4200002523202501258333661475");
-//        strings.add("4200002557202501239883554387");
-//        strings.add("4200002565202501316583258410");
-//        strings.add("4200002629202501268065291365");
-//        strings.add("4200002554202501183188175963");
-//        strings.add("4200002628202501172931768140");
-//        strings.add("4200002529202501318085256183");
-//        strings.add("4200002629202501272126036159");
-//        strings.add("4200002539202501274981938994");
-//        strings.add("4200002538202501216117722333");
-//        strings.add("4200002554202501046903996994");
-//        strings.add("4200002526202501298641766724");
-//        strings.add("4200002553202501174647175288");
-//        strings.add("4200002559202501079088108289");
-//        strings.add("4200002551202501266056484070");
-//        strings.add("4200002539202501238424740520");
-//        strings.add("4200002533202501216995378323");
-//        strings.add("4200002532202501186863777467");
-//        strings.add("4200002443202501155872862621");
-//        strings.add("4200002550202501085917219627");
-//        strings.add("4200002627202501304611873276");
-//        strings.add("4200002551202501249641766603");
-//        strings.add("4200002540202501163537537516");
-//        strings.add("4200002555202501275494853382");
-//        strings.add("4200002551202501247220942088");
-//        strings.add("4200002621202501188485623654");
-//        strings.add("4200002523202501199287808566");
-//        strings.add("4200002538202501315007278941");
-//        strings.add("4200002559202501301896494325");
-//        strings.add("4200002552202501240249683302");
-//        strings.add("4200002521202501233159021642");
-//        strings.add("4200002449202501205380243333");
-//        strings.add("4200002523202501171467768935");
-//        strings.add("4200002624202501178256601773");
-//        strings.add("4200002529202501282573157871");
-//        strings.add("4200002535202501280705209821");
-//        strings.add("4200002629202501287464726677");
-//        strings.add("4200002560202501235852563642");
-//        strings.add("4200002540202501315795131851");
-//        strings.add("4200002526202501309594699465");
-//        strings.add("4200002532202501289928453481");
-//        strings.add("4200002527202501277653037700");
-//        strings.add("4200002548202501266866860269");
-//        strings.add("4200002562202501247486502373");
-//        strings.add("4200002624202501231711945882");
-//        strings.add("4200002627202501310601516752");
-//        strings.add("4200002554202501266601990906");
-//        strings.add("4200002621202501264799611977");
-//        strings.add("4200002557202501230203883404");
-//        strings.add("4200002443202501104364944009");
-//        strings.add("4200002536202501318512008106");
-//        strings.add("4200002539202501310501317403");
-//        strings.add("4200002530202501292936424838");
-//        strings.add("4200002565202501271266643133");
-//        strings.add("4200002548202501184855936545");
-//        strings.add("4200002562202501314710465086");
-//        strings.add("4200002522202501314155585687");
-//        strings.add("4200002523202501280682428403");
-//        strings.add("4200002630202501260248989265");
-//        strings.add("4200002620202501264631649631");
-//        strings.add("4200002531202501227989195580");
-//        strings.add("4200002560202501194722285172");
-//        strings.add("4200002452202501102131714243");
-//        strings.add("4200002525202501276013461074");
-//        strings.add("4200002552202501243112778263");
-//        strings.add("4200002621202501305329772774");
-//        strings.add("4200002529202501299660698904");
-//        strings.add("4200002560202501243991976331");
-//        strings.add("4200002628202501196020936963");
-//        strings.add("4200002527202501180225274408");
-//        strings.add("4200002559202501292584824658");
-//        strings.add("4200002557202501223695736495");
-//        strings.add("4200002523202501319833588372");
-//        strings.add("4200002629202501310357786405");
-//        strings.add("4200002525202501313698691621");
-//        strings.add("4200002620202501309738402918");
-//        strings.add("4200002632202501231901547627");
-//        strings.add("4200002523202501207594973675");
-//        strings.add("4200002539202501304757574078");
-//        strings.add("4200002625202501244128418831");
-//        strings.add("4200002630202501189050261468");
-//        strings.add("4200002625202501318142108607");
-//        strings.add("4200002537202501298977000680");
-//        strings.add("4200002625202501275540938397");
-//        strings.add("4200002550202501215473978199");
-//        strings.add("4200002567202501201869683670");
-//        strings.add("4200002559202501279942247393");
-//        strings.add("4200002545202501272136763290");
-//        strings.add("4200002565202501271838373046");
-//        strings.add("4200002561202501313235038625");
-//        strings.add("4200002567202501301181391040");
-//        strings.add("4200002546202501270517927815");
-//        strings.add("4200002559202501221853586731");
-//        strings.add("4200002556202501039327122631");
-//        strings.add("4200002527202501296249633674");
-//        strings.add("4200002532202501263855941984");
-//        strings.add("4200002557202501293365541731");
-//        strings.add("4200002530202501275528641272");
-//        strings.add("4200002553202501263204010844");
-//        strings.add("4200002569202501251451277664");
-//        strings.add("4200002545202501318974532104");
-//        strings.add("4200002538202501263830898926");
-//        strings.add("4200002564202501128348300522");
-//        strings.add("4200002561202501306194595985");
-//        strings.add("4200002528202501256162986504");
-//        strings.add("4200002562202501191472730124");
-//        strings.add("4200002621202501306586906585");
-//        strings.add("4200002561202501286405321976");
-//        strings.add("4200002566202501276103918123");
-//        strings.add("4200002568202501267864348174");
-//        strings.add("4200002620202501232494840164");
-//        strings.add("4200002628202501311345149322");
-//        strings.add("4200002545202501278579185889");
-//        strings.add("4200002538202501312215343102");
-//        strings.add("4200002530202501267721560806");
-//        strings.add("4200002526202501265526485799");
-//        strings.add("4200002569202501224609894438");
-//        strings.add("4200002625202501216119397871");
-//        strings.add("4200002449202501215236770711");
-//        strings.add("4200002523202501109494563595");
-//        strings.add("4200002627202501302412807613");
-//        strings.add("4200002566202501296681827237");
-//        strings.add("4200002631202501278171001541");
-//        strings.add("4200002559202501271806416052");
-//        strings.add("4200002449202501205720546730");
-//        strings.add("4200002554202501194206222546");
-//        strings.add("4200002562202501052866051550");
-//        strings.add("4200002535202501304241472887");
-//        strings.add("4200002555202501289721154428");
-//        strings.add("4200002568202501247118847571");
-//        strings.add("4200002526202501243075529900");
-//        strings.add("4200002527202501219845230060");
-//        strings.add("4200002564202501293679920810");
-//        strings.add("4200002534202501275405175708");
-//        strings.add("4200002550202501261048305330");
-//        strings.add("4200002619202501251597565696");
-//        strings.add("4200002544202501258560403734");
-//        strings.add("4200002627202501316128490596");
-//        strings.add("4200002560202501290862181986");
-//        strings.add("4200002622202501284855646617");
-//        strings.add("4200002547202501270149346625");
-//        strings.add("4200002547202501217017127843");
-//        strings.add("4200002552202501139478083255");
-//        strings.add("4200002523202501302109221913");
-//        strings.add("4200002624202501298864161090");
-//        strings.add("4200002567202501298035313571");
-//        strings.add("4200002540202501285508837725");
-//        strings.add("4200002533202501257261967039");
-//        strings.add("4200002539202501199095819849");
-//        strings.add("4200002536202501281923041190");
-//        strings.add("4200002569202501245848679971");
-//        strings.add("4200002525202501246715498815");
-//        strings.add("4200002564202501315517133710");
-//        strings.add("4200002522202501292858139670");
-//        strings.add("4200002551202501270837878748");
-//        strings.add("4200002569202501315090726683");
-//        strings.add("4200002630202501317793160729");
-//        strings.add("4200002543202501307018539055");
-//        strings.add("4200002549202501297578766911");
-//        strings.add("4200002535202501315775622289");
-//        strings.add("4200002565202501304246614905");
-//        strings.add("4200002553202501265927475692");
-//        strings.add("4200002557202501257372165834");
-//        strings.add("4200002562202501314169723204");
-//        strings.add("4200002522202501301981880580");
-//        strings.add("4200002628202501272185119912");
-//        strings.add("4200002538202501271454156677");
-//        strings.add("4200002552202501211501771383");
-//        strings.add("4200002564202501208703449369");
-//        strings.add("4200002543202501185016088651");
-//        strings.add("4200002539202501280631663068");
-//        strings.add("4200002550202501265756268213");
-//        strings.add("4200002625202501291136308268");
-//        strings.add("4200002563202501268962521556");
-//        strings.add("4200002543202501214606786221");
-//        strings.add("4200002443202501033210054981");
-//        strings.add("4200002533202501290099015174");
-//        strings.add("4200002630202501273422729225");
-//        strings.add("4200002547202501202006603028");
-//        strings.add("4200002620202501317807981931");
-//        strings.add("4200002448202501072857849181");
-//        strings.add("4200002548202501077193278153");
-//        strings.add("4200002525202501033575939953");
-//        strings.add("4200002560202501260448915852");
-//        strings.add("4200002531202501246351852767");
-//        strings.add("4200002561202501275622559168");
-//        strings.add("4200002555202501224371175638");
-//        strings.add("4200002564202501229040946236");
-//        strings.add("4200002554202501303072025916");
-//        strings.add("4200002552202501273402918523");
-//        strings.add("4200002540202501201813805512");
-//        strings.add("4200002526202501175687452418");
-//        strings.add("4200002527202501109316236249");
-//        strings.add("4200002556202501031554619663");
-//        strings.add("4200002550202501311840503037");
-//        strings.add("4200002548202501311123849844");
-//        strings.add("4200002526202501249009797966");
-//        strings.add("4200002523202501308128830299");
-//        strings.add("4200002449202501194444808811");
-//        strings.add("4200002569202501259673254087");
-//        strings.add("4200002556202501214762562893");
-//        strings.add("4200002551202501152356140582");
-//        strings.add("4200002537202501304800779084");
-//        strings.add("4200002632202501294025332567");
-//        strings.add("4200002528202501267518879220");
-//        strings.add("4200002556202501232191966011");
-//        strings.add("4200002453202501192127976464");
-//        strings.add("4200002521202501310588375718");
-//        strings.add("4200002526202501278159208235");
-//        strings.add("4200002532202501271905033164");
-//        strings.add("4200002521202501266991694415");
-//        strings.add("4200002532202501256284330119");
-//        strings.add("4200002537202501244172820815");
-//        strings.add("4200002538202501041731651210");
-//        strings.add("4200002548202501290130417450");
-//        strings.add("4200002521202501279540730474");
-//        strings.add("4200002534202501296048806316");
-//        strings.add("4200002565202501272617575601");
-//        strings.add("4200002550202501253278087015");
-//        strings.add("4200002568202501218516330540");
-//        strings.add("4200002620202501209585505096");
-//        strings.add("4200002628202501312655115914");
-//        strings.add("4200002521202501291999113483");
-//        strings.add("4200002560202501292601784186");
-//        strings.add("4200002524202501259680702793");
-//        strings.add("4200002629202501251217356705");
-//        strings.add("4200002522202501241888436376");
-//        strings.add("4200002525202501224903763993");
-//        strings.add("4200002528202501317998253336");
-//        strings.add("4200002562202501304441857872");
-//        strings.add("4200002532202501296761587533");
-//        strings.add("4200002545202501261581599054");
-//        strings.add("4200002624202501236635153229");
-//        strings.add("4200002526202501142573719730");
-//        strings.add("4200002557202501289024519061");
-//        strings.add("4200002632202501309529163746");
-//        strings.add("4200002555202501272137446477");
-//        strings.add("4200002527202501273073476354");
-//        strings.add("4200002622202501252174224049");
-//        strings.add("4200002561202501244285661214");
-//        strings.add("4200002624202501167584771075");
-//        strings.add("4200002529202501307355860835");
-//        strings.add("4200002547202501290924997626");
-//        strings.add("4200002562202501297144431580");
-//        strings.add("4200002624202501273914583728");
-//        strings.add("4200002628202501210305788229");
-//        strings.add("4200002450202501147445767437");
-//        strings.add("4200002413202501091473995889");
-//        strings.add("4200002565202501295941246150");
-//        strings.add("4200002525202501202662440701");
-//        strings.add("4200002525202501126110191261");
-//        strings.add("4200002552202501114416009273");
-//        strings.add("4200002569202501034911190679");
-//        strings.add("4200002537202501301668418107");
-//        strings.add("4200002563202501300615316819");
-//        strings.add("4200002449202501198958987637");
-//        strings.add("4200002630202501308689967140");
-//        strings.add("4200002623202501298653948002");
-//        strings.add("4200002551202501076671917249");
-//        strings.add("4200002619202501312150767889");
-//        strings.add("4200002557202501124042929280");
-//        strings.add("4200002525202501319816817906");
-//        strings.add("4200002629202501316853973687");
-//        strings.add("4200002536202501308038624552");
-//        strings.add("4200002524202501273918561115");
-//        strings.add("4200002567202501265518214376");
-//        strings.add("4200002546202501191442572075");
-//        strings.add("4200002622202501190915670675");
-//        strings.add("4200002619202501191205593384");
-//        strings.add("4200002630202501180821224840");
-//        strings.add("4200002631202501264924691814");
-//        strings.add("4200002622202501188119022846");
-//        strings.add("4200002623202501192711829505");
-//        strings.add("4200002557202501286094802589");
-//        strings.add("4200002632202501271540684174");
-//        strings.add("4200002558202501202366918533");
-//        strings.add("4200002538202501247910277941");
-//        strings.add("4200002527202501308974561379");
-//        strings.add("4200002560202501238888388268");
-//        strings.add("4200002625202501192058170815");
-//        strings.add("4200002548202501197973781939");
-//        strings.add("4200002445202501059613554751");
-//        strings.add("4200002568202501236652195629");
-//        strings.add("4200002567202501302074429179");
-//        strings.add("4200002563202501281179889377");
-//        strings.add("4200002570202501271633927285");
-//        strings.add("4200002533202501274124715788");
-//        strings.add("4200002560202501262193029706");
-//        strings.add("4200002535202501219722067887");
-//        strings.add("4200002528202501072091747078");
-//        strings.add("4200002560202501318282363599");
-//        strings.add("4200002530202501294180055006");
-//        strings.add("4200002545202501270053753959");
-//        strings.add("4200002527202501251622707962");
-//        strings.add("4200002548202501313320764803");
-//        strings.add("4200002632202501317923696332");
-//        strings.add("4200002553202501300466264985");
-//        strings.add("4200002554202501288132417851");
-//        strings.add("4200002623202501278053924386");
-//        strings.add("4200002558202501191893680868");
-//        strings.add("4200002526202501073713192785");
-//        strings.add("4200002569202501315007306428");
-//        strings.add("4200002524202501273988879072");
-//        strings.add("4200002521202501270709666909");
-//        strings.add("4200002627202501262188420923");
-//        strings.add("4200002546202501307199867887");
-//        strings.add("4200002544202501269044061266");
-//        strings.add("4200002632202501243657578424");
-//        strings.add("4200002539202501068840797965");
-//        strings.add("4200002629202501290506322100");
-//        strings.add("4200002563202501255079622844");
-//        strings.add("4200002570202501253437771167");
-//        strings.add("4200002538202501179311994353");
-//        strings.add("4200002540202501299681543127");
-//        strings.add("4200002536202501267444051532");
-//        strings.add("4200002521202501181990662413");
-//        strings.add("4200002525202501317072907454");
-//        strings.add("4200002556202501302913945048");
-//        strings.add("4200002538202501301712997014");
-//        strings.add("4200002620202501293123565016");
-//        strings.add("4200002536202501288218900021");
-//        strings.add("4200002530202501281508625875");
-//        strings.add("4200002564202501259481284291");
-//        strings.add("4200002556202501259325847861");
-//        strings.add("4200002522202501242551347189");
-//        strings.add("4200002553202501241743090629");
-//        strings.add("4200002536202501241621854469");
-//        strings.add("4200002551202501215611876002");
-//        strings.add("4200002568202501218381649829");
-//        strings.add("4200002443202501143587753332");
-//        strings.add("4200002620202501270497179802");
-//        strings.add("4200002567202501243950249832");
-//        strings.add("4200002549202501302496785219");
-//        strings.add("4200002631202501293489756138");
-//        strings.add("4200002537202501290572193826");
-//        strings.add("4200002623202501270708745110");
-//        strings.add("4200002569202501199911622335");
-//        strings.add("4200002623202501315177021309");
-//        strings.add("4200002543202501239273865944");
-//        strings.add("4200002535202501188061237782");
-//        strings.add("4200002524202501316950649633");
-//        strings.add("4200002525202501304305154340");
-//        strings.add("4200002554202501266353338955");
-//        strings.add("4200002625202501187968996877");
-//        strings.add("4200002521202501303156505263");
-//        strings.add("4200002540202501306411756120");
-//        strings.add("4200002548202501267458881068");
-//        strings.add("4200002569202501256637921238");
-//        strings.add("4200002632202501317133733408");
-//        strings.add("4200002553202501289514252563");
-//        strings.add("4200002569202501201060354398");
-//        strings.add("4200002548202501176800854991");
-//        strings.add("4200002535202501151143089919");
-//        strings.add("4200002550202501258502104917");
-//        strings.add("4200002620202501259641692927");
-//        strings.add("4200002628202501255390530864");
-//        strings.add("4200002528202501171389026098");
-//        strings.add("4200002537202501306274360065");
-//        strings.add("4200002624202501293126447935");
-//        strings.add("4200002559202501252725618333");
-//        strings.add("4200002561202501240796040892");
-//        strings.add("4200002539202501198020808316");
-//        strings.add("4200002632202501181436713752");
-//        strings.add("4200002564202501103471106920");
-//        strings.add("4200002447202501095119121396");
-//        strings.add("4200002531202501312934071495");
-//        strings.add("4200002556202501294617017895");
-//        strings.add("4200002540202501292474444615");
-//        strings.add("4200002548202501292548190975");
-//        strings.add("4200002623202501201476625798");
-//        strings.add("4200002525202501188890912735");
-//        strings.add("4200002551202501304826753685");
-//        strings.add("4200002538202501267039378431");
-//        strings.add("4200002550202501252827580394");
-//        strings.add("4200002625202501233504341677");
-//        strings.add("4200002631202501318328742008");
-//        strings.add("4200002546202501274449653259");
-//        strings.add("4200002550202501192124660105");
-//        strings.add("4200002552202501267804709077");
-//        strings.add("4200002566202501258657418736");
-//        strings.add("4200002564202501176189645712");
-//        strings.add("4200002544202501304428341677");
-//        strings.add("4200002549202501265838329789");
-//        strings.add("4200002568202501310241018279");
-//        strings.add("4200002550202501232502608961");
-//        strings.add("4200002626202501184132898954");
-//        strings.add("4200002521202501319659461433");
-//        strings.add("4200002629202501304698673264");
-//        strings.add("4200002534202501290999182232");
-//        strings.add("4200002632202501239973640849");
-//        strings.add("4200002549202501124435892453");
-//        strings.add("4200002566202501089804220901");
-//        strings.add("4200002529202501309171549179");
-//        strings.add("4200002566202501286460344937");
-//        strings.add("4200002527202501264560744714");
-//        strings.add("4200002525202501218788218560");
-//        strings.add("4200002526202501169346891001");
-//        strings.add("4200002526202501307943434682");
-//        strings.add("4200002620202501258670951220");
-//        strings.add("4200002532202501245309219465");
-//        strings.add("4200002556202501239567473253");
-//        strings.add("4200002632202501201553326262");
-//        strings.add("4200002554202501144591657814");
-//        strings.add("4200002544202501235491072684");
-//        strings.add("4200002557202501219667496978");
-//        strings.add("4200002534202501316065572757");
-//        strings.add("4200002525202501314668172646");
-//        strings.add("4200002570202501305573709471");
-//        strings.add("4200002563202501278681670191");
-//        strings.add("4200002531202501269001276269");
-//        strings.add("4200002627202501236900854887");
-//        strings.add("4200002543202501313943644333");
-//        strings.add("4200002553202501212557529265");
-//        strings.add("4200002540202501188923129043");
-//        strings.add("4200002527202501060296026996");
-//        strings.add("4200002622202501255855136896");
-//        strings.add("4200002563202501231035209208");
-//        strings.add("4200002620202501182370021899");
-//        strings.add("4200002540202501312944914632");
-//        strings.add("4200002632202501266155683291");
-//        strings.add("4200002623202501244027010740");
-//        strings.add("4200002557202501230406931339");
-//        strings.add("4200002452202501074898626384");
-//        strings.add("4200002535202501312519724779");
-//        strings.add("4200002540202501285023770092");
-//        strings.add("4200002525202501265471713943");
-//        strings.add("4200002628202501251411235018");
-//        strings.add("4200002568202501233298398496");
-//        strings.add("4200002629202501227761457538");
-//        strings.add("4200002453202501202540078676");
-//        strings.add("4200002556202501182109341900");
-//        strings.add("4200002568202501296965224398");
-//        strings.add("4200002563202501275876035673");
-//        strings.add("4200002525202501257540656256");
-//        strings.add("4200002550202501229964660931");
-//        strings.add("4200002559202501313558418537");
-//        strings.add("4200002557202501291662148255");
-//        strings.add("4200002621202501287100054874");
-//        strings.add("4200002570202501231842984704");
-//        strings.add("4200002527202501233336888597");
-//        strings.add("4200002570202501171956897361");
-//        strings.add("4200002563202501170980087593");
-//        strings.add("4200002548202501289407562589");
-//        strings.add("4200002558202501272617254842");
-//        strings.add("4200002632202501256282490974");
-//        strings.add("4200002563202501193502587691");
-//        strings.add("4200002558202501182297795547");
-//        strings.add("4200002525202501308524987199");
-//        strings.add("4200002623202501191675608369");
-//        strings.add("4200002546202501246698648682");
-//        strings.add("4200002632202501180132877107");
-//        strings.add("4200002568202501285170967630");
-//        strings.add("4200002562202501208300816595");
-//        strings.add("4200002524202501304355809590");
-//        strings.add("4200002564202501297446315936");
-//        strings.add("4200002555202501280282259225");
-//        strings.add("4200002563202501289709018771");
-//        strings.add("4200002553202501252967151799");
-//        strings.add("4200002632202501233482781931");
-//        strings.add("4200002555202501222733823875");
-//        strings.add("4200002530202501270371495393");
-//        strings.add("4200002568202501261040549476");
-//        strings.add("4200002620202501264514206741");
-//        strings.add("4200002632202501293297631573");
-//        strings.add("4200002619202501183353809382");
-//        strings.add("4200002560202501171572760690");
-//        strings.add("4200002442202501078981782448");
-//        strings.add("4200002539202501051803874105");
-//        strings.add("4200002567202501306817467836");
-//        strings.add("4200002560202501309283499037");
-//        strings.add("4200002563202501297329051077");
-//        strings.add("4200002558202501301513582797");
-//        strings.add("4200002550202501290481642085");
-//        strings.add("4200002538202501276997998081");
-//        strings.add("4200002550202501282613499482");
-//        strings.add("4200002619202501276265942030");
-//        strings.add("4200002545202501170622500198");
-//        strings.add("4200002537202501076845498189");
-//        strings.add("4200002532202501293762554939");
-//        strings.add("4200002569202501280200680142");
-//        strings.add("4200002549202501267471196989");
-//        strings.add("4200002622202501163269473418");
-//        strings.add("4200002548202501052985159555");
-//        strings.add("4200002529202501305263742017");
-//        strings.add("4200002546202501316969860255");
-//        strings.add("4200002553202501285998192049");
-//        strings.add("4200002560202501292593078984");
-//        strings.add("4200002544202501247436437515");
-//        strings.add("4200002560202501235486578342");
-//        strings.add("4200002568202501176657940439");
-//        strings.add("4200002562202501195438394397");
-//        strings.add("4200002538202501301619968566");
-//        strings.add("4200002622202501268600058814");
-//        strings.add("4200002536202501254479276435");
-//        strings.add("4200002620202501250601135455");
-//        strings.add("4200002537202501204256519102");
-//        strings.add("4200002449202501156971209915");
-//        strings.add("4200002568202501139518793979");
-//        strings.add("4200002533202501316121756123");
-//        strings.add("4200002623202501300894506663");
-//        strings.add("4200002553202501299910990499");
-//        strings.add("4200002543202501285518502140");
-//        strings.add("4200002569202501285780994629");
-//        strings.add("4200002567202501246169883127");
-//        strings.add("4200002621202501218603085736");
-//        strings.add("4200002441202501081180307568");
-//        strings.add("4200002565202501047509520037");
-//        strings.add("4200002626202501319062254610");
-//        strings.add("4200002539202501188161499733");
-//        strings.add("4200002539202501163665519355");
-//        strings.add("4200002554202501145322462578");
-//        strings.add("4200002556202501298625908392");
-//        strings.add("4200002619202501296813689865");
-//        strings.add("4200002537202501284397138546");
-//        strings.add("4200002556202501275437924953");
-//        strings.add("4200002624202501233090618095");
-//        strings.add("4200002553202501206368469908");
-//        strings.add("4200002551202501308636311880");
-//        strings.add("4200002526202501302896407915");
-//        strings.add("4200002556202501306605561901");
-//        strings.add("4200002527202501303312635400");
-//        strings.add("4200002622202501262568523275");
-//        strings.add("4200002556202501319362023210");
-//        strings.add("4200002545202501301270988700");
-//        strings.add("4200002525202501306155035570");
-//        strings.add("4200002539202501294410612354");
-//        strings.add("4200002549202501276693294746");
-//        strings.add("4200002558202501265864611736");
-//        strings.add("4200002538202501257454210173");
-//        strings.add("4200002563202501208289956023");
-//        strings.add("4200002632202501175002065600");
-//        strings.add("4200002545202501309197396196");
-//        strings.add("4200002527202501227064872808");
-//        strings.add("4200002556202501191245941254");
-//        strings.add("4200002449202501109376475748");
-//        strings.add("4200002555202501262817111040");
-//        strings.add("4200002529202501175159374032");
-//        strings.add("4200002565202501298043548157");
-//        strings.add("4200002526202501279956416030");
-//        strings.add("4200002623202501278989318970");
-//        strings.add("4200002632202501257566248928");
-//        strings.add("4200002632202501184900244725");
-//        strings.add("4200002548202501032060716582");
-//        strings.add("4200002569202501292142621564");
-//        strings.add("4200002414202501050241176547");
-//        strings.add("4200002555202501303806401790");
-//        strings.add("4200002627202501298695841099");
-//        strings.add("4200002537202501260184411495");
-//        strings.add("4200002558202501054389111063");
-//        strings.add("4200002568202501031665305500");
-//        strings.add("4200002550202501289542922618");
-//        strings.add("4200002566202501254225324542");
-//        strings.add("4200002525202501312803670852");
-//        strings.add("4200002619202501306583425083");
-//        strings.add("4200002620202501303035879930");
-//        strings.add("4200002567202501282246191358");
-//        strings.add("4200002532202501213514047711");
-//        strings.add("4200002559202501314959797519");
-//        strings.add("4200002529202501293864628094");
-//        strings.add("4200002522202501291963574667");
-//        strings.add("4200002562202501289079819353");
-//        strings.add("4200002630202501267273142695");
-//        strings.add("4200002550202501258514668161");
-//        strings.add("4200002621202501243178731015");
-//        strings.add("4200002628202501218146886909");
-//        strings.add("4200002526202501181435004265");
-//        strings.add("4200002537202501316629711032");
-//        strings.add("4200002526202501308640614532");
-//        strings.add("4200002550202501309948114864");
-//        strings.add("4200002620202501291915023327");
-//        strings.add("4200002563202501289117722135");
-//        strings.add("4200002533202501270105265828");
-//        strings.add("4200002561202501262948150892");
-//        strings.add("4200002625202501259672185962");
-//        strings.add("4200002550202501240289855316");
-//        strings.add("4200002621202501315457336657");
-//        strings.add("4200002530202501316524158446");
-//        strings.add("4200002530202501305946085189");
-//        strings.add("4200002534202501211363660202");
-//        strings.add("4200002532202501197778703390");
-//        strings.add("4200002538202501313096306383");
-//        strings.add("4200002525202501300292098949");
-//        strings.add("4200002534202501299718713597");
-//        strings.add("4200002561202501293889861416");
-//        strings.add("4200002625202501268336745692");
-//        strings.add("4200002566202501256752250711");
-//        strings.add("4200002559202501245435428650");
-//        strings.add("4200002527202501044063344843");
-//        strings.add("4200002566202501302365194332");
-//        strings.add("4200002536202501292314639711");
-//        strings.add("4200002621202501253685204122");
-//        strings.add("4200002623202501232380539147");
-//        strings.add("4200002524202501140220651005");
-//        strings.add("4200002621202501312076797270");
-//        strings.add("4200002552202501309281033592");
-//        strings.add("4200002558202501291246635113");
-//        strings.add("4200002539202501291336150160");
-//        strings.add("4200002622202501271400244980");
-//        strings.add("4200002544202501319894987263");
-//        strings.add("4200002557202501292857518903");
-//        strings.add("4200002629202501265969217601");
-//        strings.add("4200002559202501278442977721");
-//        strings.add("4200002526202501302752013431");
-//        strings.add("4200002530202501284410165119");
-//        strings.add("4200002528202501283426978906");
-//        strings.add("4200002529202501278790723324");
-//        strings.add("4200002556202501267180445632");
-//        strings.add("4200002532202501208082104148");
-//        strings.add("4200002548202501200821544866");
-//        strings.add("4200002528202501284333044890");
-//        strings.add("4200002537202501291746300330");
-//        strings.add("4200002533202501299270824672");
-//        strings.add("4200002444202501090382871570");
-//        strings.add("4200002551202501083907992891");
-//        strings.add("4200002553202501314287943528");
-//        strings.add("4200002627202501316394392578");
-//        strings.add("4200002621202501308689005094");
-//        strings.add("4200002621202501285594490158");
-//        strings.add("4200002621202501240319524851");
-//        strings.add("4200002561202501242299282757");
-//        strings.add("4200002526202501197982871811");
-//        strings.add("4200002544202501193228433240");
-//        strings.add("4200002522202501315747785345");
-//        strings.add("4200002521202501305210479397");
-//        strings.add("4200002555202501288688907321");
-//        strings.add("4200002553202501271330550135");
-//        strings.add("4200002627202501281782134163");
-//        strings.add("4200002626202501251201847475");
-//        strings.add("4200002446202501108414426543");
-//        strings.add("4200002543202501270336288935");
-//        strings.add("4200002623202501302958317025");
-//        strings.add("4200002558202501285599143263");
-//        strings.add("4200002625202501217677435255");
-//        strings.add("4200002448202501154155978832");
-//        strings.add("4200002531202501279742297297");
-//        strings.add("4200002560202501267554123638");
-//        strings.add("4200002534202501275293358700");
-//        strings.add("4200002559202501300448122330");
-//        strings.add("4200002527202501169813770658");
-//        strings.add("4200002568202501139053569503");
-//        strings.add("4200002552202501310839951160");
-//        strings.add("4200002545202501292566081925");
-//        strings.add("4200002623202501286041079816");
-//        strings.add("4200002549202501187837169927");
-//        strings.add("4200002550202501178876934883");
-//        strings.add("4200002557202501103511410198");
-//        strings.add("4200002526202501261930770628");
-//        strings.add("4200002554202501265136536695");
-//        strings.add("4200002538202501105899772507");
-//        strings.add("4200002566202501077194555764");
-//        strings.add("4200002522202501298820846447");
-//        strings.add("4200002628202501290638068852");
-//        strings.add("4200002629202501261959266594");
-//        strings.add("4200002530202501300453867873");
-//        strings.add("4200002626202501285712348885");
-//        strings.add("4200002521202501242495605914");
-//        strings.add("4200002531202501232420155003");
-//        strings.add("4200002558202501300700204230");
-//        strings.add("4200002570202501304008347928");
-//        strings.add("4200002539202501300623383627");
-//        strings.add("4200002548202501304936368785");
-//        strings.add("4200002553202501179708639287");
-//        strings.add("4200002567202501316729069572");
-//        strings.add("4200002625202501279778541675");
-//        strings.add("4200002547202501303397649324");
-//        strings.add("4200002552202501271029136647");
-//        strings.add("4200002548202501262359846520");
-//        strings.add("4200002525202501228628467320");
-//        strings.add("4200002619202501287317932639");
-//        strings.add("4200002622202501275811730474");
-//        strings.add("4200002562202501287251799663");
-//        strings.add("4200002553202501262969077690");
-//        strings.add("4200002559202501204848493593");
-//        strings.add("4200002627202501319425389694");
-//        strings.add("4200002554202501307707227987");
-//        strings.add("4200002630202501299811766401");
-//        strings.add("4200002532202501270500024253");
-//        strings.add("4200002567202501273932480781");
-//        strings.add("4200002521202501253068748477");
-//        strings.add("4200002623202501231050059635");
-//        strings.add("4200002557202501255967725647");
-//        strings.add("4200002548202501314185045412");
-//        strings.add("4200002545202501310236418678");
-//        strings.add("4200002549202501245082150613");
-//        strings.add("4200002524202501312863332838");
-//        strings.add("4200002632202501284609378984");
-//        strings.add("4200002521202501277932130449");
-//        strings.add("4200002529202501246890339905");
-//        strings.add("4200002539202501243336527978");
-//        strings.add("4200002527202501300814691504");
-//        strings.add("4200002626202501276076055926");
-//        strings.add("4200002564202501257500852963");
-//        strings.add("4200002554202501253559391187");
-//        strings.add("4200002523202501240793614300");
-//        strings.add("4200002628202501222302999492");
-//        strings.add("4200002629202501174381218207");
-//        strings.add("4200002449202501063909520688");
-//        strings.add("4200002523202501315003560997");
-//        strings.add("4200002525202501269545889944");
-//        strings.add("4200002537202501256458412600");
-//        strings.add("4200002413202501103439302204");
-//        strings.add("4200002414202501079392773147");
-//        strings.add("4200002555202501298623683226");
-//        strings.add("4200002557202501271065270422");
-//        strings.add("4200002524202501305571628355");
-//        strings.add("4200002529202501285333206298");
-//        strings.add("4200002553202501287964107543");
-//        strings.add("4200002547202501284521995273");
-//        strings.add("4200002537202501275815262735");
-//        strings.add("4200002548202501259554018206");
-//        strings.add("4200002622202501240292011054");
-//        strings.add("4200002621202501237055389815");
-//        strings.add("4200002546202501305891578782");
-//        strings.add("4200002567202501293602780605");
-//        strings.add("4200002626202501266312703799");
-//        strings.add("4200002557202501248502604340");
-//        strings.add("4200002632202501237746408749");
-//        strings.add("4200002625202501219191587937");
-//        strings.add("4200002558202501317933321702");
-//        strings.add("4200002532202501307870770685");
-//        strings.add("4200002521202501289318663365");
-//        strings.add("4200002628202501246392558701");
-//        strings.add("4200002525202501234189291643");
-//        strings.add("4200002527202501293100479363");
-//        strings.add("4200002628202501280738256971");
-//        strings.add("4200002557202501266347486124");
-//        strings.add("4200002555202501036161655577");
-//        strings.add("4200002526202501212221931668");
-//        strings.add("4200002546202501092647652452");
-//        strings.add("4200002537202501078279435769");
-//        strings.add("4200002570202501314425050171");
-//        strings.add("4200002570202501275809897415");
-//        strings.add("4200002624202501254408778628");
-//        strings.add("4200002537202501242640215782");
-//        strings.add("4200002529202501315766313810");
-//        strings.add("4200002627202501283888979861");
-//        strings.add("4200002563202501264379762779");
-//        strings.add("4200002539202501251272130720");
-//        strings.add("4200002530202501252312153972");
-//        strings.add("4200002545202501257155215271");
-//        strings.add("4200002521202501241065641801");
-//        strings.add("4200002526202501214772315084");
-//        strings.add("4200002545202501293944900050");
-//        strings.add("4200002565202501237202697201");
-//        strings.add("4200002570202501167022434413");
-//        strings.add("4200002549202501307742137410");
-//        strings.add("4200002558202501277352946905");
-//        strings.add("4200002554202501271201261821");
-//        strings.add("4200002545202501264732159999");
-//        strings.add("4200002630202501213170953079");
-//        strings.add("4200002551202501196781235540");
-//        strings.add("4200002543202501302665678929");
-//        strings.add("4200002537202501278467212069");
-//        strings.add("4200002528202501144086934489");
-//        strings.add("4200002535202501281240359984");
-//        strings.add("4200002529202501289226920797");
-//        strings.add("4200002550202501280019351898");
-//        strings.add("4200002535202501266273336773");
-//        strings.add("4200002540202501257344153136");
-//        strings.add("4200002567202501242787729396");
-//        strings.add("4200002530202501228415933645");
-//        strings.add("4200002539202501224707403556");
-//        strings.add("4200002448202501047774013215");
-//        strings.add("4200002551202501276529914550");
-//        strings.add("4200002620202501300402350486");
-//        strings.add("4200002627202501307199845130");
-//        strings.add("4200002619202501282371276641");
-//        strings.add("4200002564202501255523074912");
-//        strings.add("4200002551202501310303614648");
-//        strings.add("4200002557202501262193038107");
-//        strings.add("4200002619202501251180424664");
-//        strings.add("4200002629202501247514739133");
-//        strings.add("4200002567202501232407528052");
-//        strings.add("4200002552202501303195363758");
-//        strings.add("4200002630202501276855645665");
-//        strings.add("4200002620202501230066797576");
-//        strings.add("4200002548202501208791754572");
-//        strings.add("4200002619202501311990520357");
-//        strings.add("4200002560202501296161560706");
-//        strings.add("4200002552202501262646457045");
-//        strings.add("4200002619202501175077107471");
-//        strings.add("4200002555202501030438942753");
-//        strings.add("4200002527202501301585455273");
-//        strings.add("4200002620202501231634017242");
-//        strings.add("4200002559202501309312215453");
-//        strings.add("4200002632202501239034921022");
-//        strings.add("4200002632202501232015258502");
-//        strings.add("4200002534202501248122794213");
-//        strings.add("4200002570202501109995790530");
-//        strings.add("4200002562202501312182518209");
-//        strings.add("4200002627202501310317760849");
-//        strings.add("4200002523202501298477005120");
-//        strings.add("4200002525202501279419643035");
-//        strings.add("4200002555202501245120773666");
-//        strings.add("4200002565202501235833539189");
-//        strings.add("4200002548202501222892939008");
-//        strings.add("4200002621202501219084077359");
-//        strings.add("4200002523202501031389225899");
-//        strings.add("4200002630202501311644890229");
-//        strings.add("4200002534202501315404226263");
-//        strings.add("4200002534202501247279290200");
-//        strings.add("4200002619202501225672311844");
-//        strings.add("4200002528202501315076526520");
-//        strings.add("4200002565202501291545528583");
-//        strings.add("4200002540202501244897498986");
-//        strings.add("4200002620202501234670314954");
-//        strings.add("4200002528202501311007793577");
-//        strings.add("4200002548202501267821135000");
-//        strings.add("4200002559202501301873663669");
-//        strings.add("4200002527202501280087023247");
-//        strings.add("4200002570202501269039977755");
-//        strings.add("4200002526202501236484902972");
-//        strings.add("4200002553202501316284716602");
-//        strings.add("4200002632202501298903865872");
-//        strings.add("4200002569202501297164419698");
-//        strings.add("4200002619202501279080442669");
-//        strings.add("4200002543202501248008701725");
-//        strings.add("4200002620202501311212451372");
-//        strings.add("4200002530202501270798533579");
-//        strings.add("4200002540202501234227430233");
-//        strings.add("4200002562202501148269912097");
-//        strings.add("4200002553202501313132499161");
-//        strings.add("4200002552202501253085259935");
-//        strings.add("4200002555202501210212535182");
-//        strings.add("4200002627202501307923469761");
-//        strings.add("4200002559202501266569714296");
-//        strings.add("4200002622202501269148425359");
-//        strings.add("4200002530202501117402935580");
-//        strings.add("4200002560202501303695014326");
-//        strings.add("4200002523202501296232656577");
-//        strings.add("4200002448202501071130590652");
-//        strings.add("4200002628202501318456063307");
-//        strings.add("4200002569202501294839226288");
-//        strings.add("4200002545202501232654227285");
-//        strings.add("4200002559202501220686816500");
-//        strings.add("4200002526202501193718621402");
-//        strings.add("4200002567202501293498482448");
-//        strings.add("4200002562202501232919498110");
-//        strings.add("4200002523202501239600838439");
-//        strings.add("4200002625202501176400449863");
-//        strings.add("4200002622202501274869654331");
-//        strings.add("4200002623202501200645699941");
-//        strings.add("4200002534202501201271557131");
-//        strings.add("4200002554202501319725992430");
-//        strings.add("4200002534202501285934480988");
-//        strings.add("4200002619202501276328331818");
-//        strings.add("4200002548202501311729667336");
-//        strings.add("4200002549202501315557343830");
-//        strings.add("4200002554202501274914819515");
-//        strings.add("4200002559202501233916810354");
-//        strings.add("4200002449202501180262287945");
-//        strings.add("4200002524202501318228261516");
-//        strings.add("4200002621202501284476308024");
-//        strings.add("4200002521202501273715374115");
-//        strings.add("4200002560202501209993855726");
-//        strings.add("4200002628202501171971598200");
-//        strings.add("4200002563202501082245208086");
-//        strings.add("4200002549202501313335408979");
-//        strings.add("4200002552202501301143135002");
-//        strings.add("4200002524202501260997926226");
-//        strings.add("4200002562202501181611224382");
-//        strings.add("4200002530202501142772725875");
-//        strings.add("4200002531202501315441980818");
-//        strings.add("4200002521202501305112771933");
-//        strings.add("4200002524202501267216546301");
-//        strings.add("4200002522202501170902331828");
-//        strings.add("4200002560202501129116945741");
-//        strings.add("4200002570202501319659348735");
-//        strings.add("4200002527202501258806322167");
-//        strings.add("4200002621202501247771429247");
-//        strings.add("4200002545202501221523024582");
-//        strings.add("4200002557202501191629884349");
-//        strings.add("4200002565202501197487407155");
-//        strings.add("4200002568202501266596072156");
-//        strings.add("4200002549202501261842371236");
-//        strings.add("4200002549202501256176234095");
-//        strings.add("4200002524202501205978372099");
-//        strings.add("4200002538202501297126817910");
-//        strings.add("4200002539202501312776889343");
-//        strings.add("4200002625202501310579334458");
-//        strings.add("4200002530202501187202989543");
-//        strings.add("4200002547202501317418744927");
-//        strings.add("4200002554202501306489326504");
-//        strings.add("4200002544202501296585584664");
-//        strings.add("4200002531202501260948474361");
-//        strings.add("4200002544202501256057263377");
-//        strings.add("4200002570202501238918595954");
-//        strings.add("4200002524202501182528499772");
-//        strings.add("4200002550202501187954439625");
-//        strings.add("4200002623202501301149815645");
-//        strings.add("4200002553202501208258559538");
-//        strings.add("4200002569202501288927415695");
-//        strings.add("4200002629202501283690480248");
-//        strings.add("4200002535202501276210948448");
-//        strings.add("4200002527202501197805715947");
-//        strings.add("4200002533202501174598921071");
-//        strings.add("4200002555202501272047938993");
-//        strings.add("4200002554202501300635860168");
-//        strings.add("4200002525202501298909975654");
-//        strings.add("4200002564202501282734752730");
-//        strings.add("4200002554202501277783857085");
-//        strings.add("4200002532202501247006191040");
-//        strings.add("4200002534202501318504279525");
-//        strings.add("4200002624202501303406245899");
-//        strings.add("4200002533202501307249921082");
-//        strings.add("4200002530202501039065939774");
-//        strings.add("4200002537202501283466232020");
-//        strings.add("4200002632202501269208982573");
-//        strings.add("4200002560202501247827128830");
-//        strings.add("4200002522202501220560869452");
-//        strings.add("4200002539202501307340122420");
-//        strings.add("4200002632202501300585356498");
-//        strings.add("4200002538202501309767235129");
-//        strings.add("4200002561202501297982806743");
-//        strings.add("4200002563202501284797157361");
-//        strings.add("4200002632202501264811135226");
-//        strings.add("4200002533202501164837442316");
-//        strings.add("4200002561202501305610095698");
-//        strings.add("4200002554202501247077383780");
-//        strings.add("4200002558202501224951820240");
-//        strings.add("4200002448202501103941890944");
-//        strings.add("4200002441202501076399075498");
-//        strings.add("4200002532202501311243054084");
-//        strings.add("4200002546202501300472685687");
-//        strings.add("4200002527202501232599446075");
-//        strings.add("4200002543202501316150750778");
-//        strings.add("4200002621202501291397145147");
-//        strings.add("4200002552202501209094461445");
-//        strings.add("4200002521202501188577481691");
-//        strings.add("4200002567202501300585314751");
-//        strings.add("4200002624202501309299899352");
-//        strings.add("4200002632202501281165051948");
-//        strings.add("4200002567202501276912883572");
-//        strings.add("4200002566202501253912778736");
-//        strings.add("4200002626202501239421575366");
-//        strings.add("4200002557202501188697970312");
-//        strings.add("4200002559202501059353226740");
-//        strings.add("4200002547202501318071270105");
-//        strings.add("4200002547202501298797755843");
-//        strings.add("4200002623202501277867525327");
-//        strings.add("4200002628202501233941356370");
-//        strings.add("4200002630202501188496512292");
-//        strings.add("4200002550202501187581943231");
-//        strings.add("4200002544202501311031046087");
-//        strings.add("4200002621202501256250835170");
-//        strings.add("4200002535202501250983473309");
-//        strings.add("4200002543202501204580954995");
-//        strings.add("4200002538202501096446591874");
-//        strings.add("4200002447202501073743612379");
-//        strings.add("4200002560202501043302097313");
-//        strings.add("4200002523202501319686871639");
-//        strings.add("4200002537202501184113419176");
-//        strings.add("4200002555202501314575689545");
-//        strings.add("4200002546202501283787844351");
-//        strings.add("4200002534202501196637264248");
-//        strings.add("4200002535202501296619562005");
-//        strings.add("4200002567202501280785153104");
-//        strings.add("4200002521202501289652248534");
-//        strings.add("4200002546202501238207503984");
-//        strings.add("4200002531202501161030432468");
-//        strings.add("4200002564202501299721531974");
-//        strings.add("4200002524202501263830443455");
-//        strings.add("4200002625202501256205020344");
-//        strings.add("4200002555202501228119882060");
-//        strings.add("4200002570202501224100971938");
-//        strings.add("4200002565202501319264043347");
-//        strings.add("4200002569202501306920824357");
-//        strings.add("4200002560202501248266643684");
-//        strings.add("4200002549202501214278806283");
-//        strings.add("4200002561202501186419454896");
-//        strings.add("4200002556202501024904152251");
-//        strings.add("4200002624202501312133948740");
-//        strings.add("4200002549202501272116231306");
-//        strings.add("4200002531202501237270490951");
-//        strings.add("4200002623202501312162687858");
-//        strings.add("4200002632202501297252826139");
-//        strings.add("4200002537202501271943009637");
-//        strings.add("4200002563202501318752257654");
-//        strings.add("4200002557202501315817445505");
-//        strings.add("4200002620202501294965383395");
-//        strings.add("4200002557202501284658836341");
-//        strings.add("4200002619202501230063457068");
-//        strings.add("4200002521202501227676613255");
-//        strings.add("4200002551202501133165658845");
-//        strings.add("4200002526202501296822350634");
-//        strings.add("4200002570202501202816381300");
-//        strings.add("4200002556202501235264675157");
-//        strings.add("4200002525202501216856136263");
-//        strings.add("4200002555202501304092276026");
-//        strings.add("4200002624202501291879070715");
-//        strings.add("4200002559202501283148870970");
-//        strings.add("4200002525202501271246614749");
-//        strings.add("4200002549202501314155915214");
-//        strings.add("4200002557202501258991806964");
-//        strings.add("4200002632202501209094521410");
-//        strings.add("4200002547202501181708684536");
-//        strings.add("4200002443202501091257819180");
-//        strings.add("4200002562202501310492085591");
-//        strings.add("4200002565202501298436477674");
-//        strings.add("4200002552202501290565021248");
-//        strings.add("4200002533202501262878829554");
-//        strings.add("4200002550202501184224398715");
-//        strings.add("4200002568202501295915411371");
-//        strings.add("4200002526202501278024562323");
-//        strings.add("4200002561202501224452072355");
-//        strings.add("4200002632202501283648870501");
-//        strings.add("4200002524202501271087453778");
-//        strings.add("4200002548202501267551719692");
-//        strings.add("4200002534202501213462607523");
-//        strings.add("4200002562202501292164765357");
-//        strings.add("4200002521202501268766266146");
-//        strings.add("4200002559202501252292150856");
-//        strings.add("4200002558202501225004433935");
-//        strings.add("4200002521202501285853275448");
-//        strings.add("4200002525202501256442798088");
-//        strings.add("4200002521202501282327239101");
-//        strings.add("4200002569202501262203328730");
-//        strings.add("4200002569202501290142671781");
-//        strings.add("4200002560202501287904769300");
-//        strings.add("4200002632202501245076913415");
-//        strings.add("4200002531202501201052612660");
-//        strings.add("4200002553202501297931301345");
-//        strings.add("4200002627202501272906467425");
-//        strings.add("4200002559202501311070270493");
-//        strings.add("4200002619202501230285574939");
-//        strings.add("4200002526202501203665952582");
-//        strings.add("4200002630202501201787370456");
-//        strings.add("4200002533202501198274307681");
-//        strings.add("4200002630202501224384203021");
-//        strings.add("4200002622202501215173322068");
-//        strings.add("4200002567202501188101837400");
-//        strings.add("4200002558202501119912822392");
-//        strings.add("4200002529202501318574317935");
-//        strings.add("4200002620202501304822078593");
-//        strings.add("4200002555202501297612392475");
-//        strings.add("4200002539202501225104415982");
-//        strings.add("4200002550202501229960659086");
-//        strings.add("4200002630202501293869957406");
-//        strings.add("4200002625202501271009322255");
-//        strings.add("4200002544202501264028950625");
-//        strings.add("4200002546202501296880887295");
-//        strings.add("4200002532202501283318687900");
-//        strings.add("4200002564202501223491425202");
-//        strings.add("4200002544202501199604087880");
-//        strings.add("4200002626202501208751941177");
-//        strings.add("4200002526202501302887249397");
-//        strings.add("4200002567202501295053083044");
-//        strings.add("4200002534202501264844301461");
-//        strings.add("4200002527202501240764365143");
-//        strings.add("4200002539202501283126179080");
-//        strings.add("4200002548202501267073448206");
-//        strings.add("4200002630202501259239802978");
-//        strings.add("4200002632202501310170135100");
-//        strings.add("4200002530202501277200628502");
-//        strings.add("4200002545202501253287726083");
-//        strings.add("4200002536202501244003429619");
-//        strings.add("4200002628202501190936895450");
-//        strings.add("4200002522202501132316678076");
-//        strings.add("4200002558202501316010473410");
-//        strings.add("4200002558202501298449543937");
-//        strings.add("4200002623202501268621407207");
-//        strings.add("4200002558202501309965010228");
-//        strings.add("4200002523202501246067850336");
-//        strings.add("4200002563202501046409296402");
-//        strings.add("4200002533202501235121195999");
-//        strings.add("4200002624202501235403891879");
-//        strings.add("4200002536202501164371568358");
-//        strings.add("4200002562202501149136022556");
-//        strings.add("4200002547202501107836850720");
-//        strings.add("4200002567202501301861643573");
-//        strings.add("4200002563202501258730747905");
-//        strings.add("4200002632202501259383948910");
-//        strings.add("4200002452202501136109808010");
-//        strings.add("4200002628202501294543760408");
-//        strings.add("4200002528202501253188255095");
-//        strings.add("4200002624202501216073686817");
-//        strings.add("4200002453202501185646098034");
-//        strings.add("4200002444202501034785545847");
-//        strings.add("4200002631202501313558116768");
-//        strings.add("4200002553202501296231315921");
-//        strings.add("4200002555202501292403193459");
-//        strings.add("4200002626202501245852980709");
-//        strings.add("4200002626202501244047859152");
-//        strings.add("4200002529202501312782319272");
-//        strings.add("4200002532202501240631348061");
-//        strings.add("4200002526202501241497149394");
-//        strings.add("4200002523202501220109279611");
-//        strings.add("4200002625202501245158724075");
-//        strings.add("4200002627202501237464920548");
-//        strings.add("4200002526202501196625793261");
-//        strings.add("4200002524202501095418174882");
-//        strings.add("4200002532202501313739129485");
-//        strings.add("4200002522202501294811922046");
-//        strings.add("4200002570202501285944844786");
-//        strings.add("4200002524202501263578636949");
-//        strings.add("4200002532202501234558722167");
-//        strings.add("4200002555202501287062340452");
-//        strings.add("4200002553202501264957408010");
-//        strings.add("4200002532202501241223987480");
-//        strings.add("4200002528202501233859533399");
-//        strings.add("4200002556202501194797168099");
-//        strings.add("4200002556202501315759276577");
-//        strings.add("4200002526202501298837724928");
-//        strings.add("4200002544202501298144798026");
-//        strings.add("4200002570202501296981280507");
-//        strings.add("4200002523202501274885899791");
-//        strings.add("4200002552202501246424086865");
-//        strings.add("4200002524202501190327836568");
-//        strings.add("4200002562202501230717149512");
-//        strings.add("4200002547202501204501647110");
-//        strings.add("4200002539202501193849787177");
-//        strings.add("4200002627202501314785893217");
-//        strings.add("4200002630202501301965472519");
-//        strings.add("4200002549202501212480069253");
-//        strings.add("4200002530202501198338626515");
-//        strings.add("4200002569202501184404184958");
-//        strings.add("4200002534202501292230307431");
-//        strings.add("4200002559202501284303337145");
-//        strings.add("4200002546202501273275360788");
-//        strings.add("4200002626202501244533675298");
-//        strings.add("4200002521202501317268907107");
-//        strings.add("4200002555202501292076027524");
-//        strings.add("4200002565202501298125959058");
-//        strings.add("4200002560202501235650070066");
-//        strings.add("4200002554202501270894228181");
-//        strings.add("4200002555202501234660283707");
-//        strings.add("4200002561202501227873324471");
-//        strings.add("4200002527202501220196336341");
-//        strings.add("4200002631202501305626336924");
-//        strings.add("4200002547202501271073588102");
-//        strings.add("4200002567202501141160439306");
-//        strings.add("4200002554202501235567334733");
-//        strings.add("4200002525202501312557232169");
-//        strings.add("4200002524202501309239161670");
-//        strings.add("4200002561202501309515536553");
-//        strings.add("4200002528202501289800616763");
-//        strings.add("4200002630202501249522246469");
-//        strings.add("4200002623202501233354043549");
-//        strings.add("4200002527202501177328997984");
-//        strings.add("4200002451202501031033265548");
-//        strings.add("4200002550202501272956578196");
-//        strings.add("4200002539202501215717154039");
-//        strings.add("4200002554202501183199018585");
-//        strings.add("4200002445202501132518618509");
-//        strings.add("4200002630202501285578961503");
-//        strings.add("4200002629202501271719248454");
-//        strings.add("4200002544202501270678148799");
-//        strings.add("4200002560202501218929456905");
-//        strings.add("4200002543202501284606774095");
-//        strings.add("4200002536202501279606841776");
-//        strings.add("4200002564202501267233992531");
-//        strings.add("4200002561202501259329565858");
-//        strings.add("4200002539202501248416909238");
-//        strings.add("4200002544202501232744252324");
-//        strings.add("4200002532202501220258065916");
-//        strings.add("4200002556202501300101892963");
-//        strings.add("4200002532202501306205783993");
-//        strings.add("4200002546202501296543078647");
-//        strings.add("4200002553202501285527119292");
-//        strings.add("4200002552202501242315855844");
-//        strings.add("4200002624202501237481550164");
-//        strings.add("4200002452202501137801606860");
-//        strings.add("4200002414202501085542596753");
-//        strings.add("4200002533202501312908093790");
-//        strings.add("4200002620202501182515540804");
-//        strings.add("4200002547202501300580574035");
-//        strings.add("4200002554202501302757373566");
-//        strings.add("4200002565202501278628995528");
-//        strings.add("4200002523202501275274747416");
-//        strings.add("4200002538202501244186650968");
-//        strings.add("4200002619202501198707909894");
-//        strings.add("4200002554202501295583354738");
-//        strings.add("4200002569202501271985973706");
-//        strings.add("4200002560202501269980375474");
-//        strings.add("4200002624202501305990834819");
-//        strings.add("4200002559202501306882522975");
-//        strings.add("4200002548202501302347784580");
-//        strings.add("4200002553202501271734153375");
-//        strings.add("4200002549202501262851810495");
-//        strings.add("4200002528202501317901339998");
-//        strings.add("4200002551202501258745628634");
-//        strings.add("4200002620202501242274364434");
-//        strings.add("4200002528202501303880611930");
-//        strings.add("4200002529202501276970715494");
-//        strings.add("4200002565202501245918359361");
-//        strings.add("4200002620202501243443388462");
-//        strings.add("4200002626202501175537713781");
-//        strings.add("4200002560202501297835780197");
-//        strings.add("4200002530202501184260281079");
-//        strings.add("4200002622202501315991666872");
-//        strings.add("4200002564202501302653970918");
-//        strings.add("4200002566202501284537924513");
-//        strings.add("4200002529202501230403793385");
-//        strings.add("4200002567202501311829997598");
-//        strings.add("4200002559202501257535813162");
-//        strings.add("4200002619202501274939793521");
-//        strings.add("4200002546202501250226611479");
-//        strings.add("4200002551202501214144404042");
-//        strings.add("4200002622202501192994728434");
-//        strings.add("4200002624202501293746927047");
-//        strings.add("4200002525202501290520367066");
-//        strings.add("4200002549202501267777479727");
-//        strings.add("4200002554202501218709307355");
-//        strings.add("4200002534202501302413029694");
-//        strings.add("4200002552202501258470466308");
-//        strings.add("4200002452202501152365989922");
-//        strings.add("4200002556202501313768879246");
-//        strings.add("4200002562202501319861489245");
-//        strings.add("4200002626202501307890893002");
-//        strings.add("4200002628202501269061639350");
-//        strings.add("4200002557202501213865729302");
-//        strings.add("4200002625202501200020085183");
-//        strings.add("4200002624202501250266061631");
-//        strings.add("4200002539202501257825845158");
-//        strings.add("4200002533202501254098715446");
-//        strings.add("4200002550202501310769092814");
-//        strings.add("4200002528202501291519720350");
-//        strings.add("4200002563202501280417349958");
-//        strings.add("4200002531202501210336348961");
-//        strings.add("4200002530202501183511884348");
-//        strings.add("4200002530202501291196027122");
-//        strings.add("4200002553202501296330118256");
-//        strings.add("4200002623202501285079921537");
-//        strings.add("4200002619202501303033737450");
-//        strings.add("4200002622202501281822019791");
-//        strings.add("4200002632202501250484754876");
-//        strings.add("4200002533202501197149571274");
-//        strings.add("4200002549202501266711127821");
-//        strings.add("4200002550202501257895375581");
-//        strings.add("4200002532202501250912358093");
-//        strings.add("4200002546202501283999103994");
-//        strings.add("4200002632202501254285191075");
-//        strings.add("4200002553202501133448043314");
-//        strings.add("4200002526202501310979998848");
-//        strings.add("4200002529202501319242673274");
-//        strings.add("4200002570202501301964492515");
-//        strings.add("4200002548202501274166189560");
-//        strings.add("4200002532202501302271671209");
-//        strings.add("4200002538202501269010030190");
-//        strings.add("4200002560202501261106998346");
-//        strings.add("4200002625202501233721057671");
-//        strings.add("4200002529202501313060227736");
-//        strings.add("4200002622202501296933357160");
-//        strings.add("4200002529202501278981061729");
-//        strings.add("4200002526202501251434117621");
-//        strings.add("4200002532202501241673912482");
-//        strings.add("4200002530202501298664311423");
-//        strings.add("4200002569202501286376032155");
-//        strings.add("4200002538202501275850779998");
-//        strings.add("4200002548202501252227382586");
-//        strings.add("4200002566202501239301474506");
-//        strings.add("4200002442202501071143767170");
-//        strings.add("4200002558202501287972679008");
-//        strings.add("4200002622202501268067365581");
-//        strings.add("4200002535202501030401924341");
-//        strings.add("4200002536202501298370824447");
-//        strings.add("4200002552202501278738217154");
-//        strings.add("4200002540202501224945036118");
-//        strings.add("4200002535202501260489864879");
-//        strings.add("4200002535202501193859833631");
-//        strings.add("4200002569202501199726997255");
-//        strings.add("4200002547202501162756113934");
-//        strings.add("4200002521202501316440233951");
-//        strings.add("4200002557202501308754903104");
-//        strings.add("4200002547202501254511858780");
-//        strings.add("4200002622202501243109347965");
-//        strings.add("4200002526202501208246995743");
-//        strings.add("4200002449202501140938724255");
-//        strings.add("4200002567202501292946096279");
-//        strings.add("4200002524202501287161492040");
-//        strings.add("4200002619202501261365381494");
-//        strings.add("4200002624202501250074956372");
-//        strings.add("4200002553202501240983170927");
-//        strings.add("4200002543202501304992549772");
-//        strings.add("4200002527202501272263554186");
-//        strings.add("4200002620202501171626822999");
-//        strings.add("4200002566202501313543256856");
-//        strings.add("4200002557202501292480653205");
-//        strings.add("4200002524202501294694125249");
-//        strings.add("4200002630202501262038941816");
-//        strings.add("4200002552202501105927555035");
-//        strings.add("4200002625202501275189258306");
-//        strings.add("4200002528202501276763185650");
-//        strings.add("4200002625202501205820648686");
-//        strings.add("4200002523202501152299208474");
-//        strings.add("4200002549202501315020465061");
-//        strings.add("4200002567202501312564121833");
-//        strings.add("4200002632202501263292753481");
-//        strings.add("4200002544202501248514018952");
-//        strings.add("4200002557202501230996894915");
-//        strings.add("4200002536202501297642953564");
-//        strings.add("4200002558202501285911280676");
-//        strings.add("4200002532202501205466133011");
-//        strings.add("4200002446202501150302087663");
-//        strings.add("4200002627202501274107283916");
-//        strings.add("4200002548202501252357994938");
-//        strings.add("4200002441202501076219808514");
-//        strings.add("4200002540202501236596126987");
-//        strings.add("4200002527202501219314905404");
-//        strings.add("4200002529202501090751689800");
-//        strings.add("4200002524202501318223941891");
-//        strings.add("4200002552202501315128091133");
-//        strings.add("4200002567202501309859368528");
-//        strings.add("4200002526202501300335536966");
-//        strings.add("4200002565202501292435563375");
-//        strings.add("4200002565202501253922492466");
-//        strings.add("4200002532202501166625600303");
-//        strings.add("4200002565202501138707172420");
-//        strings.add("4200002413202501110813104523");
-//        strings.add("4200002569202501311594174545");
-//        strings.add("4200002558202501261813359202");
-//        strings.add("4200002628202501241434803532");
-//        strings.add("4200002525202501207674503484");
-//        strings.add("4200002533202501116476761797");
-//        strings.add("4200002453202501041519529927");
-//        strings.add("4200002546202501310300878971");
-//        strings.add("4200002555202501221037929257");
-//        strings.add("4200002547202501307046902437");
-//        strings.add("4200002533202501281653153454");
-//        strings.add("4200002626202501181207690398");
-//        strings.add("4200002564202501149867388796");
-//        strings.add("4200002550202501304515885008");
-//        strings.add("4200002544202501282682268704");
-//        strings.add("4200002536202501249926573473");
-//        strings.add("4200002559202501317239536492");
-//        strings.add("4200002540202501287399961869");
-//        strings.add("4200002522202501272399873362");
-//        strings.add("4200002621202501241135224845");
-//        strings.add("4200002562202501319262305203");
-//        strings.add("4200002622202501280501758064");
-//        strings.add("4200002561202501168204943969");
-//        strings.add("4200002530202501313959858315");
-//        strings.add("4200002544202501278140504760");
-//        strings.add("4200002563202501272456022568");
-//        strings.add("4200002622202501251168922270");
-//        strings.add("4200002528202501209177949732");
-//        strings.add("4200002537202501301334090046");
-//        strings.add("4200002622202501201573709203");
-//        strings.add("4200002530202501158553268195");
-//        strings.add("4200002570202501071782251696");
-//        strings.add("4200002569202501293547108203");
-//        strings.add("4200002537202501283178246707");
-//        strings.add("4200002628202501265792090532");
-//        strings.add("4200002540202501090661764376");
-//        strings.add("4200002558202501318306665899");
-//        strings.add("4200002623202501271871699001");
-//        strings.add("4200002530202501208164945836");
-//        strings.add("4200002565202501199475715477");
-//        strings.add("4200002628202501174852651263");
-//        strings.add("4200002557202501272609114853");
-//        strings.add("4200002558202501249351876041");
-//        strings.add("4200002564202501226041517292");
-//        strings.add("4200002550202501252393458887");
-//        strings.add("4200002524202501040170698426");
-//        strings.add("4200002619202501293620070352");
-//        strings.add("4200002538202501274191814466");
-//        strings.add("4200002527202501260953983387");
-//        strings.add("4200002549202501197635492919");
-//        strings.add("4200002562202501287741887739");
-//        strings.add("4200002558202501257708819155");
-//        strings.add("4200002621202501241059433983");
-//        strings.add("4200002521202501234571242852");
-//        strings.add("4200002531202501217838295186");
-//        strings.add("4200002558202501198808312002");
-//        strings.add("4200002545202501168066540066");
-//        strings.add("4200002525202501250856802545");
-//        strings.add("4200002545202501208211356615");
-//        strings.add("4200002445202501089765294419");
-//        strings.add("4200002625202501207990579428");
-//        strings.add("4200002538202501311690343656");
-//        strings.add("4200002565202501314804266918");
-//        strings.add("4200002528202501260834718408");
-//        strings.add("4200002630202501248171461222");
-//        strings.add("4200002567202501232287012534");
-//        strings.add("4200002540202501314722470852");
-//        strings.add("4200002538202501280415276448");
-//        strings.add("4200002521202501261842407658");
-//        strings.add("4200002569202501260553670288");
-//        strings.add("4200002531202501258498469541");
-//        strings.add("4200002560202501255816514572");
-//        strings.add("4200002559202501246288879091");
-//        strings.add("4200002622202501234512207855");
-//        strings.add("4200002632202501188466166171");
-//        strings.add("4200002561202501301348604415");
-//        strings.add("4200002525202501307093220819");
-//        strings.add("4200002630202501296173750344");
-//        strings.add("4200002566202501273005547552");
-//        strings.add("4200002558202501255741690671");
-//        strings.add("4200002620202501311198809932");
-//        strings.add("4200002545202501318846119543");
-//        strings.add("4200002537202501319553042310");
-//        strings.add("4200002621202501305579103013");
-//        strings.add("4200002536202501286136819121");
-//        strings.add("4200002621202501286888702076");
-//        strings.add("4200002558202501286431459480");
-//        strings.add("4200002632202501278206449196");
-//        strings.add("4200002623202501261394797818");
-//        strings.add("4200002525202501269967264340");
-//        strings.add("4200002559202501218956446602");
-//        strings.add("4200002558202501200612678450");
-//        strings.add("4200002526202501109079248429");
-//        strings.add("4200002558202501311374933317");
-//        strings.add("4200002521202501276773793574");
-//        strings.add("4200002554202501268735004630");
-//        strings.add("4200002549202501244573973647");
-//        strings.add("4200002631202501211558470544");
-//        strings.add("4200002441202501033663668500");
-//        strings.add("4200002544202501267413121650");
-//        strings.add("4200002524202501300593016676");
-//        strings.add("4200002537202501278554450819");
-//        strings.add("4200002565202501231712171726");
-//        strings.add("4200002558202501204391222246");
-//        strings.add("4200002450202501075547495909");
-//        strings.add("4200002537202501309575881505");
-//        strings.add("4200002537202501277476612131");
-//        strings.add("4200002621202501257897412774");
-//        strings.add("4200002551202501242811990001");
-//        strings.add("4200002564202501312747802616");
-//        strings.add("4200002554202501257587573250");
-//        strings.add("4200002628202501251837744230");
-//        strings.add("4200002570202501312982418473");
-//        strings.add("4200002538202501279577312156");
-//        strings.add("4200002526202501317013258611");
-//        strings.add("4200002521202501318266919328");
-//        strings.add("4200002559202501306221056510");
-//        strings.add("4200002555202501263450070619");
-//        strings.add("4200002526202501314606491993");
-//        strings.add("4200002629202501307904717048");
-//        strings.add("4200002628202501272071944196");
-//        strings.add("4200002622202501222793781700");
-//        strings.add("4200002560202501312053944416");
-//        strings.add("4200002545202501244128408715");
-//        strings.add("4200002559202501204626323718");
-//        strings.add("4200002530202501139333829562");
-//        strings.add("4200002568202501311724571149");
-//        strings.add("4200002548202501285349587959");
-//        strings.add("4200002626202501253878012748");
-//        strings.add("4200002523202501233468327818");
-//        strings.add("4200002528202501081203429243");
-//        strings.add("4200002619202501317487505263");
-//        strings.add("4200002560202501272242179493");
-//        strings.add("4200002558202501272576065478");
-//        strings.add("4200002521202501246066317421");
-//        strings.add("4200002627202501246398045989");
-//        strings.add("4200002570202501310105881918");
-//        strings.add("4200002525202501270844758763");
-//        strings.add("4200002630202501259646589558");
-//        strings.add("4200002521202501279393133579");
-//        strings.add("4200002623202501253692332140");
-//        strings.add("4200002556202501243694118307");
-//        strings.add("4200002569202501221366313509");
-//        strings.add("4200002536202501078076999653");
-//        strings.add("4200002521202501281445137933");
-//        strings.add("4200002552202501287334384507");
-//        strings.add("4200002535202501249813629500");
-//        strings.add("4200002550202501246536181844");
-//        strings.add("4200002551202501244337871971");
-//        strings.add("4200002529202501317948357927");
-//        strings.add("4200002546202501280196819990");
-//        strings.add("4200002630202501259204976779");
-//        strings.add("4200002530202501251328162864");
-//        strings.add("4200002564202501177195792771");
-//        strings.add("4200002527202501314900411975");
-//        strings.add("4200002540202501272290637226");
-//        strings.add("4200002620202501209639693070");
-//        strings.add("4200002549202501155007747384");
-//        strings.add("4200002632202501291722194860");
-//        strings.add("4200002530202501035953372183");
-//        strings.add("4200002545202501315198885044");
-//        strings.add("4200002624202501308019425618");
-//        strings.add("4200002523202501284748032689");
-//        strings.add("4200002550202501233938167387");
-//        strings.add("4200002561202501223439913961");
-//        strings.add("4200002623202501216140057926");
-//        strings.add("4200002619202501184510899644");
-//        strings.add("4200002446202501110153320719");
-//        strings.add("4200002558202501308124637493");
-//        strings.add("4200002623202501276845878781");
-//        strings.add("4200002569202501246158113511");
-//        strings.add("4200002539202501317063131793");
-//        strings.add("4200002561202501144681152681");
-//        strings.add("4200002567202501286207990028");
-//        strings.add("4200002631202501222511781387");
-//        strings.add("4200002622202501192392068062");
-//        strings.add("4200002564202501157199833131");
-//        strings.add("4200002523202501315538315147");
-//        strings.add("4200002564202501306151717634");
-//        strings.add("4200002563202501276887452191");
-//        strings.add("4200002536202501275307327242");
-//        strings.add("4200002565202501266065717017");
-//        strings.add("4200002564202501231914057752");
-//        strings.add("4200002623202501319235158174");
-//        strings.add("4200002570202501308342776273");
-//        strings.add("4200002536202501270901336405");
-//        strings.add("4200002537202501258450400060");
-//        strings.add("4200002566202501316708506599");
-//        strings.add("4200002540202501312046498618");
-//        strings.add("4200002631202501305618909333");
-//        strings.add("4200002552202501302276777143");
-//        strings.add("4200002619202501293916228506");
-//        strings.add("4200002547202501106853928986");
-//        strings.add("4200002454202501107071984922");
-//        strings.add("4200002538202501316046460377");
-//        strings.add("4200002546202501318125719323");
-//        strings.add("4200002626202501312431539008");
-//        strings.add("4200002529202501291441674889");
-//        strings.add("4200002544202501274477747799");
-//        strings.add("4200002559202501267264946876");
-//        strings.add("4200002548202501217146943415");
-//        strings.add("4200002535202501135660295573");
-//        strings.add("4200002526202501313762911989");
-//        strings.add("4200002539202501309138960523");
-//        strings.add("4200002527202501313787411917");
-//        strings.add("4200002568202501267857545995");
-//        strings.add("4200002530202501242089561599");
-//        strings.add("4200002619202501216894793297");
-//        strings.add("4200002533202501115442644295");
-//        strings.add("4200002553202501219217161548");
-//        strings.add("4200002555202501166207270787");
-//        strings.add("4200002534202501289120705691");
-//        strings.add("4200002629202501264754557268");
-//        strings.add("4200002525202501255212635301");
-//        strings.add("4200002548202501216575616305");
-//        strings.add("4200002538202501129565532902");
-//        strings.add("4200002564202501300524081442");
-//        strings.add("4200002521202501273086129467");
-//        strings.add("4200002557202501267928269241");
-//        strings.add("4200002533202501252129160646");
-//        strings.add("4200002622202501255700601016");
-//        strings.add("4200002564202501038751414622");
-//        strings.add("4200002554202501249127390705");
-//        strings.add("4200002443202501031631462321");
-//        strings.add("4200002555202501275991096366");
-//        strings.add("4200002536202501261703717667");
-//        strings.add("4200002555202501253951317919");
-//        strings.add("4200002569202501223027143148");
-//        strings.add("4200002534202501175263696956");
-//        strings.add("4200002553202501165078809242");
-//        strings.add("4200002549202501303959683789");
-//        strings.add("4200002534202501272135172311");
-//        strings.add("4200002563202501278980943982");
-//        strings.add("4200002629202501257993112147");
-//        strings.add("4200002570202501203494553750");
-//        strings.add("4200002543202501260280349275");
-//        strings.add("4200002543202501310323889577");
-//        strings.add("4200002538202501316825526916");
-//        strings.add("4200002532202501274679820049");
-//        strings.add("4200002569202501264274041560");
-//        strings.add("4200002554202501261191840442");
-//        strings.add("4200002622202501279535433938");
-//        strings.add("4200002557202501275675976396");
-//        strings.add("4200002619202501240687869300");
-//        strings.add("4200002530202501150842580217");
-//        strings.add("4200002545202501307229535995");
-//        strings.add("4200002568202501297888806388");
-//        strings.add("4200002528202501220163721496");
-//        strings.add("4200002626202501273501800332");
-//        strings.add("4200002556202501248647159767");
-//        strings.add("4200002623202501171172338166");
-//        strings.add("4200002543202501316136944731");
-//        strings.add("4200002534202501311728705375");
-//        strings.add("4200002559202501306429906778");
-//        strings.add("4200002624202501256930969601");
-//        strings.add("4200002521202501197813898978");
-//        strings.add("4200002532202501170243887115");
-//        strings.add("4200002623202501310772133613");
-//        strings.add("4200002558202501307268035706");
-//        strings.add("4200002523202501279906229461");
-//        strings.add("4200002624202501272079967701");
-//        strings.add("4200002531202501269113455289");
-//        strings.add("4200002566202501183506646360");
-//        strings.add("4200002551202501041119781374");
-//        strings.add("4200002529202501032408307703");
-//        strings.add("4200002544202501317953260133");
-//        strings.add("4200002622202501297061632293");
-//        strings.add("4200002532202501256918808769");
-//        strings.add("4200002559202501256527882002");
-//        strings.add("4200002624202501208746332124");
-//        strings.add("4200002532202501199754786194");
-//        strings.add("4200002534202501310528323218");
-//        strings.add("4200002627202501309309078820");
-//        strings.add("4200002521202501298457847700");
-//        strings.add("4200002620202501279845865578");
-//        strings.add("4200002562202501209703511679");
-//        strings.add("4200002452202501063949029454");
-//        strings.add("4200002629202501318582190077");
-//        strings.add("4200002529202501310201947008");
-//        strings.add("4200002521202501305441879762");
-//        strings.add("4200002570202501291749443687");
-//        strings.add("4200002534202501170058745809");
-//        strings.add("4200002524202501315959642217");
-//        strings.add("4200002558202501315802332686");
-//        strings.add("4200002543202501300647795048");
-//        strings.add("4200002538202501297805544480");
-//        strings.add("4200002562202501175957314825");
-//        strings.add("4200002536202501283302201099");
-//        strings.add("4200002624202501274876441014");
-//        strings.add("4200002623202501219905624547");
-//        strings.add("4200002546202501201515481695");
-//        strings.add("4200002528202501191540238695");
-//        strings.add("4200002554202501311236689378");
-//        strings.add("4200002556202501294852582383");
-//        strings.add("4200002524202501279861042168");
-//        strings.add("4200002627202501244998048265");
-//        strings.add("4200002539202501141486992908");
-//        strings.add("4200002562202501309251809741");
-//        strings.add("4200002565202501253155720567");
-//        strings.add("4200002549202501243567888939");
-//        strings.add("4200002557202501238008629428");
-//        strings.add("4200002552202501308188824874");
-//        strings.add("4200002627202501294863533019");
-//        strings.add("4200002521202501241906695118");
-//        strings.add("4200002537202501290140236253");
-//        strings.add("4200002553202501269887262705");
-//        strings.add("4200002556202501238692456981");
-//        strings.add("4200002563202501123874529700");
-//        strings.add("4200002524202501067337508770");
-//        strings.add("4200002550202501303485183791");
-//        strings.add("4200002570202501281347684902");
-//        strings.add("4200002551202501262509061932");
-//        strings.add("4200002550202501253463687574");
-//        strings.add("4200002560202501226991971861");
-//        strings.add("4200002556202501187292911448");
-//        strings.add("4200002413202501120996269350");
-//        strings.add("4200002629202501306292528888");
-//        strings.add("4200002631202501268445176265");
-//        strings.add("4200002563202501247894599443");
-//        strings.add("4200002522202501227818320601");
-//        strings.add("4200002526202501313202994364");
-//        strings.add("4200002534202501315654956124");
-//        strings.add("4200002567202501306257191565");
-//        strings.add("4200002532202501277426663026");
-//        strings.add("4200002632202501279898228386");
-//        strings.add("4200002525202501169917622354");
-//        strings.add("4200002558202501309473521370");
-//        strings.add("4200002547202501285753326642");
-//        strings.add("4200002531202501284360762159");
-//        strings.add("4200002562202501242096123706");
-//        strings.add("4200002558202501225473516992");
-//        strings.add("4200002621202501203706930680");
-//        strings.add("4200002414202501153140127248");
-//        strings.add("4200002553202501291786664133");
-//        strings.add("4200002530202501278465839261");
-//        strings.add("4200002570202501267423733061");
-//        strings.add("4200002527202501240354713991");
-//        strings.add("4200002450202501050982430655");
-//        strings.add("4200002569202501295461192144");
-//        strings.add("4200002621202501241911873702");
-//        strings.add("4200002554202501225515819349");
-//        strings.add("4200002529202501312863512209");
-//        strings.add("4200002619202501275521306210");
-//        strings.add("4200002536202501241476590590");
-//        strings.add("4200002533202501245331792239");
-//        strings.add("4200002566202501222645344828");
-//        strings.add("4200002568202501222107414756");
-//        strings.add("4200002525202501202679578268");
-//        strings.add("4200002620202501195129558103");
-//        strings.add("4200002536202501082889704655");
-//        strings.add("4200002548202501273274508482");
-//        strings.add("4200002625202501249754394374");
-//        strings.add("4200002552202501244499230811");
-//        strings.add("4200002559202501118817811686");
-//        strings.add("4200002533202501300302164714");
-//        strings.add("4200002524202501303631225894");
-//        strings.add("4200002567202501280811260430");
-//        strings.add("4200002558202501279965904009");
-//        strings.add("4200002525202501267062811354");
-//        strings.add("4200002624202501255804019696");
-//        strings.add("4200002553202501221368562926");
-//        strings.add("4200002559202501133038186895");
-//        strings.add("4200002630202501291174422502");
-//        strings.add("4200002554202501279390529439");
-//        strings.add("4200002546202501303865674878");
-//        strings.add("4200002554202501286250759873");
-//        strings.add("4200002569202501262310585394");
-//        strings.add("4200002563202501192628436934");
-//        strings.add("4200002554202501171872250154");
-//        strings.add("4200002631202501315281359547");
-//        strings.add("4200002533202501307580113997");
-//        strings.add("4200002620202501297917458408");
-//        strings.add("4200002526202501280423626596");
-//        strings.add("4200002560202501276524383745");
-//        strings.add("4200002628202501270191478800");
-//        strings.add("4200002568202501220564177687");
-//        strings.add("4200002566202501167863094141");
-//        strings.add("4200002525202501130714882052");
-//        strings.add("4200002530202501241710162582");
-//        strings.add("4200002566202501226271450817");
-//        strings.add("4200002568202501316162963170");
-//        strings.add("4200002629202501245546017335");
-//        strings.add("4200002628202501190970310829");
-//        strings.add("4200002553202501296057058173");
-//        strings.add("4200002530202501270257067920");
-//        strings.add("4200002625202501259218518949");
-//        strings.add("4200002550202501253600522263");
-//        strings.add("4200002619202501285741077368");
-//        strings.add("4200002562202501247695164480");
-//        strings.add("4200002570202501290993795348");
-//        strings.add("4200002561202501286995627488");
-//        strings.add("4200002524202501261545198417");
-//        strings.add("4200002568202501211141479439");
-//        strings.add("4200002535202501182374297502");
-//        strings.add("4200002554202501308246606544");
-//        strings.add("4200002545202501241908676435");
-//        strings.add("4200002556202501195382201974");
-//        strings.add("4200002535202501290367380345");
-//        strings.add("4200002569202501240505077850");
-//        strings.add("4200002453202501149980021863");
-//        strings.add("4200002624202501316575210088");
-//        strings.add("4200002522202501256291505637");
-//        strings.add("4200002621202501222220904636");
-//        strings.add("4200002628202501207252438297");
-//        strings.add("4200002563202501181791301960");
-//        strings.add("4200002551202501318288398043");
-//        strings.add("4200002552202501313380216718");
-//        strings.add("4200002543202501312191382071");
-//        strings.add("4200002555202501271192582899");
-//        strings.add("4200002569202501256632175832");
-//        strings.add("4200002626202501301355519193");
-//        strings.add("4200002563202501283931996919");
-//        strings.add("4200002629202501252519675506");
-//        strings.add("4200002529202501259028638682");
-//        strings.add("4200002558202501220001216567");
-//        strings.add("4200002621202501207541284460");
-//        strings.add("4200002453202501191779191544");
-//        strings.add("4200002631202501310174857784");
-//        strings.add("4200002569202501285653283286");
-//        strings.add("4200002529202501260151874780");
-//        strings.add("4200002553202501301703674922");
-//        strings.add("4200002629202501185483077531");
-//        strings.add("4200002547202501154788448769");
-//        strings.add("4200002555202501221155302185");
-//        strings.add("4200002540202501186233728594");
-//        strings.add("4200002449202501161250371934");
-//        strings.add("4200002620202501310665829311");
-//        strings.add("4200002552202501130610538817");
-//        strings.add("4200002562202501085904525676");
-//        strings.add("4200002533202501318622393003");
-//        strings.add("4200002559202501298581330861");
-//        strings.add("4200002567202501281070309491");
-//        strings.add("4200002565202501283797514945");
-//        strings.add("4200002522202501279475043125");
-//        strings.add("4200002537202501277332041976");
-//        strings.add("4200002533202501203581585184");
-//        strings.add("4200002449202501033762093279");
-//        strings.add("4200002552202501305195511170");
-//        strings.add("4200002561202501092175585602");
-//        strings.add("4200002531202501304212849217");
-//        strings.add("4200002547202501284713432989");
-//        strings.add("4200002552202501266619212393");
-//        strings.add("4200002540202501253912473714");
-//        strings.add("4200002543202501197588980264");
-//        strings.add("4200002528202501301934756588");
-//        strings.add("4200002632202501285938100608");
-//        strings.add("4200002565202501185839939852");
-//        strings.add("4200002522202501271594790338");
-//        strings.add("4200002524202501275987686960");
-//        strings.add("4200002526202501153073987220");
-//        strings.add("4200002544202501313951167072");
-//        strings.add("4200002627202501252987014858");
-//        strings.add("4200002544202501319421979258");
-//        strings.add("4200002532202501299550947030");
-//        strings.add("4200002570202501286979104448");
-//        strings.add("4200002628202501281563366873");
-//        strings.add("4200002544202501247868029017");
-//        strings.add("4200002565202501241644636643");
-//        strings.add("4200002628202501293271237667");
-//        strings.add("4200002554202501286405827573");
-//        strings.add("4200002620202501317751541414");
-//        strings.add("4200002620202501319791606140");
-//        strings.add("4200002627202501314031884962");
-//        strings.add("4200002561202501274038038609");
-//        strings.add("4200002624202501249098759282");
-//        strings.add("4200002552202501031353785554");
-//        strings.add("4200002563202501317096746641");
-//        strings.add("4200002522202501262847591570");
-//        strings.add("4200002630202501160536303361");
-//        strings.add("4200002556202501303816477110");
-//        strings.add("4200002562202501265958063193");
-//        strings.add("4200002545202501247007969774");
-//        strings.add("4200002626202501223330984713");
-//        strings.add("4200002528202501038738227357");
-//        strings.add("4200002626202501318010386434");
-//        strings.add("4200002559202501268473732602");
-//        strings.add("4200002563202501262320046100");
-//        strings.add("4200002619202501191456423404");
-//        strings.add("4200002560202501256865395559");
-//        strings.add("4200002548202501196100581710");
-//        strings.add("4200002444202501062071247053");
-//        strings.add("4200002540202501252450097274");
-//        strings.add("4200002562202501259739547829");
-//        strings.add("4200002524202501313611350876");
-//        strings.add("4200002539202501271400521182");
-//        strings.add("4200002554202501213883089028");
-//        strings.add("4200002619202501293513296177");
-//        strings.add("4200002532202501274814982423");
-//        strings.add("4200002558202501305178922529");
-//        strings.add("4200002554202501294822734438");
-//        strings.add("4200002570202501288790020163");
-//        strings.add("4200002538202501273659718170");
-//        strings.add("4200002545202501280996511500");
-//        strings.add("4200002531202501083041557744");
-//        strings.add("4200002555202501291143793216");
-//        strings.add("4200002550202501298236152885");
-//        strings.add("4200002536202501236877162051");
-//        strings.add("4200002557202501193600499094");
-//        strings.add("4200002523202501283108702260");
-//        strings.add("4200002555202501226217106745");
-//        strings.add("4200002565202501213572118359");
-//        strings.add("4200002570202501181604110556");
-//        strings.add("4200002443202501159430817189");
-//        strings.add("4200002530202501301011016976");
-//        strings.add("4200002622202501223537879558");
-//        strings.add("4200002624202501288601144641");
-//        strings.add("4200002554202501282258754547");
-//        strings.add("4200002551202501261764496979");
-//        strings.add("4200002550202501265312274180");
-//        strings.add("4200002549202501128323038420");
-//        strings.add("4200002548202501317596308128");
-//        strings.add("4200002555202501258741280166");
-//        strings.add("4200002449202501104765955216");
-//        strings.add("4200002553202501305922939337");
-//        strings.add("4200002540202501283315683131");
-//        strings.add("4200002521202501268183031327");
-//        strings.add("4200002544202501248396677002");
-//        strings.add("4200002548202501099868610030");
-//        strings.add("4200002554202501251770404802");
-//        strings.add("4200002534202501258183695976");
-//        strings.add("4200002524202501231944480203");
-//        strings.add("4200002566202501217229525434");
-//        strings.add("4200002539202501129003129388");
-//        strings.add("4200002521202501309234164427");
-//        strings.add("4200002627202501293073768183");
-//        strings.add("4200002525202501276010424058");
-//        strings.add("4200002628202501234583198611");
-//        strings.add("4200002529202501199580077731");
-//        strings.add("4200002446202501034973514105");
-//        strings.add("4200002566202501285772192089");
-//        strings.add("4200002560202501289885057104");
-//        strings.add("4200002627202501300480212113");
-//        strings.add("4200002564202501177932853857");
-//        strings.add("4200002523202501311585836549");
-//        strings.add("4200002531202501277099335401");
-//        strings.add("4200002627202501214399781352");
-//        strings.add("4200002452202501039706117933");
-//        strings.add("4200002630202501308844127236");
-//        strings.add("4200002556202501300305392204");
-//        strings.add("4200002619202501279142406734");
-//        strings.add("4200002546202501262665339063");
-//        strings.add("4200002559202501261349387239");
-//        strings.add("4200002631202501280385904895");
-//        strings.add("4200002546202501278782359048");
-//        strings.add("4200002632202501264050896769");
-//        strings.add("4200002561202501193576551183");
-//        strings.add("4200002537202501317207441007");
-//        strings.add("4200002538202501315669624428");
-//        strings.add("4200002623202501314158663780");
-//        strings.add("4200002632202501300199644370");
-//        strings.add("4200002559202501296172169274");
-//        strings.add("4200002547202501288988346102");
-//        strings.add("4200002626202501232881924298");
-//        strings.add("4200002567202501030303977220");
-//        strings.add("4200002532202501301706655123");
-//        strings.add("4200002543202501250598756737");
-//        strings.add("4200002531202501175309823737");
-//        strings.add("4200002532202501080608857795");
-//        strings.add("4200002540202501239667586581");
-//        strings.add("4200002532202501199600423343");
-//        strings.add("4200002557202501185245411572");
-//        strings.add("4200002414202501061025873939");
-//        strings.add("4200002619202501310361368027");
-//        strings.add("4200002545202501289912074596");
-//        strings.add("4200002522202501262953938295");
-//        strings.add("4200002559202501267258169460");
-//        strings.add("4200002563202501223708550899");
-//        strings.add("4200002620202501197908564901");
-//        strings.add("4200002535202501318674360228");
-//        strings.add("4200002549202501294769908155");
-//        strings.add("4200002529202501246746078006");
-//        strings.add("4200002563202501249606358222");
-//        strings.add("4200002524202501229541154888");
-//        strings.add("4200002549202501175312932496");
-//        strings.add("4200002620202501265660502160");
-//        strings.add("4200002567202501173082797590");
-//        strings.add("4200002543202501171914953465");
-//        strings.add("4200002568202501315589370566");
-//        strings.add("4200002551202501298488495279");
-//        strings.add("4200002559202501283811506937");
-//        strings.add("4200002552202501261159901227");
-//        strings.add("4200002523202501233106159358");
-//        strings.add("4200002544202501233677822360");
-//        strings.add("4200002628202501191122448810");
-//        strings.add("4200002523202501299306266193");
-//        strings.add("4200002567202501270745516183");
-//        strings.add("4200002560202501249011558639");
-//        strings.add("4200002526202501146064517187");
-//        strings.add("4200002632202501303204070429");
-//        strings.add("4200002540202501219722262781");
-//        strings.add("4200002534202501192361817564");
-//        strings.add("4200002631202501258538284388");
-//        strings.add("4200002559202501202262851945");
-//        strings.add("4200002560202501189813358969");
-//        strings.add("4200002621202501319875026381");
-//        strings.add("4200002523202501302134710240");
-//        strings.add("4200002545202501297285028734");
-//        strings.add("4200002545202501211888785467");
-//        strings.add("4200002548202501277250720425");
-//        strings.add("4200002536202501241755198682");
-//        strings.add("4200002454202501110844446919");
-//        strings.add("4200002549202501297878261460");
-//        strings.add("4200002622202501269786768917");
-//        strings.add("4200002531202501216534501539");
-//        strings.add("4200002529202501184501496851");
-//        strings.add("4200002546202501183695897736");
-//        strings.add("4200002552202501305243549220");
-//        strings.add("4200002526202501266953191953");
-//        strings.add("4200002543202501260155450247");
-//        strings.add("4200002550202501317571694780");
-//        strings.add("4200002534202501301671997692");
-//        strings.add("4200002567202501304841995727");
-//        strings.add("4200002554202501215507148169");
-//        strings.add("4200002442202501106197412600");
-//        strings.add("4200002563202501108836960397");
-//        strings.add("4200002544202501202670518548");
-//        strings.add("4200002524202501180509345902");
-//        strings.add("4200002523202501185961669569");
-//        strings.add("4200002558202501300161762973");
-//        strings.add("4200002630202501307571121208");
-//        strings.add("4200002626202501295455583015");
-//        strings.add("4200002543202501252007913318");
-//        strings.add("4200002537202501259476076624");
-//        strings.add("4200002538202501315096011150");
-//        strings.add("4200002525202501301534491045");
-//        strings.add("4200002564202501253804388240");
-//        strings.add("4200002566202501209457389180");
-//        strings.add("4200002535202501310738282528");
-//        strings.add("4200002565202501303527443772");
-//        strings.add("4200002547202501260183786604");
-//        strings.add("4200002545202501253740628784");
-//        strings.add("4200002549202501257693704740");
-//        strings.add("4200002539202501236043050109");
-//        strings.add("4200002528202501221750650249");
-//        strings.add("4200002544202501218164438916");
-//        strings.add("4200002569202501316157380567");
-//        strings.add("4200002564202501276536320176");
-//        strings.add("4200002560202501266677786340");
-//        strings.add("4200002623202501243185642215");
-//        strings.add("4200002565202501226932981951");
-//        strings.add("4200002559202501265252833250");
-//        strings.add("4200002555202501253015288579");
-//        strings.add("4200002527202501256894903138");
-//        strings.add("4200002543202501255509945180");
-//        strings.add("4200002531202501291898802071");
-//        strings.add("4200002563202501250436450793");
-//        strings.add("4200002523202501241034064729");
-//        strings.add("4200002623202501202458104794");
-//        strings.add("4200002535202501146417594836");
-//        strings.add("4200002566202501315005311126");
-//        strings.add("4200002523202501247480363918");
-//        strings.add("4200002620202501230738577220");
-//        strings.add("4200002554202501298772387868");
-//        strings.add("4200002554202501270467981052");
-//        strings.add("4200002552202501250528882793");
-//        strings.add("4200002554202501210955602535");
-//        strings.add("4200002622202501292411629358");
-//        strings.add("4200002552202501279196223709");
-//        strings.add("4200002546202501180183686116");
-//        strings.add("4200002621202501251387451678");
-//        strings.add("4200002558202501089087829798");
-//        strings.add("4200002532202501312389129304");
-//        strings.add("4200002561202501317031546136");
-//        strings.add("4200002632202501275389966410");
-//        strings.add("4200002558202501284741127507");
-//        strings.add("4200002540202501248605343840");
-//        strings.add("4200002539202501198933968416");
-//        strings.add("4200002621202501316722931425");
-//        strings.add("4200002626202501318550279293");
-//        strings.add("4200002523202501308744382657");
-//        strings.add("4200002558202501281243249507");
-//        strings.add("4200002565202501268203262852");
-//        strings.add("4200002623202501228333531382");
-//        strings.add("4200002526202501175756873757");
-//        strings.add("4200002534202501293172476759");
-//        strings.add("4200002522202501298247969745");
-//        strings.add("4200002557202501238422004009");
-//        strings.add("4200002551202501257972853707");
-//        strings.add("4200002550202501249757063484");
-//        strings.add("4200002548202501172980495713");
-//        strings.add("4200002441202501075118869337");
-//        strings.add("4200002548202501256962424202");
-//        strings.add("4200002564202501248948016654");
-//        strings.add("4200002532202501072048439460");
-//        strings.add("4200002539202501318763282276");
-//        strings.add("4200002533202501310547170958");
-//        strings.add("4200002534202501303738703565");
-//        strings.add("4200002525202501306025549934");
-//        strings.add("4200002549202501294282847207");
-//        strings.add("4200002527202501288245750165");
-//        strings.add("4200002619202501261619012008");
-//        strings.add("4200002626202501317892976774");
-//        strings.add("4200002544202501292677435940");
-//        strings.add("4200002537202501257726701652");
-//        strings.add("4200002553202501256780200853");
-//        strings.add("4200002530202501278894600587");
-//        strings.add("4200002526202501272860892424");
-//        strings.add("4200002546202501261687670540");
-//        strings.add("4200002569202501233722667327");
-//        strings.add("4200002566202501181976852994");
-//        strings.add("4200002561202501316944997781");
-//        strings.add("4200002549202501285062181026");
-//        strings.add("4200002550202501270793931053");
-//        strings.add("4200002525202501304250970340");
-//        strings.add("4200002629202501282900095733");
-//        strings.add("4200002556202501230256866127");
-//        strings.add("4200002552202501154056011700");
-//        strings.add("4200002556202501083523765877");
-//        strings.add("4200002538202501272988039737");
-//        strings.add("4200002625202501263227870901");
-//        strings.add("4200002538202501202187529556");
-//        strings.add("4200002620202501193034710003");
-//        strings.add("4200002540202501275111231191");
-//        strings.add("4200002528202501239307913104");
-//        strings.add("4200002543202501230641381490");
-//        strings.add("4200002630202501242563311743");
-//        strings.add("4200002624202501230656609191");
-//        strings.add("4200002628202501220738926634");
-//        strings.add("4200002552202501289301845484");
-//        strings.add("4200002561202501245636154925");
-//        strings.add("4200002631202501221584085035");
-//        List<TChargingOrder> list = chargingOrderService.lambdaQuery().eq(TChargingOrder::getRechargePaymentType, 1)
-//                .isNotNull(TChargingOrder::getRechargeSerialNumber).list();
-//        for (String string : strings) {
-//            TChargingOrder tChargingOrder = list.stream().filter(e -> e.getRechargeSerialNumber().equals(string)).findFirst().orElse(null);
-//            if (tChargingOrder==null){
-//                System.err.println("未查询到订单"+string);
-//            }
-//        }
+
         return R.ok();
 
     }

--
Gitblit v1.7.1