org.jcryptool.games.numbershark.strategies.CalculationThread.java Source code

Java tutorial

Introduction

Here is the source code for org.jcryptool.games.numbershark.strategies.CalculationThread.java

Source

//-----BEGIN DISCLAIMER-----
/*******************************************************************************
* Copyright (c) 2017 JCrypTool Team and Contributors
* 
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*******************************************************************************/
//-----END DISCLAIMER-----
package org.jcryptool.games.numbershark.strategies;

import java.lang.reflect.InvocationTargetException;

import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.jface.operation.IRunnableWithProgress;
import org.jcryptool.core.logging.utils.LogUtil;

/**
 * Starts the calculation Thread
 * 
 * @author Johannes Spaeth
 * @version 0.9.5
 */
public class CalculationThread implements IRunnableWithProgress {
    private int min = 2;
    private int max = 100;
    private int stoppedAt = 250;
    private int selectedStrategy = 0;

    public CalculationThread(int min, int max, int selectedStrategy) {
        this.min = min;
        this.max = max;
        this.selectedStrategy = selectedStrategy;
    }

    public void run(IProgressMonitor monitor) throws InvocationTargetException, InterruptedException {
        try {
            switch (selectedStrategy) {
            case 0:
                break;
            case 1:
                monitor.beginTask(Messages.ProgressDialog_0, IProgressMonitor.UNKNOWN);
                ZahlenhaiBestwerte.main(min, max, monitor);
                outputTable = ZahlenhaiBestwerte.getOutput();
                stoppedAt = ZahlenhaiBestwerte.getStoppedAt();
                break;

            case 2:
                monitor.beginTask(Messages.ProgressDialog_1, IProgressMonitor.UNKNOWN);
                MaximizeStrategy calc = new MaximizeStrategy(min, max, monitor);
                outputTable = calc.getOutput();
                stoppedAt = calc.getStoppedAt();
                break;

            case 3:
                monitor.beginTask(Messages.ProgressDialog_1, IProgressMonitor.UNKNOWN);
                VanNekStrategy calc1 = new VanNekStrategy(min, max, monitor);
                outputTable = calc1.getOutput();
                stoppedAt = calc1.getStoppedAt();
                break;

            case 4:
                monitor.beginTask(Messages.ProgressDialog_1, IProgressMonitor.UNKNOWN);
                Schu1Strategy calcSchu1 = new Schu1Strategy(min, max, monitor);
                outputTable = calcSchu1.getOutput();
                stoppedAt = calcSchu1.getStoppedAt();
                break;
            }
        } catch (InterruptedException ex) {
            LogUtil.logError(ex);
        }
        monitor.done();

        if (monitor.isCanceled()) {
            throw new InterruptedException("The long running operation was cancelled");
        }
    }

    public String[][] getSharkOutput() {
        return outputTable;
    }

    public int getStoppedAt() {
        return stoppedAt;
    }

