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

---
 xinquan-modules/xinquan-order/src/main/java/com/xinquan/order/controller/client/NotifyController.java | 3889 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 3,887 insertions(+), 2 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 84fd8d5..84efb56 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,7 +1,21 @@
 package com.xinquan.order.controller.client;
 
-import org.springframework.web.bind.annotation.RequestMapping;
-import org.springframework.web.bind.annotation.RestController;
+import com.baomidou.mybatisplus.core.conditions.update.LambdaUpdateWrapper;
+import com.baomidou.mybatisplus.core.conditions.update.UpdateWrapper;
+import com.xinquan.common.core.domain.R;
+import com.xinquan.order.api.domain.Order;
+import com.xinquan.order.domain.TChargingOrder;
+import com.xinquan.order.service.TChargingOrderService;
+import io.swagger.annotations.ApiImplicitParam;
+import io.swagger.annotations.ApiImplicitParams;
+import io.swagger.annotations.ApiOperation;
+import org.springframework.beans.factory.annotation.Autowired;
+import org.springframework.web.bind.annotation.*;
+
+import java.math.BigDecimal;
+import java.time.LocalDateTime;
+import java.util.ArrayList;
+import java.util.List;
 
 /**
  * 支付回调控制器
@@ -12,5 +26,3876 @@
 @RestController
 @RequestMapping("/client/order/notify")
 public class NotifyController {
+    @Autowired
+    private TChargingOrderService chargingOrderService;
+    @ResponseBody
+    @PostMapping("/testOrder")
 
+    public R refund() throws Exception {
+//        TChargingOrder tChargingOrder = new TChargingOrder();
+//        tChargingOrder.setCode("CD61020250103155826263");
+//        tChargingOrder.setOrderType(1);
+//        tChargingOrder.setOrderSource(0);
+//        tChargingOrder.setSourceName("平台");
+//        tChargingOrder.setCommissionAmount(new BigDecimal(0));
+//        tChargingOrder.setSharingAmount(new BigDecimal(0));
+//        tChargingOrder.setOrderClassification(1);
+//        tChargingOrder.setAppUserId(1873654120440303618L);
+//        tChargingOrder.setSiteId(19);
+//        tChargingOrder.setChargingPileId(27);
+//        tChargingOrder.setChargingGunId(65);
+//        tChargingOrder.setChargingCapacity(new BigDecimal(0));
+//        tChargingOrder.setStatus(-1);
+//        tChargingOrder.setRechargeAmount(new BigDecimal(3));
+//        tChargingOrder.setRechargePaymentType(1);
+//        tChargingOrder.setRechargePaymentStatus(2);
+//        tChargingOrder.setRechargeSerialNumber("4200002536202501034420431689");
+//        tChargingOrder.setChargeAmount(new BigDecimal(3));
+//        tChargingOrder.setResidualAmount(new BigDecimal(3));
+//        tChargingOrder.setTitle("【充电桩充电】4号桩/01号枪");
+//        tChargingOrder.setOrderAmount(new BigDecimal(0));
+//        tChargingOrder.setCouponDiscountAmount(new BigDecimal(0));
+//        tChargingOrder.setVipDiscountAmount(new BigDecimal(0));
+//        tChargingOrder.setPaymentAmount(new BigDecimal(0));
+//        tChargingOrder.setRefundAmount(new BigDecimal(0));
+//        tChargingOrder.setPayTime(LocalDateTime.now().withMonth(1).withDayOfMonth(3).withHour(15).withMinute(58).withSecond(34));
+//        chargingOrderService.save(tChargingOrder);
+//        List<Long> longs = new ArrayList<>();
+//        longs.add(1875077819308580866L);
+//        longs.add(1875082793723764737L);
+//        longs.add(1875089952062709761L);
+//        longs.add(1875097990047866882L);
+//        longs.add(1875106862531747841L);
+//        longs.add(1875120972262678529L);
+//        longs.add(1875128500300161025L);
+//        longs.add(1875520877594562562L);
+//        longs.add(1875933615747698689L);
+//        longs.add(1875934962798759937L);
+//        longs.add(1889570549749432321L);
+//        List<TChargingOrder> list1 = chargingOrderService.lambdaQuery().in(TChargingOrder::getId, longs).list();
+//        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);
+//        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