    private String[][] outputTable = { { "2", "2", "1", "2", "7ms" }, { "3", "3", "3", "3", "0ms" },
            { "4", "7", "3", "3,4", "1ms" }, { "5", "9", "6", "5,4", "0ms" }, { "6", "15", "6", "5,4,6", "0ms" },
            { "7", "17", "11", "7,4,6", "0ms" }, { "8", "21", "15", "7,8,6", "2ms" },
            { "9", "30", "15", "7,9,6,8", "0ms" }, { "10", "40", "15", "7,9,6,10,8", "0ms" },
            { "11", "44", "22", "11,9,6,10,8", "0ms" }, { "12", "50", "28", "11,9,10,8,12", "0ms" },
            { "13", "52", "39", "13,9,10,8,12", "0ms" }, { "14", "66", "39", "13,9,14,10,8,12", "0ms" },
            { "15", "81", "39", "13,9,15,10,14,8,12", "0ms" }, { "16", "89", "47", "13,9,15,10,14,16,12", "0ms" },
            { "17", "93", "60", "17,9,15,10,14,16,12", "2ms" },
            { "18", "111", "60", "17,9,15,10,18,14,12,16", "0ms" },
            { "19", "113", "77", "19,9,15,10,18,14,12,16", "0ms" },
            { "20", "124", "86", "19,15,10,20,16,14,12,18", "0ms" },
            { "21", "144", "87", "19,9,21,15,14,18,12,20,16", "1ms" },
            { "22", "166", "87", "19,9,21,15,14,22,18,12,20,16", "0ms" },
            { "23", "170", "106", "23,9,21,15,14,22,18,12,20,16", "0ms" },
            { "24", "182", "118", "23,9,21,15,14,22,18,20,16,24", "0ms" },
            { "25", "198", "127", "23,25,15,21,14,22,20,16,24,18", "1ms" },
            { "26", "224", "127", "23,25,15,21,14,26,22,20,16,24,18", "0ms" },
            { "27", "251", "127", "23,25,15,27,21,14,26,22,18,20,16,24", "0ms" },
            { "28", "279", "127", "23,25,15,27,21,14,28,26,22,20,18,16,24", "0ms" },
            { "29", "285", "150", "29,25,15,27,21,14,28,26,22,20,18,16,24", "0ms" },
            { "30", "301", "164", "29,25,15,27,21,26,22,18,30,20,28,16,24", "1ms" },
            { "31", "303", "193", "31,25,15,27,21,26,22,18,30,20,28,16,24", "0ms" },
            { "32", "319", "209", "31,25,15,27,21,26,22,18,30,20,28,32,24", "2ms" },
            { "33", "352", "209", "31,25,15,33,27,22,26,21,18,30,20,28,32,24", "0ms" },
            { "34", "386", "209", "31,25,15,33,27,22,34,26,21,18,30,20,28,32,24", "0ms" },
            { "35", "418", "212", "31,25,35,21,33,27,22,34,26,18,12,28,24,32,20,30", "1ms" },
            { "36", "442", "224", "31,25,35,21,33,27,22,34,26,18,36,28,24,32,20,30", "0ms" },
            { "37", "448", "255", "37,25,35,21,33,27,22,34,26,18,36,28,24,32,20,30", "0ms" },
            { "38", "486", "255", "37,25,35,21,33,27,22,38,34,26,18,36,28,24,32,20,30", "1ms" },
            { "39", "503", "277", "37,25,35,21,39,33,27,26,38,34,18,36,28,24,32,20,30", "0ms" },
            { "40", "525", "295", "37,25,35,21,39,33,27,26,38,34,28,20,40,32,30,24,36", "0ms" },
            { "41", "529", "332", "41,25,35,21,39,33,27,26,38,34,28,20,40,32,30,24,36", "0ms" },
            { "42", "571", "332", "41,25,35,21,39,33,27,26,38,34,42,28,20,40,32,30,24,36", "1ms" },
            { "43", "573", "373", "43,25,35,21,39,33,27,26,38,34,42,28,20,40,32,30,24,36", "4ms" },
            { "44", "617", "373", "43,25,35,21,39,33,27,26,38,34,44,28,42,20,40,32,30,24,36", "0ms" },
            { "45", "660", "375", "43,25,35,21,39,33,27,45,26,38,34,18,42,30,28,44,36,24,40,32", "0ms" },
            { "46", "706", "375", "43,25,35,21,39,33,27,45,26,46,38,34,18,42,30,28,44,36,24,40,32", "1ms" },
            { "47", "710", "418", "47,25,35,21,39,33,27,45,26,46,38,34,18,42,30,28,44,36,24,40,32", "0ms" },
            { "48", "734", "442", "47,25,35,21,39,33,27,45,26,46,38,34,18,42,30,28,44,36,40,32,48", "0ms" },
            { "49", "758", "467", "47,49,35,21,39,33,27,45,26,46,38,34,18,42,30,28,44,36,40,32,48", "0ms" },
            { "50", "808", "467", "47,49,35,21,39,33,27,45,26,46,38,34,18,42,30,50,28,44,36,40,32,48", "0ms" },
            { "51", "833", "493", "47,49,35,21,51,39,34,46,38,33,27,45,18,42,30,50,28,44,36,40,32,48", "2ms" },
            { "52", "885", "493", "47,49,35,21,51,39,34,46,38,33,27,45,18,42,30,50,28,52,44,36,40,32,48", "0ms" },
            { "53", "891", "540", "53,49,35,21,51,39,34,46,38,33,27,45,18,42,30,50,28,52,44,36,40,32,48", "0ms" },
            { "54", "940", "545", "53,49,35,14,46,38,34,51,39,33,28,52,44,27,45,20,50,40,32,30,54,42,36,48",
                    "0ms" },
            { "55", "981", "559", "53,49,35,55,33,51,39,34,46,38,27,45,54,30,50,20,52,44,40,36,32,48,28,42",
                    "1ms" },
            { "56", "1017", "579", "53,49,35,55,33,51,39,34,46,38,27,45,54,30,50,52,44,36,28,56,42,40,32,48",
                    "0ms" },
            { "57", "1040", "613", "53,49,35,55,33,57,51,39,38,46,27,45,54,30,50,52,44,36,28,56,42,40,32,48",
                    "1ms" },
            { "58", "1098", "613", "53,49,35,55,33,57,51,39,38,58,46,27,45,54,30,50,52,44,36,28,56,42,40,32,48",
                    "0ms" },
            { "59", "1104", "666", "59,49,35,55,33,57,51,39,38,58,46,27,45,54,30,50,52,44,36,28,56,42,40,32,48",
                    "0ms" },
            { "60", "1137", "693", "59,49,35,55,33,57,51,39,38,58,46,52,44,28,56,32,50,40,45,30,60,48,42,36,54",
                    "1ms" },
            { "61", "1139", "752", "61,49,35,55,33,57,51,39,38,58,46,52,44,28,56,32,50,40,45,30,60,48,42,36,54",
                    "0ms" },
            { "62", "1201", "752", "61,49,35,55,33,57,51,39,38,62,58,46,52,44,28,56,32,50,40,45,30,60,48,42,36,54",
                    "0ms" },
            { "63", "1264", "752",
                    "61,49,35,55,33,57,51,39,38,62,58,46,63,45,52,44,28,56,42,32,30,50,40,60,48,36,54", "0ms" },
            { "64", "1296", "784",
                    "61,49,35,55,33,57,51,39,38,62,58,46,63,45,52,44,28,56,42,30,50,40,60,36,54,64,48", "2ms" },
            { "65", "1328", "817",
                    "61,49,35,65,55,39,57,51,38,62,58,46,63,45,52,44,28,56,42,30,50,40,60,36,54,64,48", "0ms" },
            { "66", "1394", "817",
                    "61,49,35,65,55,39,57,51,38,62,58,46,63,45,52,44,28,56,42,66,30,50,40,60,36,54,64,48", "1ms" },
            { "67", "1400", "878",
                    "67,49,35,65,55,39,57,51,38,62,58,46,63,45,52,44,28,56,42,66,30,50,40,60,36,54,64,48", "0ms" },
            { "68", "1468", "878",
                    "67,49,35,65,55,39,57,51,38,62,58,46,68,52,44,28,56,66,42,63,45,30,50,40,60,36,54,64,48",
                    "0ms" },
            { "69", "1499", "916",
                    "67,49,35,65,55,39,69,57,51,46,62,58,68,52,44,28,56,66,42,63,45,30,50,40,60,36,54,64,48",
                    "0ms" },
            { "70", "1566", "919",
                    "67,49,35,65,55,39,69,57,51,46,62,58,27,63,45,70,50,42,54,28,68,56,52,44,66,40,36,60,64,48",
                    "1ms" },
            { "71", "1570", "986",
                    "71,49,35,65,55,39,69,57,51,46,62,58,27,63,45,70,50,42,54,28,68,56,52,44,66,40,36,60,64,48",
                    "0ms" },
            { "72", "1642", "986",
                    "71,49,35,65,55,39,69,57,51,46,62,58,27,63,45,70,50,42,54,28,68,56,52,44,66,40,36,72,60,48,64",
                    "0ms" },
            { "73", "1644", "1057",
                    "73,49,35,65,55,39,69,57,51,46,62,58,27,63,45,70,50,42,54,28,68,56,52,44,66,40,36,72,60,48,64",
                    "0ms" },
            { "74", "1718", "1057",
                    "73,49,35,65,55,39,69,57,51,46,74,62,58,27,63,45,70,50,42,54,28,68,56,52,44,66,40,36,72,60,48,64",
                    "1ms" },
            { "75", "1793", "1057",
                    "73,49,35,65,55,39,69,57,51,46,74,62,58,27,63,45,75,50,70,42,54,28,68,56,52,44,66,40,36,72,60,48,64",
                    "0ms" },
            { "76", "1869", "1057",
                    "73,49,35,65,55,39,69,57,51,46,74,62,58,27,63,45,75,50,70,42,54,28,76,68,56,52,44,66,40,36,72,60,48,64",
                    "0ms" },
            { "77", "1914", "1089",
                    "73,49,77,55,65,39,69,57,51,46,74,62,58,75,50,45,63,30,42,70,28,76,68,56,52,44,66,40,60,36,72,54,48,64",
                    "7ms" },
            { "78", "1991", "1090",
                    "73,49,77,55,65,39,69,57,51,46,74,62,58,27,63,45,75,50,30,78,54,52,76,68,44,66,42,70,36,60,40,72,56,48,64",
                    "0ms" },
            { "79", "1997", "1163",
                    "79,49,77,55,65,39,69,57,51,46,74,62,58,27,63,45,75,50,30,78,54,52,76,68,44,66,42,70,36,60,40,72,56,48,64",
                    "0ms" },
            { "80", "2041", "1199",
                    "79,49,77,55,65,39,69,57,51,46,74,62,58,27,63,45,75,50,30,78,54,52,76,68,44,66,42,70,60,40,80,64,56,48,72",
                    "1ms" },
            { "81", "2105", "1216",
                    "79,49,77,55,65,21,69,63,81,57,51,46,74,62,58,45,75,50,30,54,42,70,28,76,68,56,52,78,44,66,40,80,64,60,48,72",
                    "1ms" },
            { "82", "2187", "1216",
                    "79,49,77,55,65,21,69,63,81,57,51,46,82,74,62,58,45,75,50,30,54,42,70,28,76,68,56,52,78,44,66,40,80,64,60,48,72",
                    "1ms" },
            { "83", "2191", "1295",
                    "83,49,77,55,65,21,69,63,81,57,51,46,82,74,62,58,45,75,50,30,54,42,70,28,76,68,56,52,78,44,66,40,80,64,60,48,72",
                    "0ms" },
            { "84", "2263", "1307",
                    "83,49,77,55,65,39,69,57,51,46,82,74,62,58,78,52,76,68,44,66,28,56,42,84,63,81,54,45,75,50,70,40,80,64,60,48,72",
                    "0ms" },
            { "85", "2309", "1346",
                    "83,49,77,55,85,65,51,69,57,46,82,74,62,58,81,63,45,75,50,76,68,52,44,28,70,56,42,84,78,66,54,40,80,64,60,48,72",
                    "2ms" },
            { "86", "2395", "1346",
                    "83,49,77,55,85,65,51,69,57,46,86,82,74,62,58,81,63,45,75,50,76,68,52,44,28,70,56,42,84,78,66,54,40,80,64,60,48,72",
                    "0ms" },
            { "87", "2436", "1392",
                    "83,49,77,55,85,65,51,87,69,58,86,82,74,62,57,81,63,45,75,50,76,68,52,44,28,70,56,42,84,78,66,54,40,80,64,60,48,72",
                    "0ms" },
            { "88", "2496", "1420",
                    "83,49,77,55,85,65,51,87,69,58,86,82,74,62,57,81,63,45,75,50,76,68,52,44,88,40,80,64,78,66,54,42,70,56,84,60,48,72",
                    "1ms" },
            { "89", "2502", "1503",
                    "89,49,77,55,85,65,51,87,69,58,86,82,74,62,57,81,63,45,75,50,76,68,52,44,88,40,80,64,78,66,54,42,70,56,84,60,48,72",
                    "1ms" },
            { "90", "2552", "1543",
                    "89,49,77,55,85,65,51,87,69,58,86,82,74,62,57,81,63,45,75,50,76,68,52,44,88,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "4ms" },
            { "91", "2588", "1598",
                    "89,49,91,77,65,85,51,87,69,58,86,82,74,62,57,81,63,45,75,50,76,68,52,44,88,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "1ms" },
            { "92", "2680", "1598",
                    "89,49,91,77,65,85,51,87,69,58,86,82,74,62,57,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "0ms" },
            { "93", "2715", "1656",
                    "89,49,91,77,65,85,51,93,87,69,62,86,82,74,57,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "0ms" },
            { "94", "2809", "1656",
                    "89,49,91,77,65,85,51,93,87,69,62,94,86,82,74,57,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "0ms" },
            { "95", "2853", "1707",
                    "89,49,91,77,65,95,85,57,93,87,69,62,94,86,82,74,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,48,72",
                    "0ms" },
            { "96", "2901", "1755",
                    "89,49,91,77,65,95,85,57,93,87,69,62,94,86,82,74,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,96,72",
                    "9ms" },
            { "97", "2909", "1844",
                    "97,49,91,77,65,95,85,57,93,87,69,62,94,86,82,74,92,76,68,52,44,88,81,63,45,75,50,78,66,54,90,42,70,56,84,60,80,64,96,72",
                    "0ms" },
            { "98", "3007", "1844",
                    "97,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,92,76,68,52,44,88,56,81,63,45,75,50,70,42,84,78,66,54,90,60,80,64,96,72",
                    "0ms" },
            { "99", "3106", "1844",
                    "97,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,42,66,54,90,44,92,88,76,68,56,84,60,52,78,80,64,96,72",
                    "0ms" },
            { "100", "3164", "1886",
                    "97,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,100,92,76,68,52,44,88,66,78,56,54,90,60,84,80,64,96,72",
                    "7ms" },
            { "101", "3168", "1983",
                    "101,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,100,92,76,68,52,44,88,66,78,56,54,90,60,84,80,64,96,72",
                    "0ms" },
            { "102", "3270", "1983",
                    "101,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,100,92,76,68,52,44,88,66,102,78,56,54,90,60,84,80,64,96,72",
                    "0ms" },
            { "103", "3272", "2084",
                    "103,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,100,92,76,68,52,44,88,66,102,78,56,54,90,60,84,80,64,96,72",
                    "2ms" },
            { "104", "3332", "2128",
                    "103,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,99,81,63,45,75,50,70,100,92,76,68,52,104,56,102,78,66,88,54,90,60,84,80,64,96,72",
                    "21ms" },
            { "105", "3434", "2131",
                    "103,49,91,77,65,95,85,57,93,87,69,62,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,88,60,54,90,80,64,96,72",
                    "9ms" },
            { "106", "3540", "2131",
                    "103,49,91,77,65,95,85,57,93,87,69,62,106,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,88,60,54,90,80,64,96,72",
                    "2ms" },
            { "107", "3544", "2234",
                    "107,49,91,77,65,95,85,57,93,87,69,62,106,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,88,60,54,90,80,64,96,72",
                    "0ms" },
            { "108", "3652", "2234",
                    "107,49,91,77,65,95,85,57,93,87,69,62,106,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,88,60,54,108,90,72,80,64,96",
                    "3ms" },
            { "109", "3654", "2341",
                    "109,49,91,77,65,95,85,57,93,87,69,62,106,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,88,60,54,108,90,72,80,64,96",
                    "0ms" },
            { "110", "3764", "2341",
                    "109,49,91,77,65,95,85,57,93,87,69,62,106,98,94,86,82,74,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,110,88,60,54,108,90,72,80,64,96",
                    "2ms" },
            { "111", "3813", "2403",
                    "109,49,91,77,65,95,85,57,111,93,87,74,106,98,94,86,82,69,92,76,68,52,104,56,75,50,100,70,105,63,99,81,42,102,84,78,66,110,88,60,54,108,90,72,80,64,96",
                    "8ms" },
            { "112", "3925", "2403",
                    "109,49,91,77,65,95,85,57,111,93,87,74,106,98,94,86,82,69,92,76,68,52,104,56,112,64,75,50,100,80,70,105,63,99,81,42,102,84,78,66,110,88,60,54,108,90,72,96",
                    "1ms" },
            { "113", "3929", "2512",
                    "113,49,91,77,65,95,85,57,111,93,87,74,106,98,94,86,82,69,92,76,68,52,104,56,112,64,75,50,100,80,70,105,63,99,81,42,102,84,78,66,110,88,60,54,108,90,72,96",
                    "0ms" },
            { "114", "4043", "2512",
                    "113,49,91,77,65,95,85,57,111,93,87,74,106,98,94,86,82,69,75,50,70,105,63,99,81,42,114,76,100,92,68,102,66,110,54,52,104,88,78,56,112,84,108,80,72,64,96,60,90",
                    "1ms" },
            { "115", "4101", "2569",
                    "113,49,91,77,65,115,95,85,69,111,93,87,74,106,98,94,86,82,92,76,68,52,104,56,112,64,75,50,100,80,70,105,63,99,81,42,114,102,84,78,66,110,88,60,54,108,90,72,96",
                    "4ms" },
            { "116", "4217", "2569",
                    "113,49,91,77,65,115,95,85,69,111,93,87,74,106,98,94,86,82,116,92,76,68,52,104,56,112,64,75,50,100,80,70,105,63,99,81,42,114,102,84,78,66,110,88,60,54,108,90,72,96",
                    "0ms" },
            { "117", "4334", "2569",
                    "113,49,91,77,65,115,95,85,69,111,93,87,74,106,98,94,86,82,75,50,70,105,63,117,99,81,42,78,66,110,54,52,116,104,100,92,88,76,114,68,102,56,112,84,108,80,72,64,96,60,90",
                    "1ms" },
            { "118", "4452", "2569",
                    "113,49,91,77,65,115,95,85,69,111,93,87,74,118,106,98,94,86,82,75,50,70,105,63,117,99,81,42,78,66,110,54,52,116,104,100,92,88,76,114,68,102,56,112,84,108,80,72,64,96,60,90",
                    "1ms" },
            { "119", "4506", "2634",
                    "113,49,119,91,85,115,95,77,69,111,93,87,74,118,106,98,94,86,82,75,50,70,105,63,117,99,81,42,78,66,110,54,52,116,104,100,92,88,76,114,68,102,56,112,84,108,80,72,64,96,60,90",
                    "2ms" },
            { "120", "4593", "2667",
                    "113,25,115,95,85,119,91,77,69,111,93,87,75,74,118,106,94,86,82,50,45,117,99,81,63,105,70,98,42,78,66,110,52,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "1ms" },
            { "121", "4689", "2692",
                    "113,121,77,119,91,85,115,95,69,111,93,87,74,118,106,94,86,82,117,99,81,63,45,105,75,50,70,98,42,78,66,110,52,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "1ms" },
            { "122", "4811", "2692",
                    "113,121,77,119,91,85,115,95,69,111,93,87,74,122,118,106,94,86,82,117,99,81,63,45,105,75,50,70,98,42,78,66,110,52,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "0ms" },
            { "123", "4860", "2766",
                    "113,121,77,119,91,85,115,95,69,123,111,93,87,82,122,118,106,94,86,117,99,81,63,45,105,75,50,70,98,42,78,66,110,52,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "0ms" },
            { "124", "4984", "2766",
                    "113,121,77,119,91,85,115,95,69,123,111,93,87,82,122,118,106,94,86,117,99,81,63,45,105,75,50,70,98,42,78,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "0ms" },
            { "125", "5109", "2766",
                    "113,121,77,119,91,85,125,115,95,69,123,111,93,87,82,122,118,106,94,86,75,50,45,117,99,81,63,105,70,98,42,78,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,64,60,120,96,90,72,108",
                    "1ms" },
            { "126", "5191", "2810",
                    "113,121,77,119,91,85,125,115,95,69,123,111,93,87,82,122,118,106,94,86,75,50,45,117,99,81,63,105,70,98,124,116,100,92,76,68,52,104,78,114,102,66,110,88,54,126,90,60,108,84,72,120,80,112,64,96",
                    "3ms" },
            { "127", "5205", "2923",
                    "127,121,77,119,91,85,125,115,95,69,123,111,93,87,82,122,118,106,94,86,75,50,45,117,99,81,63,105,70,98,124,116,100,92,76,68,52,104,78,114,102,66,110,88,54,126,90,60,108,84,72,120,80,112,64,96",
                    "0ms" },
            { "128", "5301", "2955",
                    "127,121,77,119,91,85,125,115,95,69,123,111,93,87,82,122,118,106,94,86,75,50,45,117,99,81,63,105,70,98,42,126,90,78,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,48,120,96,128,72,108",
                    "2ms" },
            { "129", "5348", "3037",
                    "127,121,77,119,91,85,125,115,95,69,129,123,111,93,87,86,122,118,106,94,75,50,45,117,99,81,63,105,70,98,42,126,90,78,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,48,120,96,128,72,108",
                    "0ms" },
            { "130", "5478", "3037",
                    "127,121,77,119,91,85,125,115,95,69,129,123,111,93,87,86,122,118,106,94,75,50,45,117,99,81,63,105,70,98,42,126,90,78,130,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,48,120,96,128,72,108",
                    "3ms" },
            { "131", "5482", "3164",
                    "131,121,77,119,91,85,125,115,95,69,129,123,111,93,87,86,122,118,106,94,75,50,45,117,99,81,63,105,70,98,42,126,90,78,130,66,110,52,124,116,104,100,92,88,76,114,68,102,56,112,84,80,48,120,96,128,72,108",
                    "0ms" },
            { "132", "5572", "3206",
                    "131,121,77,119,91,85,125,115,95,69,129,123,111,93,87,86,122,118,106,94,75,50,45,117,99,81,63,105,70,98,130,78,66,110,52,124,116,104,100,92,88,132,76,114,68,102,56,112,84,126,90,80,48,120,96,128,72,108",
                    "6ms" },
            { "133", "5620", "3291",
                    "131,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,122,118,106,94,75,50,45,117,99,81,63,105,70,98,130,78,66,110,52,124,116,104,100,92,88,132,76,114,68,102,56,112,84,126,90,80,48,120,96,128,72,108",
                    "1ms" },
            { "134", "5754", "3291",
                    "131,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,45,117,99,81,63,105,70,98,130,78,66,110,52,124,116,104,100,92,88,132,76,114,68,102,56,112,84,126,90,80,48,120,96,128,72,108",
                    "0ms" },
            { "135", "5844", "3336",
                    "131,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,130,52,124,116,104,100,92,76,68,117,99,81,135,78,114,102,66,110,88,132,63,105,70,98,56,112,84,126,90,80,48,120,96,128,72,108",
                    "9ms" },
            { "136", "5928", "3388",
                    "131,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,130,124,116,100,92,76,68,136,104,117,99,81,135,78,114,102,66,110,88,132,63,105,70,98,56,112,84,126,90,80,48,120,96,128,72,108",
                    "30ms" },
            { "137", "5934", "3519",
                    "137,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,130,124,116,100,92,76,68,136,104,117,99,81,135,78,114,102,66,110,88,132,63,105,70,98,56,112,84,126,90,80,48,120,96,128,72,108",
                    "0ms" },
            { "138", "6072", "3519",
                    "137,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,138,92,124,116,100,76,114,68,136,102,130,104,78,117,99,81,135,66,110,88,132,63,105,70,98,56,112,84,126,90,80,48,120,96,128,72,108",
                    "1ms" },
            { "139", "6074", "3656",
                    "139,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,50,138,92,124,116,100,76,114,68,136,102,130,104,78,117,99,81,135,66,110,88,132,63,105,70,98,56,112,84,126,90,80,48,120,96,128,72,108",
                    "0ms" },
            { "140", "6164", "3706",
                    "139,121,77,133,119,95,125,115,91,69,129,123,111,93,87,86,134,122,118,106,94,75,138,92,124,116,76,114,68,136,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,48,120,96,128,72,108",
                    "70ms" },
            { "141", "6219", "3792",
                    "139,121,77,133,119,95,125,115,91,69,141,129,123,111,94,134,122,118,106,93,87,75,138,92,124,116,76,114,68,136,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,48,120,96,128,72,108",
                    "70ms" },
            { "142", "6361", "3792",
                    "139,121,77,133,119,95,125,115,91,69,141,129,123,111,94,142,134,122,118,106,93,87,75,138,92,124,116,76,114,68,136,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,48,120,96,128,72,108",
                    "12ms" },
            { "143", "6427", "3869",
                    "139,121,143,91,133,119,95,125,115,69,141,129,123,111,94,142,134,122,118,106,93,87,75,138,92,124,116,76,114,68,136,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,48,120,96,128,72,108",
                    "0ms" },
            { "144", "6523", "3917",
                    "139,121,143,91,133,119,95,125,115,69,141,129,123,111,94,142,134,122,118,106,93,87,75,138,92,124,116,76,114,68,136,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,120,72,144,108,96,128",
                    "115ms" },
            { "145", "6599", "3986",
                    "139,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,142,134,122,118,106,93,75,124,116,92,76,68,136,138,114,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,120,72,144,108,96,128",
                    "138ms" },
            { "146", "6745", "3986",
                    "139,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,124,116,92,76,68,136,138,114,102,117,99,81,135,78,104,66,88,132,63,105,130,110,70,98,56,140,112,100,84,126,90,80,120,72,144,108,96,128",
                    "0ms" },
            { "147", "6892", "3986",
                    "139,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,147,105,98,70,63,117,99,81,135,130,78,66,110,138,92,124,116,76,114,68,136,104,102,88,132,56,140,112,100,84,126,90,80,120,72,144,108,96,128",
                    "7ms" },
            { "148", "7040", "3986",
                    "139,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,148,124,116,92,76,68,136,147,105,98,70,63,117,99,81,135,56,140,112,100,80,138,114,102,78,130,104,66,110,88,132,84,126,90,120,72,144,108,96,128",
                    "6ms" },
            { "149", "7050", "4125",
                    "149,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,148,124,116,92,76,68,136,147,105,98,70,63,117,99,81,135,56,140,112,100,80,138,114,102,78,130,104,66,110,88,132,84,126,90,120,72,144,108,96,128",
                    "0ms" },
            { "150", "7137", "4188",
                    "149,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,148,124,116,92,76,68,136,147,105,98,70,56,140,112,100,80,150,138,114,102,130,104,78,117,99,81,135,90,66,110,88,132,84,126,120,72,144,108,96,128",
                    "229ms" },
            { "151", "7139", "4337",
                    "151,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,148,124,116,92,76,68,136,147,105,98,70,56,140,112,100,80,150,138,114,102,130,104,78,117,99,81,135,90,66,110,88,132,84,126,120,72,144,108,96,128",
                    "0ms" },
            { "152", "7223", "4405",
                    "151,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,150,138,114,136,102,130,104,78,117,99,81,135,90,66,110,88,132,84,126,120,72,144,108,96,128",
                    "717ms" },
            { "153", "7376", "4405",
                    "151,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,150,138,114,102,136,90,78,130,104,66,110,88,132,84,126,120,72,144,108,96,128",
                    "14ms" },
            { "154", "7530", "4405",
                    "151,121,143,91,133,119,95,145,125,115,87,141,129,123,111,94,146,142,134,122,118,106,93,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,66,150,138,132,114,102,136,90,84,126,78,130,104,120,72,144,108,96,128",
                    "28ms" },
            { "155", "7598", "4492",
                    "151,121,143,91,133,119,95,155,145,125,115,93,141,129,123,111,94,146,142,134,122,118,106,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,66,150,138,132,114,102,136,90,84,126,78,130,104,120,72,144,108,96,128",
                    "0ms" },
            { "156", "7688", "4558",
                    "151,121,143,91,133,119,95,155,145,125,115,93,141,129,123,111,94,146,142,134,122,118,106,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,72,144,108,96,128",
                    "927ms" },
            { "157", "7694", "4709",
                    "157,121,143,91,133,119,95,155,145,125,115,93,141,129,123,111,94,146,142,134,122,118,106,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,72,144,108,96,128",
                    "0ms" },
            { "158", "7852", "4709",
                    "157,121,143,91,133,119,95,155,145,125,115,93,141,129,123,111,94,158,146,142,134,122,118,106,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,72,144,108,96,128",
                    "0ms" },
            { "159", "7917", "4803",
                    "157,121,143,91,133,119,95,155,145,125,115,93,159,141,129,123,111,106,158,146,142,134,122,118,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,72,144,108,96,128",
                    "0ms" },
            { "160", "8005", "4875",
                    "157,121,143,91,133,119,95,155,145,125,115,93,159,141,129,123,111,106,158,146,142,134,122,118,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,160,128,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,96,144,108",
                    "1s" },
            { "161", "8071", "4970",
                    "157,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,158,146,142,134,122,118,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,160,128,154,110,88,150,138,114,102,136,90,78,130,104,156,132,84,126,120,96,144,108",
                    "6ms" },
            { "162", "8233", "4970",
                    "157,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,158,146,142,134,122,118,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,160,128,154,110,88,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "80ms" },
            { "163", "8239", "5127",
                    "163,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,158,146,142,134,122,118,75,153,117,99,81,135,148,124,116,92,76,152,147,105,98,70,56,140,112,100,80,160,128,154,110,88,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "0ms" },
            { "164", "8403", "5127",
                    "163,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,158,146,142,134,122,118,75,164,148,124,116,92,76,152,153,117,99,81,135,147,105,98,70,56,140,112,100,80,160,128,154,110,88,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "65ms" },
            { "165", "8568", "5127",
                    "163,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "39ms" },
            { "166", "8734", "5127",
                    "163,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "1ms" },
            { "167", "8738", "5290",
                    "167,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,150,138,114,102,136,90,162,78,130,104,156,132,108,84,126,120,96,144",
                    "0ms" },
            { "168", "8906", "5290",
                    "167,121,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,150,138,114,102,136,90,162,78,130,104,156,132,108,84,168,126,120,96,144",
                    "28ms" },
            { "169", "8954", "5411",
                    "167,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,150,138,114,102,136,90,162,78,130,104,156,132,108,84,168,126,120,96,144",
                    "0ms" },
            { "170", "9124", "5411",
                    "167,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,165,99,153,117,81,135,164,148,124,116,92,76,152,147,105,98,70,110,154,88,56,140,112,100,80,160,128,170,136,102,150,138,114,90,162,78,130,104,156,132,108,84,168,126,120,96,144",
                    "37ms" },
            { "171", "9295", "5411",
                    "167,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,171,153,117,99,165,81,135,164,148,124,116,92,76,152,114,138,102,136,78,104,156,147,105,98,70,170,130,110,154,88,132,56,140,112,100,150,90,162,108,84,168,126,80,160,128,120,96,144",
                    "17ms" },
            { "172", "9467", "5411",
                    "167,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,172,164,148,124,116,92,76,152,171,153,117,114,138,102,136,99,165,81,135,78,104,156,147,105,98,70,170,130,110,154,88,132,56,140,112,100,150,90,162,108,84,168,126,80,160,128,120,96,144",
                    "15ms" },
            { "173", "9473", "5578",
                    "173,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,172,164,148,124,116,92,76,152,171,153,117,114,138,102,136,99,165,81,135,78,104,156,147,105,98,70,170,130,110,154,88,132,56,140,112,100,150,90,162,108,84,168,126,80,160,128,120,96,144",
                    "1ms" },
            { "174", "9647", "5578",
                    "173,169,143,91,161,133,119,115,155,145,125,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,172,164,148,124,116,92,76,152,174,138,114,171,153,117,102,136,99,165,81,135,78,104,156,147,105,98,70,170,130,110,154,88,132,56,140,112,100,150,90,162,108,84,168,126,80,160,128,120,96,144",
                    "19ms" },
            { "175", "9822", "5578",
                    "173,169,143,91,161,133,119,115,155,145,125,175,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,105,147,98,70,172,164,148,124,116,92,76,152,56,140,112,100,80,160,128,174,150,138,114,171,153,117,102,170,136,99,165,110,154,88,81,135,90,162,78,130,104,156,132,108,84,168,126,120,96,144",
                    "8ms" },
            { "176", "9985", "5591",
                    "173,169,143,91,161,133,119,115,155,145,125,175,93,159,141,129,123,111,106,166,158,146,142,134,122,118,75,105,147,98,63,171,153,117,99,165,81,135,50,110,154,172,164,148,124,116,100,92,76,152,114,174,150,138,102,170,136,90,162,126,88,176,80,160,128,78,130,104,156,132,108,84,140,112,168,120,96,144",
                    "39ms" },
            { "177", "10056", "5697",
                    "173,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,166,158,146,142,134,122,111,75,105,147,98,63,171,153,117,99,165,81,135,50,110,154,172,164,148,124,116,100,92,76,152,114,174,150,138,102,170,136,90,162,126,88,176,80,160,128,78,130,104,156,132,108,84,140,112,168,120,96,144",
                    "1ms" },
            { "178", "10234", "5697",
                    "173,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,178,166,158,146,142,134,122,111,75,105,147,98,63,171,153,117,99,165,81,135,50,110,154,172,164,148,124,116,100,92,76,152,114,174,150,138,102,170,136,90,162,126,88,176,80,160,128,78,130,104,156,132,108,84,140,112,168,120,96,144",
                    "0ms" },
            { "179", "10240", "5870",
                    "179,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,178,166,158,146,142,134,122,111,75,105,147,98,63,171,153,117,99,165,81,135,50,110,154,172,164,148,124,116,100,92,76,152,114,174,150,138,102,170,136,90,162,126,88,176,80,160,128,78,130,104,156,132,108,84,140,112,168,120,96,144",
                    "0ms" },
            { "180", "10401", "5889",
                    "179,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,178,166,158,146,142,134,122,111,75,105,147,98,70,63,171,153,117,99,165,110,154,42,126,114,102,170,78,130,76,172,164,152,148,136,124,116,174,104,156,92,138,88,176,132,84,140,112,168,100,150,90,135,80,160,128,120,180,108,162,96,144",
                    "19ms" },
            { "181", "10403", "6068",
                    "181,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,178,166,158,146,142,134,122,111,75,105,147,98,70,63,171,153,117,99,165,110,154,42,126,114,102,170,78,130,76,172,164,152,148,136,124,116,174,104,156,92,138,88,176,132,84,140,112,168,100,150,90,135,80,160,128,120,180,108,162,96,144",
                    "0ms" },
            { "182", "10543", "6110",
                    "181,169,143,91,161,133,119,115,155,145,125,175,93,177,159,141,129,123,118,178,166,158,146,142,134,122,111,75,105,147,98,182,70,130,63,171,153,117,99,165,110,154,78,114,102,170,76,172,164,152,148,136,124,116,174,104,156,92,138,88,176,132,150,100,140,112,84,168,126,90,135,80,160,128,120,180,108,162,96,144",
                    "46ms" },
            { "183", "10608", "6228",
                    "181,169,143,91,161,133,119,115,155,145,125,175,93,183,177,159,141,129,123,122,178,166,158,146,142,134,111,75,105,147,98,182,70,130,63,171,153,117,99,165,110,154,78,114,102,170,76,172,164,152,148,136,124,116,174,104,156,92,138,88,176,132,150,100,140,112,84,168,126,90,135,80,160,128,120,180,108,162,96,144",
                    "47ms" },
            { "184", "10744", "6276",
                    "181,169,143,91,161,133,119,115,155,145,125,175,93,183,177,159,141,129,123,122,178,166,158,146,142,134,111,75,105,147,98,182,70,130,63,171,153,117,99,165,110,154,78,114,102,170,28,172,164,148,140,124,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,90,135,80,160,128,120,180,108,162,96,144",
                    "81ms" },
            { "185", "10836", "6369",
                    "181,169,143,91,161,133,119,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,182,70,130,63,171,153,117,99,165,110,154,78,114,102,170,28,172,164,148,140,124,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,90,135,80,160,128,120,180,108,162,96,144",
                    "46ms" },
            { "186", "11022", "6369",
                    "181,169,143,91,161,133,119,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,182,70,130,63,171,153,117,99,165,110,154,78,114,102,170,28,172,164,148,140,124,186,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,90,135,80,160,128,120,180,108,162,96,144",
                    "4ms" },
            { "187", "11132", "6446",
                    "181,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,70,63,171,153,117,99,165,110,154,42,126,114,102,170,78,182,130,186,124,172,164,148,116,174,92,184,152,138,136,104,156,88,176,132,84,140,112,168,100,150,90,135,80,160,128,120,180,108,162,96,144",
                    "116ms" },
            { "188", "11320", "6446",
                    "181,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,70,63,171,153,117,99,165,110,154,42,126,114,102,170,78,182,130,188,172,164,148,124,186,116,174,92,184,152,138,136,104,156,88,176,132,84,140,112,168,100,150,90,135,80,160,128,120,180,108,162,96,144",
                    "16ms" },
            { "189", "11447", "6508",
                    "181,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,63,189,171,153,135,117,99,165,50,110,154,188,172,164,148,124,116,100,92,184,88,176,80,160,128,186,174,150,138,114,152,102,170,136,90,126,78,182,130,104,156,132,84,140,112,168,120,180,108,162,96,144",
                    "220ms" },
            { "190", "11637", "6508",
                    "181,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,63,189,171,153,135,117,99,165,50,110,154,190,114,150,102,170,90,126,78,182,130,188,172,164,148,124,186,116,174,100,92,184,152,138,136,104,156,88,176,132,84,140,112,168,80,160,128,120,180,108,162,96,144",
                    "57ms" },
            { "191", "11647", "6689",
                    "191,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,63,189,171,153,135,117,99,165,50,110,154,190,114,150,102,170,90,126,78,182,130,188,172,164,148,124,186,116,174,100,92,184,152,138,136,104,156,88,176,132,84,140,112,168,80,160,128,120,180,108,162,96,144",
                    "1ms" },
            { "192", "11787", "6741",
                    "191,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,99,165,110,154,42,126,114,190,102,170,78,182,130,188,172,164,148,124,186,116,174,92,184,152,138,136,104,156,88,176,132,84,140,112,168,100,150,80,160,128,120,72,180,144,192,108,162",
                    "420ms" },
            { "193", "11789", "6932",
                    "193,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,99,165,110,154,42,126,114,190,102,170,78,182,130,188,172,164,148,124,186,116,174,92,184,152,138,136,104,156,88,176,132,84,140,112,168,100,150,80,160,128,120,72,180,144,192,108,162",
                    "0ms" },
            { "194", "11983", "6932",
                    "193,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,99,165,110,154,42,126,114,190,102,170,78,182,130,188,172,164,148,124,186,116,174,92,184,152,138,136,104,156,88,176,132,84,140,112,168,100,150,80,160,128,120,72,180,144,192,108,162",
                    "0ms" },
            { "195", "12164", "6946",
                    "193,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,28,188,172,164,148,140,124,186,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,80,160,128,120,72,180,144,192,108,162",
                    "152ms" },
            { "196", "12332", "6974",
                    "193,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,80,160,128,120,72,180,144,192,108,162",
                    "67ms" },
            { "197", "12336", "7167",
                    "197,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,152,138,136,104,156,88,176,132,112,84,168,126,80,160,128,120,72,180,144,192,108,162",
                    "0ms" },
            { "198", "12471", "7230",
                    "197,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,196,188,172,164,148,140,124,116,100,92,184,195,130,182,117,171,153,104,99,165,110,154,88,176,112,80,160,128,78,186,174,156,150,138,132,198,114,190,152,102,170,136,84,168,126,189,135,120,72,180,144,192,108,162",
                    "308ms" },
            { "199", "12473", "7427",
                    "199,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,196,188,172,164,148,140,124,116,100,92,184,195,130,182,117,171,153,104,99,165,110,154,88,176,112,80,160,128,78,186,174,156,150,138,132,198,114,190,152,102,170,136,84,168,126,189,135,120,72,180,144,192,108,162",
                    "0ms" },
            { "200", "12648", "7452",
                    "199,169,143,187,119,161,133,115,185,155,145,125,175,111,183,177,159,141,129,123,122,194,178,166,158,146,142,134,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,200,152,138,136,104,156,84,126,198,132,80,176,160,128,112,168,120,72,180,144,192,108,162",
                    "265ms" },
            { "201", "12727", "7574",
                    "199,169,143,187,119,161,133,115,185,155,145,125,175,111,201,183,177,159,141,134,194,178,166,158,146,142,129,123,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,200,152,138,136,104,156,84,126,198,132,80,176,160,128,112,168,120,72,180,144,192,108,162",
                    "1ms" },
            { "202", "12929", "7574",
                    "199,169,143,187,119,161,133,115,185,155,145,125,175,111,201,183,177,159,141,134,202,194,178,166,158,146,142,129,123,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,200,152,138,136,104,156,84,126,198,132,80,176,160,128,112,168,120,72,180,144,192,108,162",
                    "0ms" },
            { "203", "13017", "7689",
                    "199,169,143,187,119,203,161,145,185,155,133,125,175,111,201,183,177,159,141,134,202,194,178,166,158,146,142,129,123,75,105,147,98,70,63,189,171,153,135,117,195,130,182,99,165,110,154,78,114,190,102,170,196,188,172,164,148,140,124,186,116,174,100,150,92,184,200,152,138,136,104,156,84,126,198,132,80,176,160,128,112,168,120,72,180,144,192,108,162",
                    "1ms" },
            { "204", "13146", "7764",
                    "199,169,143,187,119,203,161,145,185,155,133,125,175,111,201,183,177,159,141,134,202,194,178,166,158,146,142,129,123,75,105,147,98,70,196,188,172,164,148,140,124,116,100,92,184,200,80,160,128,112,195,130,182,117,171,153,104,99,165,110,154,66,198,186,174,150,138,114,190,152,102,170,136,204,156,132,176,84,168,126,189,135,120,72,180,144,192,108,162",
                    "831ms" },
            { "205", "13240", "7875",
                    "199,169,143,187,119,203,161,145,205,185,155,133,125,175,123,201,183,177,159,141,134,202,194,178,166,158,146,142,129,75,105,147,98,70,196,188,172,164,148,140,124,116,100,92,184,200,80,160,128,112,195,130,182,117,171,153,104,99,165,110,154,66,198,186,174,150,138,114,190,152,102,170,136,204,156,132,176,84,168,126,189,135,120,72,180,144,192,108,162",
                    "2ms" },
            { "206", "13446", "7875",
                    "199,169,143,187,119,203,161,145,205,185,155,133,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,196,188,172,164,148,140,124,116,100,92,184,200,80,160,128,112,195,130,182,117,171,153,104,99,165,110,154,66,198,186,174,150,138,114,190,152,102,170,136,204,156,132,176,84,168,126,189,135,120,72,180,144,192,108,162",
                    "0ms" },
            { "207", "13653", "7875",
                    "199,169,143,187,119,203,161,145,205,185,155,133,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,66,198,138,114,190,102,170,92,196,188,184,172,164,152,148,140,136,204,132,124,186,116,174,104,156,100,200,150,84,126,189,135,80,176,160,128,112,168,120,72,180,144,192,108,162",
                    "27ms" },
            { "208", "13832", "7904",
                    "199,169,143,187,119,203,161,145,205,185,155,133,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,63,207,189,171,153,135,117,195,130,182,99,165,110,154,78,138,114,190,102,170,92,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,84,126,198,132,80,208,176,160,128,112,168,120,72,180,144,192,108,162",
                    "112ms" },
            { "209", "13922", "8023",
                    "199,169,143,209,187,133,203,161,145,205,185,155,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,63,207,189,171,153,135,117,195,130,182,99,165,110,154,78,138,114,190,102,170,92,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,84,126,198,132,80,208,176,160,128,112,168,120,72,180,144,192,108,162",
                    "2ms" },
            { "210", "14066", "8089",
                    "199,169,143,209,187,133,203,161,145,205,185,155,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "258ms" },
            { "211", "14078", "8288",
                    "211,169,143,209,187,133,203,161,145,205,185,155,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "0ms" },
            { "212", "14290", "8288",
                    "211,169,143,209,187,133,203,161,145,205,185,155,125,175,123,201,183,177,159,141,134,206,202,194,178,166,158,146,142,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,212,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "40ms" },
            { "213", "14369", "8422",
                    "211,169,143,209,187,133,203,161,145,205,185,155,125,175,123,213,201,183,177,159,142,206,202,194,178,166,158,146,141,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,212,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "0ms" },
            { "214", "14583", "8422",
                    "211,169,143,209,187,133,203,161,145,205,185,155,125,175,123,213,201,183,177,159,142,214,206,202,194,178,166,158,146,141,129,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,212,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "2ms" },
            { "215", "14675", "8545",
                    "211,169,143,209,187,133,203,161,145,215,205,185,155,129,213,201,183,177,159,142,214,206,202,194,178,166,158,146,141,125,175,75,105,147,98,70,207,171,153,117,195,130,182,99,165,110,154,81,189,135,78,138,114,190,102,170,92,212,196,188,184,172,164,152,148,140,136,204,156,124,186,116,174,100,200,150,210,126,198,162,132,108,80,208,176,160,128,112,72,168,144,192,120,180",
                    "0ms" },
            { "216", "14834", "8602",
                    "211,169,143,209,187,133,203,161,145,215,205,185,155,129,213,201,183,177,159,142,214,206,202,194,178,166,158,146,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,66,198,154,132,126,189,135,110,190,170,130,182,104,208,176,156,112,168,90,210,150,140,80,200,160,128,120,180,108,216,162,144,192",
                    "645ms" },
            { "217", "14906", "8747",
                    "211,169,143,209,187,133,217,203,161,155,215,205,185,129,213,201,183,177,159,142,214,206,202,194,178,166,158,146,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,66,198,154,132,126,189,135,110,190,170,130,182,104,208,176,156,112,168,90,210,150,140,80,200,160,128,120,180,108,216,162,144,192",
                    "1ms" },
            { "218", "15124", "8747",
                    "211,169,143,209,187,133,217,203,161,155,215,205,185,129,213,201,183,177,159,142,218,214,206,202,194,178,166,158,146,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,66,198,154,132,126,189,135,110,190,170,130,182,104,208,176,156,112,168,90,210,150,140,80,200,160,128,120,180,108,216,162,144,192",
                    "1ms" },
            { "219", "15201", "8889",
                    "211,169,143,209,187,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,66,198,154,132,126,189,135,110,190,170,130,182,104,208,176,156,112,168,90,210,150,140,80,200,160,128,120,180,108,216,162,144,192",
                    "0ms" },
            { "220", "15346", "8964",
                    "211,169,143,209,187,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,81,189,135,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,168,216,144,80,200,160,128,192,120,180",
                    "1s" },
            { "221", "15424", "9107",
                    "211,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,207,171,153,138,186,174,117,195,114,152,102,136,204,99,165,84,81,189,135,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,168,216,144,80,200,160,128,192,120,180",
                    "2ms" },
            { "222", "15646", "9107",
                    "211,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,195,114,152,102,136,204,99,165,84,81,189,135,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,168,216,144,80,200,160,128,192,120,180",
                    "335ms" },
            { "223", "15658", "9318",
                    "223,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,75,105,147,98,212,196,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,195,114,152,102,136,204,99,165,84,81,189,135,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,168,216,144,80,200,160,128,192,120,180",
                    "2ms" },
            { "224", "15827", "9373",
                    "223,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,102,136,204,99,81,195,165,135,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,170,140,210,130,182,104,208,176,156,112,224,168,216,144,128,192,100,200,160,150,120,180",
                    "2s" },
            { "225", "15952", "9473",
                    "223,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,102,136,204,99,81,195,165,135,225,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,224,168,216,144,128,192,200,160,120,180",
                    "6s" },
            { "226", "16178", "9473",
                    "223,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,102,136,204,99,81,195,165,135,225,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,224,168,216,144,128,192,200,160,120,180",
                    "1ms" },
            { "227", "16182", "9696",
                    "227,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,102,136,204,99,81,195,165,135,225,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,170,140,210,150,130,182,104,208,176,156,112,224,168,216,144,128,192,200,160,120,180",
                    "0ms" },
            { "228", "16308", "9798",
                    "227,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,228,99,81,195,165,135,225,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,140,210,150,130,182,104,208,176,156,112,224,168,216,144,128,192,200,160,120,180,170,136,204",
                    "34s" },
            { "229", "16310", "10025",
                    "229,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,92,184,222,186,174,138,207,171,153,117,114,152,228,99,81,195,165,135,225,105,189,147,98,196,84,126,162,108,198,154,132,110,220,190,140,210,150,130,182,104,208,176,156,112,224,168,216,144,128,192,200,160,120,180,170,136,204",
                    "1ms" },
            { "230", "16540", "10025",
                    "229,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,207,171,153,117,99,81,212,188,172,164,148,124,116,92,184,138,222,186,174,114,152,228,230,190,195,165,135,225,130,110,105,189,147,104,208,156,98,196,182,154,112,224,128,84,168,126,198,162,132,220,176,140,210,150,108,216,144,192,200,160,120,180,170,136,204",
                    "377ms" },
            { "231", "16771", "10025",
                    "229,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,207,171,153,117,99,81,231,189,147,105,195,165,135,225,98,154,110,130,182,230,138,114,190,92,212,196,188,184,172,164,152,228,148,222,124,186,116,174,104,208,156,112,224,128,84,168,126,198,162,132,220,176,140,210,150,108,216,144,192,200,160,120,180,170,136,204",
                    "194ms" },
            { "232", "16911", "10117",
                    "229,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,232,222,186,174,207,171,153,138,184,117,114,152,228,99,81,231,189,147,105,195,165,135,225,98,196,154,110,230,190,130,182,104,208,156,112,224,128,84,168,126,198,162,132,220,176,140,210,150,108,216,144,192,200,160,120,180,170,136,204",
                    "42s" },
            { "233", "16915", "10346",
                    "233,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,232,222,186,174,207,171,153,138,184,117,114,152,228,99,81,231,189,147,105,195,165,135,225,98,196,154,110,230,190,130,182,104,208,156,112,224,128,84,168,126,198,162,132,220,176,140,210,150,108,216,144,192,200,160,120,180,170,136,204",
                    "1ms" },
            { "234", "17068", "10427",
                    "233,169,221,187,209,133,217,203,161,155,215,205,185,129,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,141,125,175,212,188,172,164,148,124,116,232,222,186,174,207,171,153,138,184,117,114,152,228,99,231,147,105,195,165,98,196,154,110,230,190,130,182,104,208,156,234,198,132,220,176,140,112,224,128,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192,170,136,204",
                    "115s" },
            { "235", "17174", "10556",
                    "233,169,221,187,209,133,217,203,161,155,235,215,205,185,141,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,125,175,212,188,172,164,148,124,116,232,222,186,174,207,171,153,138,184,117,114,152,228,99,231,147,105,195,165,98,196,154,110,230,190,130,182,104,208,156,234,198,132,220,176,140,112,224,128,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192,170,136,204",
                    "1ms" },
            { "236", "17410", "10556",
                    "233,169,221,187,209,133,217,203,161,155,235,215,205,185,141,219,213,201,183,177,159,146,226,218,214,206,202,194,178,166,158,125,175,98,147,105,236,212,196,188,172,164,148,124,116,232,231,165,154,110,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192,170,136,204",
                    "2s" },
            { "237", "17501", "10702",
                    "233,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,98,147,105,236,212,196,188,172,164,148,124,116,232,231,165,154,110,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192,170,136,204",
                    "2ms" },
            { "238", "17739", "10702",
                    "233,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,238,236,212,196,188,172,164,148,124,116,232,136,231,165,154,110,170,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192",
                    "4s" },
            { "239", "17745", "10935",
                    "239,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,238,236,212,196,188,172,164,148,124,116,232,136,231,165,154,110,170,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,180,108,216,162,144,192",
                    "3ms" },
            { "240", "17877", "11043",
                    "239,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,238,236,212,196,188,172,164,148,124,116,232,136,231,165,154,110,170,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,240,192,180,144,216,162",
                    "304s" },
            { "241", "17879", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,238,236,212,196,188,172,164,148,124,116,232,136,231,165,154,110,170,99,207,171,153,117,195,130,182,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,240,192,180,144,216,162",
                    "0ms" },
            { "242", "18121", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,242,154,231,165,110,99,207,171,153,117,195,130,182,238,170,236,212,196,188,172,164,148,124,116,232,136,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,135,225,150,200,160,120,240,192,180,144,216,162",
                    "9s" },
            { "243", "18364", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,98,147,105,242,154,231,165,110,99,207,171,153,117,195,130,182,238,170,236,212,196,188,172,164,148,124,116,232,136,104,208,112,224,128,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,200,160,120,240,192,180,144,216",
                    "6s" },
            { "244", "18608", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,147,105,98,244,236,212,196,188,172,164,148,124,116,232,242,154,231,165,110,99,207,171,153,117,195,130,182,104,208,112,224,128,238,170,136,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,200,160,120,240,192,180,144,216",
                    "5s" },
            { "245", "18853", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,245,147,207,171,153,117,105,195,99,231,165,98,154,242,244,236,212,196,188,172,164,148,124,116,232,110,130,182,104,208,112,224,128,238,170,136,230,184,138,222,186,174,114,190,152,228,204,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,200,160,120,240,192,180,144,216",
                    "899ms" },
            { "246", "19099", "11282",
                    "241,169,221,187,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,245,147,242,105,98,154,231,165,110,99,207,171,153,244,236,212,196,188,172,164,148,124,117,195,130,182,116,232,104,208,112,224,128,246,222,186,174,138,230,184,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,238,170,136,204,200,160,120,240,192,180,144,216",
                    "461ms" },
            { "247", "19159", "11469",
                    "241,169,247,221,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,245,147,242,105,98,154,231,165,110,99,207,171,153,244,236,212,196,188,172,164,148,124,117,195,130,182,116,232,104,208,112,224,128,246,222,186,174,138,230,184,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,238,170,136,204,200,160,120,240,192,180,144,216",
                    "2ms" },
            { "248", "19291", "11585",
                    "241,169,247,221,209,133,217,203,161,155,235,215,205,185,141,237,219,213,201,183,177,159,158,226,218,214,206,202,194,178,166,125,175,245,147,242,105,98,154,231,165,110,99,207,171,153,117,195,130,182,244,236,212,196,188,172,164,148,124,248,104,208,112,224,128,246,222,186,138,230,184,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,238,170,136,204,232,174,200,160,120,240,192,180,144,216",
                    "289s" },
            { "249", "19382", "11743",
                    "241,169,247,221,209,133,217,203,161,155,235,215,205,185,141,249,237,219,213,201,183,177,166,226,218,214,206,202,194,178,159,125,175,245,147,242,105,98,154,231,165,110,99,207,171,153,117,195,130,182,244,236,212,196,188,172,164,148,124,248,104,208,112,224,128,246,222,186,138,230,184,114,190,152,228,156,234,198,132,220,176,140,84,210,168,126,189,243,162,135,225,150,238,170,136,204,232,174,200,160,120,240,192,180,144,216",
                    "2ms" },
            { "250", "19533", "11842",
                    "241,169,247,221,209,133,217,203,161,155,235,215,205,185,141,249,237,219,213,201,183,177,166,226,218,214,206,202,194,178,159,242,125,175,245,147,105,98,154,231,165,110,250,244,236,212,196,188,172,164,148,124,248,246,222,186,238,170,136,232,174,230,184,138,207,171,153,117,195,130,182,114,190,152,228,204,104,208,156,234,112,224,128,84,168,126,189,243,162,135,225,150,210,140,220,176,132,198,200,160,120,240,192,180,144,216",
                    "602s" } };

}