Ideone.com

fork download

ab x y = iterate (\(a,b) -> (a+b+x,a*b + y)) (0,0)
 
maybeDiv x y = ( abs . fst $ ( ab x y !! 10000 ) ) > 100000
 
main = do
    mapM_ print $ [ (x, y, maybeDiv x y ) |
       y<- [ -1000,-1000+1..2.0] ,
       x<- [ -2,-2+1..2.0], 
       True ]

Runtime error #stdin #stdout 4.81s 7340KB

stdin

Standard input is empty

stdout

(-2.0,-1000.0,False)
(-1.0,-1000.0,False)
(0.0,-1000.0,False)
(1.0,-1000.0,False)
(2.0,-1000.0,False)
(-2.0,-999.0,False)
(-1.0,-999.0,False)
(0.0,-999.0,False)
(1.0,-999.0,False)
(2.0,-999.0,False)
(-2.0,-998.0,False)
(-1.0,-998.0,False)
(0.0,-998.0,False)
(1.0,-998.0,False)
(2.0,-998.0,False)
(-2.0,-997.0,False)
(-1.0,-997.0,False)
(0.0,-997.0,False)
(1.0,-997.0,False)
(2.0,-997.0,False)
(-2.0,-996.0,False)
(-1.0,-996.0,False)
(0.0,-996.0,False)
(1.0,-996.0,False)
(2.0,-996.0,False)
(-2.0,-995.0,False)
(-1.0,-995.0,False)
(0.0,-995.0,False)
(1.0,-995.0,False)
(2.0,-995.0,False)
(-2.0,-994.0,False)
(-1.0,-994.0,False)
(0.0,-994.0,False)
(1.0,-994.0,False)
(2.0,-994.0,False)
(-2.0,-993.0,False)
(-1.0,-993.0,False)
(0.0,-993.0,False)
(1.0,-993.0,False)
(2.0,-993.0,False)
(-2.0,-992.0,False)
(-1.0,-992.0,False)
(0.0,-992.0,False)
(1.0,-992.0,False)
(2.0,-992.0,False)
(-2.0,-991.0,False)
(-1.0,-991.0,False)
(0.0,-991.0,False)
(1.0,-991.0,False)
(2.0,-991.0,False)
(-2.0,-990.0,False)
(-1.0,-990.0,False)
(0.0,-990.0,False)
(1.0,-990.0,False)
(2.0,-990.0,False)
(-2.0,-989.0,False)
(-1.0,-989.0,False)
(0.0,-989.0,False)
(1.0,-989.0,False)
(2.0,-989.0,False)
(-2.0,-988.0,False)
(-1.0,-988.0,False)
(0.0,-988.0,False)
(1.0,-988.0,False)
(2.0,-988.0,False)
(-2.0,-987.0,False)
(-1.0,-987.0,False)
(0.0,-987.0,False)
(1.0,-987.0,False)
(2.0,-987.0,False)
(-2.0,-986.0,False)
(-1.0,-986.0,False)
(0.0,-986.0,False)
(1.0,-986.0,False)
(2.0,-986.0,False)
(-2.0,-985.0,False)
(-1.0,-985.0,False)
(0.0,-985.0,False)
(1.0,-985.0,False)
(2.0,-985.0,False)
(-2.0,-984.0,False)
(-1.0,-984.0,False)
(0.0,-984.0,False)
(1.0,-984.0,False)
(2.0,-984.0,False)
(-2.0,-983.0,False)
(-1.0,-983.0,False)
(0.0,-983.0,False)
(1.0,-983.0,False)
(2.0,-983.0,False)
(-2.0,-982.0,False)
(-1.0,-982.0,False)
(0.0,-982.0,False)
(1.0,-982.0,False)
(2.0,-982.0,False)
(-2.0,-981.0,False)
(-1.0,-981.0,False)
(0.0,-981.0,False)
(1.0,-981.0,False)
(2.0,-981.0,False)
(-2.0,-980.0,False)
(-1.0,-980.0,False)
(0.0,-980.0,False)
(1.0,-980.0,False)
(2.0,-980.0,False)
(-2.0,-979.0,False)
(-1.0,-979.0,False)
(0.0,-979.0,False)
(1.0,-979.0,False)
(2.0,-979.0,False)
(-2.0,-978.0,False)
(-1.0,-978.0,False)
(0.0,-978.0,False)
(1.0,-978.0,False)
(2.0,-978.0,False)
(-2.0,-977.0,False)
(-1.0,-977.0,False)
(0.0,-977.0,False)
(1.0,-977.0,False)
(2.0,-977.0,False)
(-2.0,-976.0,False)
(-1.0,-976.0,False)
(0.0,-976.0,False)
(1.0,-976.0,False)
(2.0,-976.0,False)
(-2.0,-975.0,False)
(-1.0,-975.0,False)
(0.0,-975.0,False)
(1.0,-975.0,False)
(2.0,-975.0,False)
(-2.0,-974.0,False)
(-1.0,-974.0,False)
(0.0,-974.0,False)
(1.0,-974.0,False)
(2.0,-974.0,False)
(-2.0,-973.0,False)
(-1.0,-973.0,False)
(0.0,-973.0,False)
(1.0,-973.0,False)
(2.0,-973.0,False)
(-2.0,-972.0,False)
(-1.0,-972.0,False)
(0.0,-972.0,False)
(1.0,-972.0,False)
(2.0,-972.0,False)
(-2.0,-971.0,False)
(-1.0,-971.0,False)
(0.0,-971.0,False)
(1.0,-971.0,False)
(2.0,-971.0,False)
(-2.0,-970.0,False)
(-1.0,-970.0,False)
(0.0,-970.0,False)
(1.0,-970.0,False)
(2.0,-970.0,False)
(-2.0,-969.0,False)
(-1.0,-969.0,False)
(0.0,-969.0,False)
(1.0,-969.0,False)
(2.0,-969.0,False)
(-2.0,-968.0,False)
(-1.0,-968.0,False)
(0.0,-968.0,False)
(1.0,-968.0,False)
(2.0,-968.0,False)
(-2.0,-967.0,False)
(-1.0,-967.0,False)
(0.0,-967.0,False)
(1.0,-967.0,False)
(2.0,-967.0,False)
(-2.0,-966.0,False)
(-1.0,-966.0,False)
(0.0,-966.0,False)
(1.0,-966.0,False)
(2.0,-966.0,False)
(-2.0,-965.0,False)
(-1.0,-965.0,False)
(0.0,-965.0,False)
(1.0,-965.0,False)
(2.0,-965.0,False)
(-2.0,-964.0,False)
(-1.0,-964.0,False)
(0.0,-964.0,False)
(1.0,-964.0,False)
(2.0,-964.0,False)
(-2.0,-963.0,False)
(-1.0,-963.0,False)
(0.0,-963.0,False)
(1.0,-963.0,False)
(2.0,-963.0,False)
(-2.0,-962.0,False)
(-1.0,-962.0,False)
(0.0,-962.0,False)
(1.0,-962.0,False)
(2.0,-962.0,False)
(-2.0,-961.0,False)
(-1.0,-961.0,False)
(0.0,-961.0,False)
(1.0,-961.0,False)
(2.0,-961.0,False)
(-2.0,-960.0,False)
(-1.0,-960.0,False)
(0.0,-960.0,False)
(1.0,-960.0,False)
(2.0,-960.0,False)
(-2.0,-959.0,False)
(-1.0,-959.0,False)
(0.0,-959.0,False)
(1.0,-959.0,False)
(2.0,-959.0,False)
(-2.0,-958.0,False)
(-1.0,-958.0,False)
(0.0,-958.0,False)
(1.0,-958.0,False)
(2.0,-958.0,False)
(-2.0,-957.0,False)
(-1.0,-957.0,False)
(0.0,-957.0,False)
(1.0,-957.0,False)
(2.0,-957.0,False)
(-2.0,-956.0,False)
(-1.0,-956.0,False)
(0.0,-956.0,False)
(1.0,-956.0,False)
(2.0,-956.0,False)
(-2.0,-955.0,False)
(-1.0,-955.0,False)
(0.0,-955.0,False)
(1.0,-955.0,False)
(2.0,-955.0,False)
(-2.0,-954.0,False)
(-1.0,-954.0,False)
(0.0,-954.0,False)
(1.0,-954.0,False)
(2.0,-954.0,False)
(-2.0,-953.0,False)
(-1.0,-953.0,False)
(0.0,-953.0,False)
(1.0,-953.0,False)
(2.0,-953.0,False)
(-2.0,-952.0,False)
(-1.0,-952.0,False)
(0.0,-952.0,False)
(1.0,-952.0,False)
(2.0,-952.0,False)
(-2.0,-951.0,False)
(-1.0,-951.0,False)
(0.0,-951.0,False)
(1.0,-951.0,False)
(2.0,-951.0,False)
(-2.0,-950.0,False)
(-1.0,-950.0,False)
(0.0,-950.0,False)
(1.0,-950.0,False)
(2.0,-950.0,False)
(-2.0,-949.0,False)
(-1.0,-949.0,False)
(0.0,-949.0,False)
(1.0,-949.0,False)
(2.0,-949.0,False)
(-2.0,-948.0,False)
(-1.0,-948.0,False)
(0.0,-948.0,False)
(1.0,-948.0,False)
(2.0,-948.0,False)
(-2.0,-947.0,False)
(-1.0,-947.0,False)
(0.0,-947.0,False)
(1.0,-947.0,False)
(2.0,-947.0,False)
(-2.0,-946.0,False)
(-1.0,-946.0,False)
(0.0,-946.0,False)
(1.0,-946.0,False)
(2.0,-946.0,False)
(-2.0,-945.0,False)
(-1.0,-945.0,False)
(0.0,-945.0,False)
(1.0,-945.0,False)
(2.0,-945.0,False)
(-2.0,-944.0,False)
(-1.0,-944.0,False)
(0.0,-944.0,False)
(1.0,-944.0,False)
(2.0,-944.0,False)
(-2.0,-943.0,False)
(-1.0,-943.0,False)
(0.0,-943.0,False)
(1.0,-943.0,False)
(2.0,-943.0,False)
(-2.0,-942.0,False)
(-1.0,-942.0,False)
(0.0,-942.0,False)
(1.0,-942.0,False)
(2.0,-942.0,False)
(-2.0,-941.0,False)
(-1.0,-941.0,False)
(0.0,-941.0,False)
(1.0,-941.0,False)
(2.0,-941.0,False)
(-2.0,-940.0,False)
(-1.0,-940.0,False)
(0.0,-940.0,False)
(1.0,-940.0,False)
(2.0,-940.0,False)
(-2.0,-939.0,False)
(-1.0,-939.0,False)
(0.0,-939.0,False)
(1.0,-939.0,False)
(2.0,-939.0,False)
(-2.0,-938.0,False)
(-1.0,-938.0,False)
(0.0,-938.0,False)
(1.0,-938.0,False)
(2.0,-938.0,False)
(-2.0,-937.0,False)
(-1.0,-937.0,False)
(0.0,-937.0,False)
(1.0,-937.0,False)
(2.0,-937.0,False)
(-2.0,-936.0,False)
(-1.0,-936.0,False)
(0.0,-936.0,False)
(1.0,-936.0,False)
(2.0,-936.0,False)
(-2.0,-935.0,False)
(-1.0,-935.0,False)
(0.0,-935.0,False)
(1.0,-935.0,False)
(2.0,-935.0,False)
(-2.0,-934.0,False)
(-1.0,-934.0,False)
(0.0,-934.0,False)
(1.0,-934.0,False)
(2.0,-934.0,False)
(-2.0,-933.0,False)
(-1.0,-933.0,False)
(0.0,-933.0,False)
(1.0,-933.0,False)
(2.0,-933.0,False)
(-2.0,-932.0,False)
(-1.0,-932.0,False)
(0.0,-932.0,False)
(1.0,-932.0,False)
(2.0,-932.0,False)
(-2.0,-931.0,False)
(-1.0,-931.0,False)
(0.0,-931.0,False)
(1.0,-931.0,False)
(2.0,-931.0,False)
(-2.0,-930.0,False)
(-1.0,-930.0,False)
(0.0,-930.0,False)
(1.0,-930.0,False)
(2.0,-930.0,False)
(-2.0,-929.0,False)
(-1.0,-929.0,False)
(0.0,-929.0,False)
(1.0,-929.0,False)
(2.0,-929.0,False)
(-2.0,-928.0,False)
(-1.0,-928.0,False)
(0.0,-928.0,False)
(1.0,-928.0,False)
(2.0,-928.0,False)
(-2.0,-927.0,False)
(-1.0,-927.0,False)
(0.0,-927.0,False)
(1.0,-927.0,False)
(2.0,-927.0,False)
(-2.0,-926.0,False)
(-1.0,-926.0,False)
(0.0,-926.0,False)
(1.0,-926.0,False)
(2.0,-926.0,False)
(-2.0,-925.0,False)
(-1.0,-925.0,False)
(0.0,-925.0,False)
(1.0,-925.0,False)
(2.0,-925.0,False)
(-2.0,-924.0,False)
(-1.0,-924.0,False)
(0.0,-924.0,False)
(1.0,-924.0,False)
(2.0,-924.0,False)
(-2.0,-923.0,False)
(-1.0,-923.0,False)
(0.0,-923.0,False)
(1.0,-923.0,False)
(2.0,-923.0,False)
(-2.0,-922.0,False)
(-1.0,-922.0,False)
(0.0,-922.0,False)
(1.0,-922.0,False)
(2.0,-922.0,False)
(-2.0,-921.0,False)
(-1.0,-921.0,False)
(0.0,-921.0,False)
(1.0,-921.0,False)
(2.0,-921.0,False)
(-2.0,-920.0,False)
(-1.0,-920.0,False)
(0.0,-920.0,False)
(1.0,-920.0,False)
(2.0,-920.0,False)
(-2.0,-919.0,False)
(-1.0,-919.0,False)
(0.0,-919.0,False)
(1.0,-919.0,False)
(2.0,-919.0,False)
(-2.0,-918.0,False)
(-1.0,-918.0,False)
(0.0,-918.0,False)
(1.0,-918.0,False)
(2.0,-918.0,False)
(-2.0,-917.0,False)
(-1.0,-917.0,False)
(0.0,-917.0,False)
(1.0,-917.0,False)
(2.0,-917.0,False)
(-2.0,-916.0,False)
(-1.0,-916.0,False)
(0.0,-916.0,False)
(1.0,-916.0,False)
(2.0,-916.0,False)
(-2.0,-915.0,False)
(-1.0,-915.0,False)
(0.0,-915.0,False)
(1.0,-915.0,False)
(2.0,-915.0,False)
(-2.0,-914.0,False)
(-1.0,-914.0,False)
(0.0,-914.0,False)
(1.0,-914.0,False)
(2.0,-914.0,False)
(-2.0,-913.0,False)
(-1.0,-913.0,False)
(0.0,-913.0,False)
(1.0,-913.0,False)
(2.0,-913.0,False)
(-2.0,-912.0,False)
(-1.0,-912.0,False)
(0.0,-912.0,False)
(1.0,-912.0,False)
(2.0,-912.0,False)
(-2.0,-911.0,False)
(-1.0,-911.0,False)
(0.0,-911.0,False)
(1.0,-911.0,False)
(2.0,-911.0,False)
(-2.0,-910.0,False)
(-1.0,-910.0,False)
(0.0,-910.0,False)
(1.0,-910.0,False)
(2.0,-910.0,False)
(-2.0,-909.0,False)
(-1.0,-909.0,False)
(0.0,-909.0,False)
(1.0,-909.0,False)
(2.0,-909.0,False)
(-2.0,-908.0,False)
(-1.0,-908.0,False)
(0.0,-908.0,False)
(1.0,-908.0,False)
(2.0,-908.0,False)
(-2.0,-907.0,False)
(-1.0,-907.0,False)
(0.0,-907.0,False)
(1.0,-907.0,False)
(2.0,-907.0,False)
(-2.0,-906.0,False)
(-1.0,-906.0,False)
(0.0,-906.0,False)
(1.0,-906.0,False)
(2.0,-906.0,False)
(-2.0,-905.0,False)
(-1.0,-905.0,False)
(0.0,-905.0,False)
(1.0,-905.0,False)
(2.0,-905.0,False)
(-2.0,-904.0,False)
(-1.0,-904.0,False)
(0.0,-904.0,False)
(1.0,-904.0,False)
(2.0,-904.0,False)
(-2.0,-903.0,False)
(-1.0,-903.0,False)
(0.0,-903.0,False)
(1.0,-903.0,False)
(2.0,-903.0,False)
(-2.0,-902.0,False)
(-1.0,-902.0,False)
(0.0,-902.0,False)
(1.0,-902.0,False)
(2.0,-902.0,False)
(-2.0,-901.0,False)
(-1.0,-901.0,False)
(0.0,-901.0,False)
(1.0,-901.0,False)
(2.0,-901.0,False)
(-2.0,-900.0,False)
(-1.0,-900.0,False)
(0.0,-900.0,False)
(1.0,-900.0,False)
(2.0,-900.0,False)
(-2.0,-899.0,False)
(-1.0,-899.0,False)
(0.0,-899.0,False)
(1.0,-899.0,False)
(2.0,-899.0,False)
(-2.0,-898.0,False)
(-1.0,-898.0,False)
(0.0,-898.0,False)
(1.0,-898.0,False)
(2.0,-898.0,False)
(-2.0,-897.0,False)
(-1.0,-897.0,False)
(0.0,-897.0,False)
(1.0,-897.0,False)
(2.0,-897.0,False)
(-2.0,-896.0,False)
(-1.0,-896.0,False)
(0.0,-896.0,False)
(1.0,-896.0,False)
(2.0,-896.0,False)
(-2.0,-895.0,False)
(-1.0,-895.0,False)
(0.0,-895.0,False)
(1.0,-895.0,False)
(2.0,-895.0,False)
(-2.0,-894.0,False)
(-1.0,-894.0,False)
(0.0,-894.0,False)
(1.0,-894.0,False)
(2.0,-894.0,False)
(-2.0,-893.0,False)
(-1.0,-893.0,False)
(0.0,-893.0,False)
(1.0,-893.0,False)
(2.0,-893.0,False)
(-2.0,-892.0,False)
(-1.0,-892.0,False)
(0.0,-892.0,False)
(1.0,-892.0,False)
(2.0,-892.0,False)
(-2.0,-891.0,False)
(-1.0,-891.0,False)
(0.0,-891.0,False)
(1.0,-891.0,False)
(2.0,-891.0,False)
(-2.0,-890.0,False)
(-1.0,-890.0,False)
(0.0,-890.0,False)
(1.0,-890.0,False)
(2.0,-890.0,False)
(-2.0,-889.0,False)
(-1.0,-889.0,False)
(0.0,-889.0,False)
(1.0,-889.0,False)
(2.0,-889.0,False)
(-2.0,-888.0,False)
(-1.0,-888.0,False)
(0.0,-888.0,False)
(1.0,-888.0,False)
(2.0,-888.0,False)
(-2.0,-887.0,False)
(-1.0,-887.0,False)
(0.0,-887.0,False)
(1.0,-887.0,False)
(2.0,-887.0,False)
(-2.0,-886.0,False)
(-1.0,-886.0,False)
(0.0,-886.0,False)
(1.0,-886.0,False)
(2.0,-886.0,False)
(-2.0,-885.0,False)
(-1.0,-885.0,False)
(0.0,-885.0,False)
(1.0,-885.0,False)
(2.0,-885.0,False)
(-2.0,-884.0,False)
(-1.0,-884.0,False)
(0.0,-884.0,False)
(1.0,-884.0,False)
(2.0,-884.0,False)
(-2.0,-883.0,False)
(-1.0,-883.0,False)
(0.0,-883.0,False)
(1.0,-883.0,False)
(2.0,-883.0,False)
(-2.0,-882.0,False)
(-1.0,-882.0,False)
(0.0,-882.0,False)
(1.0,-882.0,False)
(2.0,-882.0,False)
(-2.0,-881.0,False)
(-1.0,-881.0,False)
(0.0,-881.0,False)
(1.0,-881.0,False)
(2.0,-881.0,False)
(-2.0,-880.0,False)
(-1.0,-880.0,False)
(0.0,-880.0,False)
(1.0,-880.0,False)
(2.0,-880.0,False)
(-2.0,-879.0,False)
(-1.0,-879.0,False)
(0.0,-879.0,False)
(1.0,-879.0,False)
(2.0,-879.0,False)
(-2.0,-878.0,False)
(-1.0,-878.0,False)
(0.0,-878.0,False)
(1.0,-878.0,False)
(2.0,-878.0,False)
(-2.0,-877.0,False)
(-1.0,-877.0,False)
(0.0,-877.0,False)
(1.0,-877.0,False)
(2.0,-877.0,False)
(-2.0,-876.0,False)
(-1.0,-876.0,False)
(0.0,-876.0,False)
(1.0,-876.0,False)
(2.0,-876.0,False)
(-2.0,-875.0,False)
(-1.0,-875.0,False)
(0.0,-875.0,False)
(1.0,-875.0,False)
(2.0,-875.0,False)
(-2.0,-874.0,False)
(-1.0,-874.0,False)
(0.0,-874.0,False)
(1.0,-874.0,False)
(2.0,-874.0,False)
(-2.0,-873.0,False)
(-1.0,-873.0,False)
(0.0,-873.0,False)
(1.0,-873.0,False)
(2.0,-873.0,False)
(-2.0,-872.0,False)
(-1.0,-872.0,False)
(0.0,-872.0,False)
(1.0,-872.0,False)
(2.0,-872.0,False)
(-2.0,-871.0,False)
(-1.0,-871.0,False)
(0.0,-871.0,False)
(1.0,-871.0,False)
(2.0,-871.0,False)
(-2.0,-870.0,False)
(-1.0,-870.0,False)
(0.0,-870.0,False)
(1.0,-870.0,False)
(2.0,-870.0,False)
(-2.0,-869.0,False)
(-1.0,-869.0,False)
(0.0,-869.0,False)
(1.0,-869.0,False)
(2.0,-869.0,False)
(-2.0,-868.0,False)
(-1.0,-868.0,False)
(0.0,-868.0,False)
(1.0,-868.0,False)
(2.0,-868.0,False)
(-2.0,-867.0,False)
(-1.0,-867.0,False)
(0.0,-867.0,False)
(1.0,-867.0,False)
(2.0,-867.0,False)
(-2.0,-866.0,False)
(-1.0,-866.0,False)
(0.0,-866.0,False)
(1.0,-866.0,False)
(2.0,-866.0,False)
(-2.0,-865.0,False)
(-1.0,-865.0,False)
(0.0,-865.0,False)
(1.0,-865.0,False)
(2.0,-865.0,False)
(-2.0,-864.0,False)
(-1.0,-864.0,False)
(0.0,-864.0,False)
(1.0,-864.0,False)
(2.0,-864.0,False)
(-2.0,-863.0,False)
(-1.0,-863.0,False)
(0.0,-863.0,False)
(1.0,-863.0,False)
(2.0,-863.0,False)
(-2.0,-862.0,False)
(-1.0,-862.0,False)
(0.0,-862.0,False)
(1.0,-862.0,False)
(2.0,-862.0,False)
(-2.0,-861.0,False)
(-1.0,-861.0,False)
(0.0,-861.0,False)
(1.0,-861.0,False)
(2.0,-861.0,False)
(-2.0,-860.0,False)
(-1.0,-860.0,False)
(0.0,-860.0,False)
(1.0,-860.0,False)
(2.0,-860.0,False)
(-2.0,-859.0,False)
(-1.0,-859.0,False)
(0.0,-859.0,False)
(1.0,-859.0,False)
(2.0,-859.0,False)
(-2.0,-858.0,False)
(-1.0,-858.0,False)
(0.0,-858.0,False)
(1.0,-858.0,False)
(2.0,-858.0,False)
(-2.0,-857.0,False)
(-1.0,-857.0,False)
(0.0,-857.0,False)
(1.0,-857.0,False)
(2.0,-857.0,False)
(-2.0,-856.0,False)
(-1.0,-856.0,False)
(0.0,-856.0,False)
(1.0,-856.0,False)
(2.0,-856.0,False)
(-2.0,-855.0,False)
(-1.0,-855.0,False)
(0.0,-855.0,False)
(1.0,-855.0,False)
(2.0,-855.0,False)
(-2.0,-854.0,False)
(-1.0,-854.0,False)
(0.0,-854.0,False)
(1.0,-854.0,False)
(2.0,-854.0,False)
(-2.0,-853.0,False)
(-1.0,-853.0,False)
(0.0,-853.0,False)
(1.0,-853.0,False)
(2.0,-853.0,False)
(-2.0,-852.0,False)
(-1.0,-852.0,False)
(0.0,-852.0,False)
(1.0,-852.0,False)
(2.0,-852.0,False)
(-2.0,-851.0,False)
(-1.0,-851.0,False)
(0.0,-851.0,False)
(1.0,-851.0,False)
(2.0,-851.0,False)
(-2.0,-850.0,False)
(-1.0,-850.0,False)
(0.0,-850.0,False)
(1.0,-850.0,False)
(2.0,-850.0,False)
(-2.0,-849.0,False)
(-1.0,-849.0,False)
(0.0,-849.0,False)
(1.0,-849.0,False)
(2.0,-849.0,False)
(-2.0,-848.0,False)
(-1.0,-848.0,False)
(0.0,-848.0,False)
(1.0,-848.0,False)
(2.0,-848.0,False)
(-2.0,-847.0,False)
(-1.0,-847.0,False)
(0.0,-847.0,False)
(1.0,-847.0,False)
(2.0,-847.0,False)
(-2.0,-846.0,False)
(-1.0,-846.0,False)
(0.0,-846.0,False)
(1.0,-846.0,False)
(2.0,-846.0,False)
(-2.0,-845.0,False)
(-1.0,-845.0,False)
(0.0,-845.0,False)
(1.0,-845.0,False)
(2.0,-845.0,False)
(-2.0,-844.0,False)
(-1.0,-844.0,False)
(0.0,-844.0,False)
(1.0,-844.0,False)
(2.0,-844.0,False)
(-2.0,-843.0,False)
(-1.0,-843.0,False)
(0.0,-843.0,False)
(1.0,-843.0,False)
(2.0,-843.0,False)
(-2.0,-842.0,False)
(-1.0,-842.0,False)
(0.0,-842.0,False)
(1.0,-842.0,False)
(2.0,-842.0,False)
(-2.0,-841.0,False)
(-1.0,-841.0,False)
(0.0,-841.0,False)
(1.0,-841.0,False)
(2.0,-841.0,False)
(-2.0,-840.0,False)
(-1.0,-840.0,False)
(0.0,-840.0,False)
(1.0,-840.0,False)
(2.0,-840.0,False)
(-2.0,-839.0,False)
(-1.0,-839.0,False)
(0.0,-839.0,False)
(1.0,-839.0,False)
(2.0,-839.0,False)
(-2.0,-838.0,False)
(-1.0,-838.0,False)
(0.0,-838.0,False)
(1.0,-838.0,False)
(2.0,-838.0,False)
(-2.0,-837.0,False)
(-1.0,-837.0,False)
(0.0,-837.0,False)
(1.0,-837.0,False)
(2.0,-837.0,False)
(-2.0,-836.0,False)
(-1.0,-836.0,False)
(0.0,-836.0,False)
(1.0,-836.0,False)
(2.0,-836.0,False)
(-2.0,-835.0,False)
(-1.0,-835.0,False)
(0.0,-835.0,False)
(1.0,-835.0,False)
(2.0,-835.0,False)
(-2.0,-834.0,False)
(-1.0,-834.0,False)
(0.0,-834.0,False)
(1.0,-834.0,False)
(2.0,-834.0,False)
(-2.0,-833.0,False)
(-1.0,-833.0,False)
(0.0,-833.0,False)
(1.0,-833.0,False)
(2.0,-833.0,False)
(-2.0,-832.0,False)
(-1.0,-832.0,False)
(0.0,-832.0,False)
(1.0,-832.0,False)
(2.0,-832.0,False)
(-2.0,-831.0,False)
(-1.0,-831.0,False)
(0.0,-831.0,False)
(1.0,-831.0,False)
(2.0,-831.0,False)
(-2.0,-830.0,False)
(-1.0,-830.0,False)
(0.0,-830.0,False)
(1.0,-830.0,False)
(2.0,-830.0,False)
(-2.0,-829.0,False)
(-1.0,-829.0,False)
(0.0,-829.0,False)
(1.0,-829.0,False)
(2.0,-829.0,False)
(-2.0,-828.0,False)
(-1.0,-828.0,False)
(0.0,-828.0,False)
(1.0,-828.0,False)
(2.0,-828.0,False)
(-2.0,-827.0,False)
(-1.0,-827.0,False)
(0.0,-827.0,False)
(1.0,-827.0,False)
(2.0,-827.0,False)
(-2.0,-826.0,False)
(-1.0,-826.0,False)
(0.0,-826.0,False)
(1.0,-826.0,False)
(2.0,-826.0,False)
(-2.0,-825.0,False)
(-1.0,-825.0,False)
(0.0,-825.0,False)
(1.0,-825.0,False)
(2.0,-825.0,False)
(-2.0,-824.0,False)
(-1.0,-824.0,False)
(0.0,-824.0,False)
(1.0,-824.0,False)
(2.0,-824.0,False)
(-2.0,-823.0,False)
(-1.0,-823.0,False)
(0.0,-823.0,False)
(1.0,-823.0,False)
(2.0,-823.0,False)
(-2.0,-822.0,False)
(-1.0,-822.0,False)
(0.0,-822.0,False)
(1.0,-822.0,False)
(2.0,-822.0,False)
(-2.0,-821.0,False)
(-1.0,-821.0,False)
(0.0,-821.0,False)
(1.0,-821.0,False)
(2.0,-821.0,False)
(-2.0,-820.0,False)
(-1.0,-820.0,False)
(0.0,-820.0,False)
(1.0,-820.0,False)
(2.0,-820.0,False)
(-2.0,-819.0,False)
(-1.0,-819.0,False)
(0.0,-819.0,False)
(1.0,-819.0,False)
(2.0,-819.0,False)
(-2.0,-818.0,False)
(-1.0,-818.0,False)
(0.0,-818.0,False)
(1.0,-818.0,False)
(2.0,-818.0,False)
(-2.0,-817.0,False)
(-1.0,-817.0,False)
(0.0,-817.0,False)
(1.0,-817.0,False)
(2.0,-817.0,False)
(-2.0,-816.0,False)
(-1.0,-816.0,False)
(0.0,-816.0,False)
(1.0,-816.0,False)
(2.0,-816.0,False)
(-2.0,-815.0,False)
(-1.0,-815.0,False)
(0.0,-815.0,False)
(1.0,-815.0,False)
(2.0,-815.0,False)
(-2.0,-814.0,False)
(-1.0,-814.0,False)
(0.0,-814.0,False)
(1.0,-814.0,False)
(2.0,-814.0,False)
(-2.0,-813.0,False)
(-1.0,-813.0,False)
(0.0,-813.0,False)
(1.0,-813.0,False)
(2.0,-813.0,False)
(-2.0,-812.0,False)
(-1.0,-812.0,False)
(0.0,-812.0,False)
(1.0,-812.0,False)
(2.0,-812.0,False)
(-2.0,-811.0,False)
(-1.0,-811.0,False)
(0.0,-811.0,False)
(1.0,-811.0,False)
(2.0,-811.0,False)
(-2.0,-810.0,False)
(-1.0,-810.0,False)
(0.0,-810.0,False)
(1.0,-810.0,False)
(2.0,-810.0,False)
(-2.0,-809.0,False)
(-1.0,-809.0,False)
(0.0,-809.0,False)
(1.0,-809.0,False)
(2.0,-809.0,False)
(-2.0,-808.0,False)
(-1.0,-808.0,False)
(0.0,-808.0,False)
(1.0,-808.0,False)
(2.0,-808.0,False)
(-2.0,-807.0,False)
(-1.0,-807.0,False)
(0.0,-807.0,False)
(1.0,-807.0,False)
(2.0,-807.0,False)
(-2.0,-806.0,False)
(-1.0,-806.0,False)
(0.0,-806.0,False)
(1.0,-806.0,False)
(2.0,-806.0,False)
(-2.0,-805.0,False)
(-1.0,-805.0,False)
(0.0,-805.0,False)
(1.0,-805.0,False)
(2.0,-805.0,False)
(-2.0,-804.0,False)
(-1.0,-804.0,False)
(0.0,-804.0,False)
(1.0,-804.0,False)
(2.0,-804.0,False)
(-2.0,-803.0,False)
(-1.0,-803.0,False)
(0.0,-803.0,False)
(1.0,-803.0,False)
(2.0,-803.0,False)
(-2.0,-802.0,False)
(-1.0,-802.0,False)
(0.0,-802.0,False)
(1.0,-802.0,False)
(2.0,-802.0,False)
(-2.0,-801.0,False)
(-1.0,-801.0,False)
(0.0,-801.0,False)
(1.0,-801.0,False)
(2.0,-801.0,False)
(-2.0,-800.0,False)
(-1.0,-800.0,False)
(0.0,-800.0,False)
(1.0,-800.0,False)
(2.0,-800.0,False)
(-2.0,-799.0,False)
(-1.0,-799.0,False)
(0.0,-799.0,False)
(1.0,-799.0,False)
(2.0,-799.0,False)
(-2.0,-798.0,False)
(-1.0,-798.0,False)
(0.0,-798.0,False)
(1.0,-798.0,False)
(2.0,-798.0,False)
(-2.0,-797.0,False)
(-1.0,-797.0,False)
(0.0,-797.0,False)
(1.0,-797.0,False)
(2.0,-797.0,False)
(-2.0,-796.0,False)
(-1.0,-796.0,False)
(0.0,-796.0,False)
(1.0,-796.0,False)
(2.0,-796.0,False)
(-2.0,-795.0,False)
(-1.0,-795.0,False)
(0.0,-795.0,False)
(1.0,-795.0,False)
(2.0,-795.0,False)
(-2.0,-794.0,False)
(-1.0,-794.0,False)
(0.0,-794.0,False)
(1.0,-794.0,False)
(2.0,-794.0,False)
(-2.0,-793.0,False)
(-1.0,-793.0,False)
(0.0,-793.0,False)
(1.0,-793.0,False)
(2.0,-793.0,False)
(-2.0,-792.0,False)
(-1.0,-792.0,False)
(0.0,-792.0,False)
(1.0,-792.0,False)
(2.0,-792.0,False)
(-2.0,-791.0,False)
(-1.0,-791.0,False)
(0.0,-791.0,False)
(1.0,-791.0,False)
(2.0,-791.0,False)
(-2.0,-790.0,False)
(-1.0,-790.0,False)
(0.0,-790.0,False)
(1.0,-790.0,False)
(2.0,-790.0,False)
(-2.0,-789.0,False)
(-1.0,-789.0,False)
(0.0,-789.0,False)
(1.0,-789.0,False)
(2.0,-789.0,False)
(-2.0,-788.0,False)
(-1.0,-788.0,False)
(0.0,-788.0,False)
(1.0,-788.0,False)
(2.0,-788.0,False)
(-2.0,-787.0,False)
(-1.0,-787.0,False)
(0.0,-787.0,False)
(1.0,-787.0,False)
(2.0,-787.0,False)
(-2.0,-786.0,False)
(-1.0,-786.0,False)
(0.0,-786.0,False)
(1.0,-786.0,False)
(2.0,-786.0,False)
(-2.0,-785.0,False)
(-1.0,-785.0,False)
(0.0,-785.0,False)
(1.0,-785.0,False)
(2.0,-785.0,False)
(-2.0,-784.0,False)
(-1.0,-784.0,False)
(0.0,-784.0,False)
(1.0,-784.0,False)
(2.0,-784.0,False)
(-2.0,-783.0,False)
(-1.0,-783.0,False)
(0.0,-783.0,False)
(1.0,-783.0,False)
(2.0,-783.0,False)
(-2.0,-782.0,False)
(-1.0,-782.0,False)
(0.0,-782.0,False)
(1.0,-782.0,False)
(2.0,-782.0,False)
(-2.0,-781.0,False)
(-1.0,-781.0,False)
(0.0,-781.0,False)
(1.0,-781.0,False)
(2.0,-781.0,False)
(-2.0,-780.0,False)
(-1.0,-780.0,False)
(0.0,-780.0,False)
(1.0,-780.0,False)
(2.0,-780.0,False)
(-2.0,-779.0,False)
(-1.0,-779.0,False)
(0.0,-779.0,False)
(1.0,-779.0,False)
(2.0,-779.0,False)
(-2.0,-778.0,False)
(-1.0,-778.0,False)
(0.0,-778.0,False)
(1.0,-778.0,False)
(2.0,-778.0,False)
(-2.0,-777.0,False)
(-1.0,-777.0,False)
(0.0,-777.0,False)
(1.0,-777.0,False)
(2.0,-777.0,False)
(-2.0,-776.0,False)
(-1.0,-776.0,False)
(0.0,-776.0,False)
(1.0,-776.0,False)
(2.0,-776.0,False)
(-2.0,-775.0,False)
(-1.0,-775.0,False)
(0.0,-775.0,False)
(1.0,-775.0,False)
(2.0,-775.0,False)
(-2.0,-774.0,False)
(-1.0,-774.0,False)
(0.0,-774.0,False)
(1.0,-774.0,False)
(2.0,-774.0,False)
(-2.0,-773.0,False)
(-1.0,-773.0,False)
(0.0,-773.0,False)
(1.0,-773.0,False)
(2.0,-773.0,False)
(-2.0,-772.0,False)
(-1.0,-772.0,False)
(0.0,-772.0,False)
(1.0,-772.0,False)
(2.0,-772.0,False)
(-2.0,-771.0,False)
(-1.0,-771.0,False)
(0.0,-771.0,False)
(1.0,-771.0,False)
(2.0,-771.0,False)
(-2.0,-770.0,False)
(-1.0,-770.0,False)
(0.0,-770.0,False)
(1.0,-770.0,False)
(2.0,-770.0,False)
(-2.0,-769.0,False)
(-1.0,-769.0,False)
(0.0,-769.0,False)
(1.0,-769.0,False)
(2.0,-769.0,False)
(-2.0,-768.0,False)
(-1.0,-768.0,False)
(0.0,-768.0,False)
(1.0,-768.0,False)
(2.0,-768.0,False)
(-2.0,-767.0,False)
(-1.0,-767.0,False)
(0.0,-767.0,False)
(1.0,-767.0,False)
(2.0,-767.0,False)
(-2.0,-766.0,False)
(-1.0,-766.0,False)
(0.0,-766.0,False)
(1.0,-766.0,False)
(2.0,-766.0,False)
(-2.0,-765.0,False)
(-1.0,-765.0,False)
(0.0,-765.0,False)
(1.0,-765.0,False)
(2.0,-765.0,False)
(-2.0,-764.0,False)
(-1.0,-764.0,False)
(0.0,-764.0,False)
(1.0,-764.0,False)
(2.0,-764.0,False)
(-2.0,-763.0,False)
(-1.0,-763.0,False)
(0.0,-763.0,False)
(1.0,-763.0,False)
(2.0,-763.0,False)
(-2.0,-762.0,False)
(-1.0,-762.0,False)
(0.0,-762.0,False)
(1.0,-762.0,False)
(2.0,-762.0,False)
(-2.0,-761.0,False)
(-1.0,-761.0,False)
(0.0,-761.0,False)
(1.0,-761.0,False)
(2.0,-761.0,False)
(-2.0,-760.0,False)
(-1.0,-760.0,False)
(0.0,-760.0,False)
(1.0,-760.0,False)
(2.0,-760.0,False)
(-2.0,-759.0,False)
(-1.0,-759.0,False)
(0.0,-759.0,False)
(1.0,-759.0,False)
(2.0,-759.0,False)
(-2.0,-758.0,False)
(-1.0,-758.0,False)
(0.0,-758.0,False)
(1.0,-758.0,False)
(2.0,-758.0,False)
(-2.0,-757.0,False)
(-1.0,-757.0,False)
(0.0,-757.0,False)
(1.0,-757.0,False)
(2.0,-757.0,False)
(-2.0,-756.0,False)
(-1.0,-756.0,False)
(0.0,-756.0,False)
(1.0,-756.0,False)
(2.0,-756.0,False)
(-2.0,-755.0,False)
(-1.0,-755.0,False)
(0.0,-755.0,False)
(1.0,-755.0,False)
(2.0,-755.0,False)
(-2.0,-754.0,False)
(-1.0,-754.0,False)
(0.0,-754.0,False)
(1.0,-754.0,False)
(2.0,-754.0,False)
(-2.0,-753.0,False)
(-1.0,-753.0,False)
(0.0,-753.0,False)
(1.0,-753.0,False)
(2.0,-753.0,False)
(-2.0,-752.0,False)
(-1.0,-752.0,False)
(0.0,-752.0,False)
(1.0,-752.0,False)
(2.0,-752.0,False)
(-2.0,-751.0,False)
(-1.0,-751.0,False)
(0.0,-751.0,False)
(1.0,-751.0,False)
(2.0,-751.0,False)
(-2.0,-750.0,False)
(-1.0,-750.0,False)
(0.0,-750.0,False)
(1.0,-750.0,False)
(2.0,-750.0,False)
(-2.0,-749.0,False)
(-1.0,-749.0,False)
(0.0,-749.0,False)
(1.0,-749.0,False)
(2.0,-749.0,False)
(-2.0,-748.0,False)
(-1.0,-748.0,False)
(0.0,-748.0,False)
(1.0,-748.0,False)
(2.0,-748.0,False)
(-2.0,-747.0,False)
(-1.0,-747.0,False)
(0.0,-747.0,False)
(1.0,-747.0,False)
(2.0,-747.0,False)
(-2.0,-746.0,False)
(-1.0,-746.0,False)
(0.0,-746.0,False)
(1.0,-746.0,False)
(2.0,-746.0,False)
(-2.0,-745.0,False)
(-1.0,-745.0,False)
(0.0,-745.0,False)
(1.0,-745.0,False)
(2.0,-745.0,False)
(-2.0,-744.0,False)
(-1.0,-744.0,False)
(0.0,-744.0,False)
(1.0,-744.0,False)
(2.0,-744.0,False)
(-2.0,-743.0,False)
(-1.0,-743.0,False)
(0.0,-743.0,False)
(1.0,-743.0,False)
(2.0,-743.0,False)
(-2.0,-742.0,False)
(-1.0,-742.0,False)
(0.0,-742.0,False)
(1.0,-742.0,False)
(2.0,-742.0,False)
(-2.0,-741.0,False)
(-1.0,-741.0,False)
(0.0,-741.0,False)
(1.0,-741.0,False)
(2.0,-741.0,False)
(-2.0,-740.0,False)
(-1.0,-740.0,False)
(0.0,-740.0,False)
(1.0,-740.0,False)
(2.0,-740.0,False)
(-2.0,-739.0,False)
(-1.0,-739.0,False)
(0.0,-739.0,False)
(1.0,-739.0,False)
(2.0,-739.0,False)
(-2.0,-738.0,False)
(-1.0,-738.0,False)
(0.0,-738.0,False)
(1.0,-738.0,False)
(2.0,-738.0,False)
(-2.0,-737.0,False)
(-1.0,-737.0,False)
(0.0,-737.0,False)
(1.0,-737.0,False)
(2.0,-737.0,False)
(-2.0,-736.0,False)
(-1.0,-736.0,False)
(0.0,-736.0,False)
(1.0,-736.0,False)
(2.0,-736.0,False)
(-2.0,-735.0,False)
(-1.0,-735.0,False)
(0.0,-735.0,False)
(1.0,-735.0,False)
(2.0,-735.0,False)
(-2.0,-734.0,False)
(-1.0,-734.0,False)
(0.0,-734.0,False)
(1.0,-734.0,False)
(2.0,-734.0,False)
(-2.0,-733.0,False)
(-1.0,-733.0,False)
(0.0,-733.0,False)
(1.0,-733.0,False)
(2.0,-733.0,False)
(-2.0,-732.0,False)
(-1.0,-732.0,False)
(0.0,-732.0,False)
(1.0,-732.0,False)
(2.0,-732.0,False)
(-2.0,-731.0,False)
(-1.0,-731.0,False)
(0.0,-731.0,False)
(1.0,-731.0,False)
(2.0,-731.0,False)
(-2.0,-730.0,False)
(-1.0,-730.0,False)
(0.0,-730.0,False)
(1.0,-730.0,False)
(2.0,-730.0,False)
(-2.0,-729.0,False)
(-1.0,-729.0,False)
(0.0,-729.0,False)
(1.0,-729.0,False)
(2.0,-729.0,False)
(-2.0,-728.0,False)
(-1.0,-728.0,False)
(0.0,-728.0,False)
(1.0,-728.0,False)
(2.0,-728.0,False)
(-2.0,-727.0,False)
(-1.0,-727.0,False)
(0.0,-727.0,False)
(1.0,-727.0,False)
(2.0,-727.0,False)
(-2.0,-726.0,False)
(-1.0,-726.0,False)
(0.0,-726.0,False)
(1.0,-726.0,False)
(2.0,-726.0,False)
(-2.0,-725.0,False)
(-1.0,-725.0,False)
(0.0,-725.0,False)
(1.0,-725.0,False)
(2.0,-725.0,False)
(-2.0,-724.0,False)
(-1.0,-724.0,False)
(0.0,-724.0,False)
(1.0,-724.0,False)
(2.0,-724.0,False)
(-2.0,-723.0,False)
(-1.0,-723.0,False)
(0.0,-723.0,False)
(1.0,-723.0,False)
(2.0,-723.0,False)
(-2.0,-722.0,False)
(-1.0,-722.0,False)
(0.0,-722.0,False)
(1.0,-722.0,False)
(2.0,-722.0,False)
(-2.0,-721.0,False)
(-1.0,-721.0,False)
(0.0,-721.0,False)
(1.0,-721.0,False)
(2.0,-721.0,False)
(-2.0,-720.0,False)
(-1.0,-720.0,False)
(0.0,-720.0,False)
(1.0,-720.0,False)
(2.0,-720.0,False)
(-2.0,-719.0,False)
(-1.0,-719.0,False)
(0.0,-719.0,False)
(1.0,-719.0,False)
(2.0,-719.0,False)
(-2.0,-718.0,False)
(-1.0,-718.0,False)
(0.0,-718.0,False)
(1.0,-718.0,False)
(2.0,-718.0,False)
(-2.0,-717.0,False)
(-1.0,-717.0,False)
(0.0,-717.0,False)
(1.0,-717.0,False)
(2.0,-717.0,False)
(-2.0,-716.0,False)
(-1.0,-716.0,False)
(0.0,-716.0,False)
(1.0,-716.0,False)
(2.0,-716.0,False)
(-2.0,-715.0,False)
(-1.0,-715.0,False)
(0.0,-715.0,False)
(1.0,-715.0,False)
(2.0,-715.0,False)
(-2.0,-714.0,False)
(-1.0,-714.0,False)
(0.0,-714.0,False)
(1.0,-714.0,False)
(2.0,-714.0,False)
(-2.0,-713.0,False)
(-1.0,-713.0,False)
(0.0,-713.0,False)
(1.0,-713.0,False)
(2.0,-713.0,False)
(-2.0,-712.0,False)
(-1.0,-712.0,False)
(0.0,-712.0,False)
(1.0,-712.0,False)
(2.0,-712.0,False)
(-2.0,-711.0,False)
(-1.0,-711.0,False)
(0.0,-711.0,False)
(1.0,-711.0,False)
(2.0,-711.0,False)
(-2.0,-710.0,False)
(-1.0,-710.0,False)
(0.0,-710.0,False)
(1.0,-710.0,False)
(2.0,-710.0,False)
(-2.0,-709.0,False)
(-1.0,-709.0,False)
(0.0,-709.0,False)
(1.0,-709.0,False)
(2.0,-709.0,False)
(-2.0,-708.0,False)
(-1.0,-708.0,False)
(0.0,-708.0,False)
(1.0,-708.0,False)
(2.0,-708.0,False)
(-2.0,-707.0,False)
(-1.0,-707.0,False)
(0.0,-707.0,False)
(1.0,-707.0,False)
(2.0,-707.0,False)
(-2.0,-706.0,False)
(-1.0,-706.0,False)
(0.0,-706.0,False)
(1.0,-706.0,False)
(2.0,-706.0,False)
(-2.0,-705.0,False)
(-1.0,-705.0,False)
(0.0,-705.0,False)
(1.0,-705.0,False)
(2.0,-705.0,False)
(-2.0,-704.0,False)
(-1.0,-704.0,False)
(0.0,-704.0,False)
(1.0,-704.0,False)
(2.0,-704.0,False)
(-2.0,-703.0,False)
(-1.0,-703.0,False)
(0.0,-703.0,False)
(1.0,-703.0,False)
(2.0,-703.0,False)
(-2.0,-702.0,False)
(-1.0,-702.0,False)
(0.0,-702.0,False)
(1.0,-702.0,False)
(2.0,-702.0,False)
(-2.0,-701.0,False)
(-1.0,-701.0,False)
(0.0,-701.0,False)
(1.0,-701.0,False)
(2.0,-701.0,False)
(-2.0,-700.0,False)
(-1.0,-700.0,False)
(0.0,-700.0,False)
(1.0,-700.0,False)
(2.0,-700.0,False)
(-2.0,-699.0,False)
(-1.0,-699.0,False)
(0.0,-699.0,False)
(1.0,-699.0,False)
(2.0,-699.0,False)
(-2.0,-698.0,False)
(-1.0,-698.0,False)
(0.0,-698.0,False)
(1.0,-698.0,False)
(2.0,-698.0,False)
(-2.0,-697.0,False)
(-1.0,-697.0,False)
(0.0,-697.0,False)
(1.0,-697.0,False)
(2.0,-697.0,False)
(-2.0,-696.0,False)
(-1.0,-696.0,False)
(0.0,-696.0,False)
(1.0,-696.0,False)
(2.0,-696.0,False)
(-2.0,-695.0,False)
(-1.0,-695.0,False)
(0.0,-695.0,False)
(1.0,-695.0,False)
(2.0,-695.0,False)
(-2.0,-694.0,False)
(-1.0,-694.0,False)
(0.0,-694.0,False)
(1.0,-694.0,False)
(2.0,-694.0,False)
(-2.0,-693.0,False)
(-1.0,-693.0,False)
(0.0,-693.0,False)
(1.0,-693.0,False)
(2.0,-693.0,False)
(-2.0,-692.0,False)
(-1.0,-692.0,False)
(0.0,-692.0,False)
(1.0,-692.0,False)
(2.0,-692.0,False)
(-2.0,-691.0,False)
(-1.0,-691.0,False)
(0.0,-691.0,False)
(1.0,-691.0,False)
(2.0,-691.0,False)
(-2.0,-690.0,False)
(-1.0,-690.0,False)
(0.0,-690.0,False)
(1.0,-690.0,False)
(2.0,-690.0,False)
(-2.0,-689.0,False)
(-1.0,-689.0,False)
(0.0,-689.0,False)
(1.0,-689.0,False)
(2.0,-689.0,False)
(-2.0,-688.0,False)
(-1.0,-688.0,False)
(0.0,-688.0,False)
(1.0,-688.0,False)
(2.0,-688.0,False)
(-2.0,-687.0,False)
(-1.0,-687.0,False)
(0.0,-687.0,False)
(1.0,-687.0,False)
(2.0,-687.0,False)
(-2.0,-686.0,False)
(-1.0,-686.0,False)
(0.0,-686.0,False)
(1.0,-686.0,False)
(2.0,-686.0,False)
(-2.0,-685.0,False)
(-1.0,-685.0,False)
(0.0,-685.0,False)
(1.0,-685.0,False)
(2.0,-685.0,False)
(-2.0,-684.0,False)
(-1.0,-684.0,False)
(0.0,-684.0,False)
(1.0,-684.0,False)
(2.0,-684.0,False)
(-2.0,-683.0,False)
(-1.0,-683.0,False)
(0.0,-683.0,False)
(1.0,-683.0,False)
(2.0,-683.0,False)
(-2.0,-682.0,False)
(-1.0,-682.0,False)
(0.0,-682.0,False)
(1.0,-682.0,False)
(2.0,-682.0,False)
(-2.0,-681.0,False)
(-1.0,-681.0,False)
(0.0,-681.0,False)
(1.0,-681.0,False)
(2.0,-681.0,False)
(-2.0,-680.0,False)
(-1.0,-680.0,False)
(0.0,-680.0,False)
(1.0,-680.0,False)
(2.0,-680.0,False)
(-2.0,-679.0,False)
(-1.0,-679.0,False)
(0.0,-679.0,False)
(1.0,-679.0,False)
(2.0,-679.0,False)
(-2.0,-678.0,False)
(-1.0,-678.0,False)
(0.0,-678.0,False)
(1.0,-678.0,False)
(2.0,-678.0,False)
(-2.0,-677.0,False)
(-1.0,-677.0,False)
(0.0,-677.0,False)
(1.0,-677.0,False)
(2.0,-677.0,False)
(-2.0,-676.0,False)
(-1.0,-676.0,False)
(0.0,-676.0,False)
(1.0,-676.0,False)
(2.0,-676.0,False)
(-2.0,-675.0,False)
(-1.0,-675.0,False)
(0.0,-675.0,False)
(1.0,-675.0,False)
(2.0,-675.0,False)
(-2.0,-674.0,False)
(-1.0,-674.0,False)
(0.0,-674.0,False)
(1.0,-674.0,False)
(2.0,-674.0,False)
(-2.0,-673.0,False)
(-1.0,-673.0,False)
(0.0,-673.0,False)
(1.0,-673.0,False)
(2.0,-673.0,False)
(-2.0,-672.0,False)
(-1.0,-672.0,False)
(0.0,-672.0,False)
(1.0,-672.0,False)
(2.0,-672.0,False)
(-2.0,-671.0,False)
(-1.0,-671.0,False)
(0.0,-671.0,False)
(1.0,-671.0,False)
(2.0,-671.0,False)
(-2.0,-670.0,False)
(-1.0,-670.0,False)
(0.0,-670.0,False)
(1.0,-670.0,False)
(2.0,-670.0,False)
(-2.0,-669.0,False)
(-1.0,-669.0,False)
(0.0,-669.0,False)
(1.0,-669.0,False)
(2.0,-669.0,False)
(-2.0,-668.0,False)
(-1.0,-668.0,False)
(0.0,-668.0,False)
(1.0,-668.0,False)
(2.0,-668.0,False)
(-2.0,-667.0,False)
(-1.0,-667.0,False)
(0.0,-667.0,False)
(1.0,-667.0,False)
(2.0,-667.0,False)
(-2.0,-666.0,False)
(-1.0,-666.0,False)
(0.0,-666.0,False)
(1.0,-666.0,False)
(2.0,-666.0,False)
(-2.0,-665.0,False)
(-1.0,-665.0,False)
(0.0,-665.0,False)
(1.0,-665.0,False)
(2.0,-665.0,False)
(-2.0,-664.0,False)
(-1.0,-664.0,False)
(0.0,-664.0,False)
(1.0,-664.0,False)
(2.0,-664.0,False)
(-2.0,-663.0,False)
(-1.0,-663.0,False)
(0.0,-663.0,False)
(1.0,-663.0,False)
(2.0,-663.0,False)
(-2.0,-662.0,False)
(-1.0,-662.0,False)
(0.0,-662.0,False)
(1.0,-662.0,False)
(2.0,-662.0,False)
(-2.0,-661.0,False)
(-1.0,-661.0,False)
(0.0,-661.0,False)
(1.0,-661.0,False)
(2.0,-661.0,False)
(-2.0,-660.0,False)
(-1.0,-660.0,False)
(0.0,-660.0,False)
(1.0,-660.0,False)
(2.0,-660.0,False)
(-2.0,-659.0,False)
(-1.0,-659.0,False)
(0.0,-659.0,False)
(1.0,-659.0,False)
(2.0,-659.0,False)
(-2.0,-658.0,False)
(-1.0,-658.0,False)
(0.0,-658.0,False)
(1.0,-658.0,False)
(2.0,-658.0,False)
(-2.0,-657.0,False)
(-1.0,-657.0,False)
(0.0,-657.0,False)
(1.0,-657.0,False)
(2.0,-657.0,False)
(-2.0,-656.0,False)
(-1.0,-656.0,False)
(0.0,-656.0,False)
(1.0,-656.0,False)
(2.0,-656.0,False)
(-2.0,-655.0,False)
(-1.0,-655.0,False)
(0.0,-655.0,False)
(1.0,-655.0,False)
(2.0,-655.0,False)
(-2.0,-654.0,False)
(-1.0,-654.0,False)
(0.0,-654.0,False)
(1.0,-654.0,False)
(2.0,-654.0,False)
(-2.0,-653.0,False)
(-1.0,-653.0,False)
(0.0,-653.0,False)
(1.0,-653.0,False)
(2.0,-653.0,False)
(-2.0,-652.0,False)
(-1.0,-652.0,False)
(0.0,-652.0,False)
(1.0,-652.0,False)
(2.0,-652.0,False)
(-2.0,-651.0,False)
(-1.0,-651.0,False)
(0.0,-651.0,False)
(1.0,-651.0,False)
(2.0,-651.0,False)
(-2.0,-650.0,False)
(-1.0,-650.0,False)
(0.0,-650.0,False)
(1.0,-650.0,False)
(2.0,-650.0,False)
(-2.0,-649.0,False)
(-1.0,-649.0,False)
(0.0,-649.0,False)
(1.0,-649.0,False)
(2.0,-649.0,False)
(-2.0,-648.0,False)
(-1.0,-648.0,False)
(0.0,-648.0,False)
(1.0,-648.0,False)
(2.0,-648.0,False)
(-2.0,-647.0,False)
(-1.0,-647.0,False)
(0.0,-647.0,False)
(1.0,-647.0,False)
(2.0,-647.0,False)
(-2.0,-646.0,False)
(-1.0,-646.0,False)
(0.0,-646.0,False)
(1.0,-646.0,False)
(2.0,-646.0,False)
(-2.0,-645.0,False)
(-1.0,-645.0,False)
(0.0,-645.0,False)
(1.0,-645.0,False)
(2.0,-645.0,False)
(-2.0,-644.0,False)
(-1.0,-644.0,False)
(0.0,-644.0,False)
(1.0,-644.0,False)
(2.0,-644.0,False)
(-2.0,-643.0,False)
(-1.0,-643.0,False)
(0.0,-643.0,False)
(1.0,-643.0,False)
(2.0,-643.0,False)
(-2.0,-642.0,False)
(-1.0,-642.0,False)
(0.0,-642.0,False)
(1.0,-642.0,False)
(2.0,-642.0,False)
(-2.0,-641.0,False)
(-1.0,-641.0,False)
(0.0,-641.0,False)
(1.0,-641.0,False)
(2.0,-641.0,False)
(-2.0,-640.0,False)
(-1.0,-640.0,False)
(0.0,-640.0,False)
(1.0,-640.0,False)
(2.0,-640.0,False)
(-2.0,-639.0,False)
(-1.0,-639.0,False)
(0.0,-639.0,False)
(1.0,-639.0,False)
(2.0,-639.0,False)
(-2.0,-638.0,False)
(-1.0,-638.0,False)
(0.0,-638.0,False)
(1.0,-638.0,False)
(2.0,-638.0,False)
(-2.0,-637.0,False)
(-1.0,-637.0,False)
(0.0,-637.0,False)
(1.0,-637.0,False)
(2.0,-637.0,False)
(-2.0,-636.0,False)
(-1.0,-636.0,False)
(0.0,-636.0,False)
(1.0,-636.0,False)
(2.0,-636.0,False)
(-2.0,-635.0,False)
(-1.0,-635.0,False)
(0.0,-635.0,False)
(1.0,-635.0,False)
(2.0,-635.0,False)
(-2.0,-634.0,False)
(-1.0,-634.0,False)
(0.0,-634.0,False)
(1.0,-634.0,False)
(2.0,-634.0,False)
(-2.0,-633.0,False)
(-1.0,-633.0,False)
(0.0,-633.0,False)
(1.0,-633.0,False)
(2.0,-633.0,False)
(-2.0,-632.0,False)
(-1.0,-632.0,False)
(0.0,-632.0,False)
(1.0,-632.0,False)
(2.0,-632.0,False)
(-2.0,-631.0,False)
(-1.0,-631.0,False)
(0.0,-631.0,False)
(1.0,-631.0,False)
(2.0,-631.0,False)
(-2.0,-630.0,False)
(-1.0,-630.0,False)
(0.0,-630.0,False)
(1.0,-630.0,False)
(2.0,-630.0,False)
(-2.0,-629.0,False)
(-1.0,-629.0,False)
(0.0,-629.0,False)
(1.0,-629.0,False)
(2.0,-629.0,False)
(-2.0,-628.0,False)
(-1.0,-628.0,False)
(0.0,-628.0,False)
(1.0,-628.0,False)
(2.0,-628.0,False)
(-2.0,-627.0,False)
(-1.0,-627.0,False)
(0.0,-627.0,False)
(1.0,-627.0,False)
(2.0,-627.0,False)
(-2.0,-626.0,False)
(-1.0,-626.0,False)
(0.0,-626.0,False)
(1.0,-626.0,False)
(2.0,-626.0,False)
(-2.0,-625.0,False)
(-1.0,-625.0,False)
(0.0,-625.0,False)
(1.0,-625.0,False)
(2.0,-625.0,False)
(-2.0,-624.0,False)
(-1.0,-624.0,False)
(0.0,-624.0,False)
(1.0,-624.0,False)
(2.0,-624.0,False)
(-2.0,-623.0,False)
(-1.0,-623.0,False)
(0.0,-623.0,False)
(1.0,-623.0,False)
(2.0,-623.0,False)
(-2.0,-622.0,False)
(-1.0,-622.0,False)
(0.0,-622.0,False)
(1.0,-622.0,False)
(2.0,-622.0,False)
(-2.0,-621.0,False)
(-1.0,-621.0,False)
(0.0,-621.0,False)
(1.0,-621.0,False)
(2.0,-621.0,False)
(-2.0,-620.0,False)
(-1.0,-620.0,False)
(0.0,-620.0,False)
(1.0,-620.0,False)
(2.0,-620.0,False)
(-2.0,-619.0,False)
(-1.0,-619.0,False)
(0.0,-619.0,False)
(1.0,-619.0,False)
(2.0,-619.0,False)
(-2.0,-618.0,False)
(-1.0,-618.0,False)
(0.0,-618.0,False)
(1.0,-618.0,False)
(2.0,-618.0,False)
(-2.0,-617.0,False)
(-1.0,-617.0,False)
(0.0,-617.0,False)
(1.0,-617.0,False)
(2.0,-617.0,False)
(-2.0,-616.0,False)
(-1.0,-616.0,False)
(0.0,-616.0,False)
(1.0,-616.0,False)
(2.0,-616.0,False)
(-2.0,-615.0,False)
(-1.0,-615.0,False)
(0.0,-615.0,False)
(1.0,-615.0,False)
(2.0,-615.0,False)
(-2.0,-614.0,False)
(-1.0,-614.0,False)
(0.0,-614.0,False)
(1.0,-614.0,False)
(2.0,-614.0,False)
(-2.0,-613.0,False)
(-1.0,-613.0,False)
(0.0,-613.0,False)
(1.0,-613.0,False)
(2.0,-613.0,False)
(-2.0,-612.0,False)
(-1.0,-612.0,False)
(0.0,-612.0,False)
(1.0,-612.0,False)
(2.0,-612.0,False)
(-2.0,-611.0,False)
(-1.0,-611.0,False)
(0.0,-611.0,False)
(1.0,-611.0,False)
(2.0,-611.0,False)
(-2.0,-610.0,False)
(-1.0,-610.0,False)
(0.0,-610.0,False)
(1.0,-610.0,False)
(2.0,-610.0,False)
(-2.0,-609.0,False)
(-1.0,-609.0,False)
(0.0,-609.0,False)
(1.0,-609.0,False)
(2.0,-609.0,False)
(-2.0,-608.0,False)
(-1.0,-608.0,False)
(0.0,-608.0,False)
(1.0,-608.0,False)
(2.0,-608.0,False)
(-2.0,-607.0,False)
(-1.0,-607.0,False)
(0.0,-607.0,False)
(1.0,-607.0,False)
(2.0,-607.0,False)
(-2.0,-606.0,False)
(-1.0,-606.0,False)
(0.0,-606.0,False)
(1.0,-606.0,False)
(2.0,-606.0,False)
(-2.0,-605.0,False)
(-1.0,-605.0,False)
(0.0,-605.0,False)
(1.0,-605.0,False)
(2.0,-605.0,False)
(-2.0,-604.0,False)
(-1.0,-604.0,False)
(0.0,-604.0,False)
(1.0,-604.0,False)
(2.0,-604.0,False)
(-2.0,-603.0,False)
(-1.0,-603.0,False)
(0.0,-603.0,False)
(1.0,-603.0,False)
(2.0,-603.0,False)
(-2.0,-602.0,False)
(-1.0,-602.0,False)
(0.0,-602.0,False)
(1.0,-602.0,False)
(2.0,-602.0,False)
(-2.0,-601.0,False)
(-1.0,-601.0,False)
(0.0,-601.0,False)
(1.0,-601.0,False)
(2.0,-601.0,False)
(-2.0,-600.0,False)
(-1.0,-600.0,False)
(0.0,-600.0,False)
(1.0,-600.0,False)
(2.0,-600.0,False)
(-2.0,-599.0,False)
(-1.0,-599.0,False)
(0.0,-599.0,False)
(1.0,-599.0,False)
(2.0,-599.0,False)
(-2.0,-598.0,False)
(-1.0,-598.0,False)
(0.0,-598.0,False)
(1.0,-598.0,False)
(2.0,-598.0,False)
(-2.0,-597.0,False)
(-1.0,-597.0,False)
(0.0,-597.0,False)
(1.0,-597.0,False)
(2.0,-597.0,False)
(-2.0,-596.0,False)
(-1.0,-596.0,False)
(0.0,-596.0,False)
(1.0,-596.0,False)
(2.0,-596.0,False)
(-2.0,-595.0,False)
(-1.0,-595.0,False)
(0.0,-595.0,False)
(1.0,-595.0,False)
(2.0,-595.0,False)
(-2.0,-594.0,False)
(-1.0,-594.0,False)
(0.0,-594.0,False)
(1.0,-594.0,False)
(2.0,-594.0,False)
(-2.0,-593.0,False)
(-1.0,-593.0,False)
(0.0,-593.0,False)
(1.0,-593.0,False)
(2.0,-593.0,False)
(-2.0,-592.0,False)
(-1.0,-592.0,False)
(0.0,-592.0,False)
(1.0,-592.0,False)
(2.0,-592.0,False)
(-2.0,-591.0,False)
(-1.0,-591.0,False)
(0.0,-591.0,False)
(1.0,-591.0,False)
(2.0,-591.0,False)
(-2.0,-590.0,False)
(-1.0,-590.0,False)
(0.0,-590.0,False)
(1.0,-590.0,False)
(2.0,-590.0,False)
(-2.0,-589.0,False)
(-1.0,-589.0,False)
(0.0,-589.0,False)
(1.0,-589.0,False)
(2.0,-589.0,False)
(-2.0,-588.0,False)
(-1.0,-588.0,False)
(0.0,-588.0,False)
(1.0,-588.0,False)
(2.0,-588.0,False)
(-2.0,-587.0,False)
(-1.0,-587.0,False)
(0.0,-587.0,False)
(1.0,-587.0,False)
(2.0,-587.0,False)
(-2.0,-586.0,False)
(-1.0,-586.0,False)
(0.0,-586.0,False)
(1.0,-586.0,False)
(2.0,-586.0,False)
(-2.0,-585.0,False)
(-1.0,-585.0,False)
(0.0,-585.0,False)
(1.0,-585.0,False)
(2.0,-585.0,False)
(-2.0,-584.0,False)
(-1.0,-584.0,False)
(0.0,-584.0,False)
(1.0,-584.0,False)
(2.0,-584.0,False)
(-2.0,-583.0,False)
(-1.0,-583.0,False)
(0.0,-583.0,False)
(1.0,-583.0,False)
(2.0,-583.0,False)
(-2.0,-582.0,False)
(-1.0,-582.0,False)
(0.0,-582.0,False)
(1.0,-582.0,False)
(2.0,-582.0,False)
(-2.0,-581.0,False)
(-1.0,-581.0,False)
(0.0,-581.0,False)
(1.0,-581.0,False)
(2.0,-581.0,False)
(-2.0,-580.0,False)
(-1.0,-580.0,False)
(0.0,-580.0,False)
(1.0,-580.0,False)
(2.0,-580.0,False)
(-2.0,-579.0,False)
(-1.0,-579.0,False)
(0.0,-579.0,False)
(1.0,-579.0,False)
(2.0,-579.0,False)
(-2.0,-578.0,False)
(-1.0,-578.0,False)
(0.0,-578.0,False)
(1.0,-578.0,False)
(2.0,-578.0,False)
(-2.0,-577.0,False)
(-1.0,-577.0,False)
(0.0,-577.0,False)
(1.0,-577.0,False)
(2.0,-577.0,False)
(-2.0,-576.0,False)
(-1.0,-576.0,False)
(0.0,-576.0,False)
(1.0,-576.0,False)
(2.0,-576.0,False)
(-2.0,-575.0,False)
(-1.0,-575.0,False)
(0.0,-575.0,False)
(1.0,-575.0,False)
(2.0,-575.0,False)
(-2.0,-574.0,False)
(-1.0,-574.0,False)
(0.0,-574.0,False)
(1.0,-574.0,False)
(2.0,-574.0,False)
(-2.0,-573.0,False)
(-1.0,-573.0,False)
(0.0,-573.0,False)
(1.0,-573.0,False)
(2.0,-573.0,False)
(-2.0,-572.0,False)
(-1.0,-572.0,False)
(0.0,-572.0,False)
(1.0,-572.0,False)
(2.0,-572.0,False)
(-2.0,-571.0,False)
(-1.0,-571.0,False)
(0.0,-571.0,False)
(1.0,-571.0,False)
(2.0,-571.0,False)
(-2.0,-570.0,False)
(-1.0,-570.0,False)
(0.0,-570.0,False)
(1.0,-570.0,False)
(2.0,-570.0,False)
(-2.0,-569.0,False)
(-1.0,-569.0,False)
(0.0,-569.0,False)
(1.0,-569.0,False)
(2.0,-569.0,False)
(-2.0,-568.0,False)
(-1.0,-568.0,False)
(0.0,-568.0,False)
(1.0,-568.0,False)
(2.0,-568.0,False)
(-2.0,-567.0,False)
(-1.0,-567.0,False)
(0.0,-567.0,False)
(1.0,-567.0,False)
(2.0,-567.0,False)
(-2.0,-566.0,False)
(-1.0,-566.0,False)
(0.0,-566.0,False)
(1.0,-566.0,False)
(2.0,-566.0,False)
(-2.0,-565.0,False)
(-1.0,-565.0,False)
(0.0,-565.0,False)
(1.0,-565.0,False)
(2.0,-565.0,False)
(-2.0,-564.0,False)
(-1.0,-564.0,False)
(0.0,-564.0,False)
(1.0,-564.0,False)
(2.0,-564.0,False)
(-2.0,-563.0,False)
(-1.0,-563.0,False)
(0.0,-563.0,False)
(1.0,-563.0,False)
(2.0,-563.0,False)
(-2.0,-562.0,False)
(-1.0,-562.0,False)
(0.0,-562.0,False)
(1.0,-562.0,False)
(2.0,-562.0,False)
(-2.0,-561.0,False)
(-1.0,-561.0,False)
(0.0,-561.0,False)
(1.0,-561.0,False)
(2.0,-561.0,False)
(-2.0,-560.0,False)
(-1.0,-560.0,False)
(0.0,-560.0,False)
(1.0,-560.0,False)
(2.0,-560.0,False)
(-2.0,-559.0,False)
(-1.0,-559.0,False)
(0.0,-559.0,False)
(1.0,-559.0,False)
(2.0,-559.0,False)
(-2.0,-558.0,False)
(-1.0,-558.0,False)
(0.0,-558.0,False)
(1.0,-558.0,False)
(2.0,-558.0,False)
(-2.0,-557.0,False)
(-1.0,-557.0,False)
(0.0,-557.0,False)
(1.0,-557.0,False)
(2.0,-557.0,False)
(-2.0,-556.0,False)
(-1.0,-556.0,False)
(0.0,-556.0,False)
(1.0,-556.0,False)
(2.0,-556.0,False)
(-2.0,-555.0,False)
(-1.0,-555.0,False)
(0.0,-555.0,False)
(1.0,-555.0,False)
(2.0,-555.0,False)
(-2.0,-554.0,False)
(-1.0,-554.0,False)
(0.0,-554.0,False)
(1.0,-554.0,False)
(2.0,-554.0,False)
(-2.0,-553.0,False)
(-1.0,-553.0,False)
(0.0,-553.0,False)
(1.0,-553.0,False)
(2.0,-553.0,False)
(-2.0,-552.0,False)
(-1.0,-552.0,False)
(0.0,-552.0,False)
(1.0,-552.0,False)
(2.0,-552.0,False)
(-2.0,-551.0,False)
(-1.0,-551.0,False)
(0.0,-551.0,False)
(1.0,-551.0,False)
(2.0,-551.0,False)
(-2.0,-550.0,False)
(-1.0,-550.0,False)
(0.0,-550.0,False)
(1.0,-550.0,False)
(2.0,-550.0,False)
(-2.0,-549.0,False)
(-1.0,-549.0,False)
(0.0,-549.0,False)
(1.0,-549.0,False)
(2.0,-549.0,False)
(-2.0,-548.0,False)
(-1.0,-548.0,False)
(0.0,-548.0,False)
(1.0,-548.0,False)
(2.0,-548.0,False)
(-2.0,-547.0,False)
(-1.0,-547.0,False)
(0.0,-547.0,False)
(1.0,-547.0,False)
(2.0,-547.0,False)
(-2.0,-546.0,False)
(-1.0,-546.0,False)
(0.0,-546.0,False)
(1.0,-546.0,False)
(2.0,-546.0,False)
(-2.0,-545.0,False)
(-1.0,-545.0,False)
(0.0,-545.0,False)
(1.0,-545.0,False)
(2.0,-545.0,False)
(-2.0,-544.0,False)
(-1.0,-544.0,False)
(0.0,-544.0,False)
(1.0,-544.0,False)
(2.0,-544.0,False)
(-2.0,-543.0,False)
(-1.0,-543.0,False)
(0.0,-543.0,False)
(1.0,-543.0,False)
(2.0,-543.0,False)
(-2.0,-542.0,False)
(-1.0,-542.0,False)
(0.0,-542.0,False)
(1.0,-542.0,False)
(2.0,-542.0,False)
(-2.0,-541.0,False)
(-1.0,-541.0,False)
(0.0,-541.0,False)
(1.0,-541.0,False)
(2.0,-541.0,False)
(-2.0,-540.0,False)
(-1.0,-540.0,False)
(0.0,-540.0,False)
(1.0,-540.0,False)
(2.0,-540.0,False)
(-2.0,-539.0,False)
(-1.0,-539.0,False)
(0.0,-539.0,False)
(1.0,-539.0,False)
(2.0,-539.0,False)
(-2.0,-538.0,False)
(-1.0,-538.0,False)
(0.0,-538.0,False)
(1.0,-538.0,False)
(2.0,-538.0,False)
(-2.0,-537.0,False)
(-1.0,-537.0,False)
(0.0,-537.0,False)
(1.0,-537.0,False)
(2.0,-537.0,False)
(-2.0,-536.0,False)
(-1.0,-536.0,False)
(0.0,-536.0,False)
(1.0,-536.0,False)
(2.0,-536.0,False)
(-2.0,-535.0,False)
(-1.0,-535.0,False)
(0.0,-535.0,False)
(1.0,-535.0,False)
(2.0,-535.0,False)
(-2.0,-534.0,False)
(-1.0,-534.0,False)
(0.0,-534.0,False)
(1.0,-534.0,False)
(2.0,-534.0,False)
(-2.0,-533.0,False)
(-1.0,-533.0,False)
(0.0,-533.0,False)
(1.0,-533.0,False)
(2.0,-533.0,False)
(-2.0,-532.0,False)
(-1.0,-532.0,False)
(0.0,-532.0,False)
(1.0,-532.0,False)
(2.0,-532.0,False)
(-2.0,-531.0,False)
(-1.0,-531.0,False)
(0.0,-531.0,False)
(1.0,-531.0,False)
(2.0,-531.0,False)
(-2.0,-530.0,False)
(-1.0,-530.0,False)
(0.0,-530.0,False)
(1.0,-530.0,False)
(2.0,-530.0,False)
(-2.0,-529.0,False)
(-1.0,-529.0,False)
(0.0,-529.0,False)
(1.0,-529.0,False)
(2.0,-529.0,False)
(-2.0,-528.0,False)
(-1.0,-528.0,False)
(0.0,-528.0,False)
(1.0,-528.0,False)
(2.0,-528.0,False)
(-2.0,-527.0,False)
(-1.0,-527.0,False)
(0.0,-527.0,False)
(1.0,-527.0,False)
(2.0,-527.0,False)
(-2.0,-526.0,False)
(-1.0,-526.0,False)
(0.0,-526.0,False)
(1.0,-526.0,False)
(2.0,-526.0,False)
(-2.0,-525.0,False)
(-1.0,-525.0,False)
(0.0,-525.0,False)
(1.0,-525.0,False)
(2.0,-525.0,False)
(-2.0,-524.0,False)
(-1.0,-524.0,False)
(0.0,-524.0,False)
(1.0,-524.0,False)
(2.0,-524.0,False)
(-2.0,-523.0,False)
(-1.0,-523.0,False)
(0.0,-523.0,False)
(1.0,-523.0,False)
(2.0,-523.0,False)
(-2.0,-522.0,False)
(-1.0,-522.0,False)
(0.0,-522.0,False)
(1.0,-522.0,False)
(2.0,-522.0,False)
(-2.0,-521.0,False)
(-1.0,-521.0,False)
(0.0,-521.0,False)
(1.0,-521.0,False)
(2.0,-521.0,False)
(-2.0,-520.0,False)
(-1.0,-520.0,False)
(0.0,-520.0,False)
(1.0,-520.0,False)
(2.0,-520.0,False)
(-2.0,-519.0,False)
(-1.0,-519.0,False)
(0.0,-519.0,False)
(1.0,-519.0,False)
(2.0,-519.0,False)
(-2.0,-518.0,False)
(-1.0,-518.0,False)
(0.0,-518.0,False)
(1.0,-518.0,False)
(2.0,-518.0,False)
(-2.0,-517.0,False)
(-1.0,-517.0,False)
(0.0,-517.0,False)
(1.0,-517.0,False)
(2.0,-517.0,False)
(-2.0,-516.0,False)
(-1.0,-516.0,False)
(0.0,-516.0,False)
(1.0,-516.0,False)
(2.0,-516.0,False)
(-2.0,-515.0,False)
(-1.0,-515.0,False)
(0.0,-515.0,False)
(1.0,-515.0,False)
(2.0,-515.0,False)
(-2.0,-514.0,False)
(-1.0,-514.0,False)
(0.0,-514.0,False)
(1.0,-514.0,False)
(2.0,-514.0,False)
(-2.0,-513.0,False)
(-1.0,-513.0,False)
(0.0,-513.0,False)
(1.0,-513.0,False)
(2.0,-513.0,False)
(-2.0,-512.0,False)
(-1.0,-512.0,False)
(0.0,-512.0,False)
(1.0,-512.0,False)
(2.0,-512.0,False)
(-2.0,-511.0,False)
(-1.0,-511.0,False)
(0.0,-511.0,False)
(1.0,-511.0,False)
(2.0,-511.0,False)
(-2.0,-510.0,False)
(-1.0,-510.0,False)
(0.0,-510.0,False)
(1.0,-510.0,False)
(2.0,-510.0,False)
(-2.0,-509.0,False)
(-1.0,-509.0,False)
(0.0,-509.0,False)
(1.0,-509.0,False)
(2.0,-509.0,False)
(-2.0,-508.0,False)
(-1.0,-508.0,False)
(0.0,-508.0,False)
(1.0,-508.0,False)
(2.0,-508.0,False)
(-2.0,-507.0,False)
(-1.0,-507.0,False)
(0.0,-507.0,False)
(1.0,-507.0,False)
(2.0,-507.0,False)
(-2.0,-506.0,False)
(-1.0,-506.0,False)
(0.0,-506.0,False)
(1.0,-506.0,False)
(2.0,-506.0,False)
(-2.0,-505.0,False)
(-1.0,-505.0,False)
(0.0,-505.0,False)
(1.0,-505.0,False)
(2.0,-505.0,False)
(-2.0,-504.0,False)
(-1.0,-504.0,False)
(0.0,-504.0,False)
(1.0,-504.0,False)
(2.0,-504.0,False)
(-2.0,-503.0,False)
(-1.0,-503.0,False)
(0.0,-503.0,False)
(1.0,-503.0,False)
(2.0,-503.0,False)
(-2.0,-502.0,False)
(-1.0,-502.0,False)
(0.0,-502.0,False)
(1.0,-502.0,False)
(2.0,-502.0,False)
(-2.0,-501.0,False)
(-1.0,-501.0,False)
(0.0,-501.0,False)
(1.0,-501.0,False)
(2.0,-501.0,False)
(-2.0,-500.0,False)
(-1.0,-500.0,False)
(0.0,-500.0,False)
(1.0,-500.0,False)
(2.0,-500.0,False)
(-2.0,-499.0,False)
(-1.0,-499.0,False)
(0.0,-499.0,False)
(1.0,-499.0,False)
(2.0,-499.0,False)
(-2.0,-498.0,False)
(-1.0,-498.0,False)
(0.0,-498.0,False)
(1.0,-498.0,False)
(2.0,-498.0,False)
(-2.0,-497.0,False)
(-1.0,-497.0,False)
(0.0,-497.0,False)
(1.0,-497.0,False)
(2.0,-497.0,False)
(-2.0,-496.0,False)
(-1.0,-496.0,False)
(0.0,-496.0,False)
(1.0,-496.0,False)
(2.0,-496.0,False)
(-2.0,-495.0,False)
(-1.0,-495.0,False)
(0.0,-495.0,False)
(1.0,-495.0,False)
(2.0,-495.0,False)
(-2.0,-494.0,False)
(-1.0,-494.0,False)
(0.0,-494.0,False)
(1.0,-494.0,False)
(2.0,-494.0,False)
(-2.0,-493.0,False)
(-1.0,-493.0,False)
(0.0,-493.0,False)
(1.0,-493.0,False)
(2.0,-493.0,False)
(-2.0,-492.0,False)
(-1.0,-492.0,False)
(0.0,-492.0,False)
(1.0,-492.0,False)
(2.0,-492.0,False)
(-2.0,-491.0,False)
(-1.0,-491.0,False)
(0.0,-491.0,False)
(1.0,-491.0,False)
(2.0,-491.0,False)
(-2.0,-490.0,False)
(-1.0,-490.0,False)
(0.0,-490.0,False)
(1.0,-490.0,False)
(2.0,-490.0,False)
(-2.0,-489.0,False)
(-1.0,-489.0,False)
(0.0,-489.0,False)
(1.0,-489.0,False)
(2.0,-489.0,False)
(-2.0,-488.0,False)
(-1.0,-488.0,False)
(0.0,-488.0,False)
(1.0,-488.0,False)
(2.0,-488.0,False)
(-2.0,-487.0,False)
(-1.0,-487.0,False)
(0.0,-487.0,False)
(1.0,-487.0,False)
(2.0,-487.0,False)
(-2.0,-486.0,False)
(-1.0,-486.0,False)
(0.0,-486.0,False)
(1.0,-486.0,False)
(2.0,-486.0,False)
(-2.0,-485.0,False)
(-1.0,-485.0,False)
(0.0,-485.0,False)
(1.0,-485.0,False)
(2.0,-485.0,False)
(-2.0,-484.0,False)
(-1.0,-484.0,False)
(0.0,-484.0,False)
(1.0,-484.0,False)
(2.0,-484.0,False)
(-2.0,-483.0,False)
(-1.0,-483.0,False)
(0.0,-483.0,False)
(1.0,-483.0,False)
(2.0,-483.0,False)
(-2.0,-482.0,False)
(-1.0,-482.0,False)
(0.0,-482.0,False)
(1.0,-482.0,False)
(2.0,-482.0,False)
(-2.0,-481.0,False)
(-1.0,-481.0,False)
(0.0,-481.0,False)
(1.0,-481.0,False)
(2.0,-481.0,False)
(-2.0,-480.0,False)
(-1.0,-480.0,False)
(0.0,-480.0,False)
(1.0,-480.0,False)
(2.0,-480.0,False)
(-2.0,-479.0,False)
(-1.0,-479.0,False)
(0.0,-479.0,False)
(1.0,-479.0,False)
(2.0,-479.0,False)
(-2.0,-478.0,False)
(-1.0,-478.0,False)
(0.0,-478.0,False)
(1.0,-478.0,False)
(2.0,-478.0,False)
(-2.0,-477.0,False)
(-1.0,-477.0,False)
(0.0,-477.0,False)
(1.0,-477.0,False)
(2.0,-477.0,False)
(-2.0,-476.0,False)
(-1.0,-476.0,False)
(0.0,-476.0,False)
(1.0,-476.0,False)
(2.0,-476.0,False)
(-2.0,-475.0,False)
(-1.0,-475.0,False)
(0.0,-475.0,False)
(1.0,-475.0,False)
(2.0,-475.0,False)
(-2.0,-474.0,False)
(-1.0,-474.0,False)
(0.0,-474.0,False)
(1.0,-474.0,False)
(2.0,-474.0,False)
(-2.0,-473.0,False)
(-1.0,-473.0,False)
(0.0,-473.0,False)
(1.0,-473.0,False)
(2.0,-473.0,False)
(-2.0,-472.0,False)
(-1.0,-472.0,False)
(0.0,-472.0,False)
(1.0,-472.0,False)
(2.0,-472.0,False)
(-2.0,-471.0,False)
(-1.0,-471.0,False)
(0.0,-471.0,False)
(1.0,-471.0,False)
(2.0,-471.0,False)
(-2.0,-470.0,False)
(-1.0,-470.0,False)
(0.0,-470.0,False)
(1.0,-470.0,False)
(2.0,-470.0,False)
(-2.0,-469.0,False)
(-1.0,-469.0,False)
(0.0,-469.0,False)
(1.0,-469.0,False)
(2.0,-469.0,False)
(-2.0,-468.0,False)
(-1.0,-468.0,False)
(0.0,-468.0,False)
(1.0,-468.0,False)
(2.0,-468.0,False)
(-2.0,-467.0,False)
(-1.0,-467.0,False)
(0.0,-467.0,False)
(1.0,-467.0,False)
(2.0,-467.0,False)
(-2.0,-466.0,False)
(-1.0,-466.0,False)
(0.0,-466.0,False)
(1.0,-466.0,False)
(2.0,-466.0,False)
(-2.0,-465.0,False)
(-1.0,-465.0,False)
(0.0,-465.0,False)
(1.0,-465.0,False)
(2.0,-465.0,False)
(-2.0,-464.0,False)
(-1.0,-464.0,False)
(0.0,-464.0,False)
(1.0,-464.0,False)
(2.0,-464.0,False)
(-2.0,-463.0,False)
(-1.0,-463.0,False)
(0.0,-463.0,False)
(1.0,-463.0,False)
(2.0,-463.0,False)
(-2.0,-462.0,False)
(-1.0,-462.0,False)
(0.0,-462.0,False)
(1.0,-462.0,False)
(2.0,-462.0,False)
(-2.0,-461.0,False)
(-1.0,-461.0,False)
(0.0,-461.0,False)
(1.0,-461.0,False)
(2.0,-461.0,False)
(-2.0,-460.0,False)
(-1.0,-460.0,False)
(0.0,-460.0,False)
(1.0,-460.0,False)
(2.0,-460.0,False)
(-2.0,-459.0,False)
(-1.0,-459.0,False)
(0.0,-459.0,False)
(1.0,-459.0,False)
(2.0,-459.0,False)
(-2.0,-458.0,False)
(-1.0,-458.0,False)
(0.0,-458.0,False)
(1.0,-458.0,False)
(2.0,-458.0,False)
(-2.0,-457.0,False)
(-1.0,-457.0,False)
(0.0,-457.0,False)
(1.0,-457.0,False)
(2.0,-457.0,False)
(-2.0,-456.0,False)
(-1.0,-456.0,False)
(0.0,-456.0,False)
(1.0,-456.0,False)
(2.0,-456.0,False)
(-2.0,-455.0,False)
(-1.0,-455.0,False)
(0.0,-455.0,False)
(1.0,-455.0,False)
(2.0,-455.0,False)
(-2.0,-454.0,False)
(-1.0,-454.0,False)
(0.0,-454.0,False)
(1.0,-454.0,False)
(2.0,-454.0,False)
(-2.0,-453.0,False)
(-1.0,-453.0,False)
(0.0,-453.0,False)
(1.0,-453.0,False)
(2.0,-453.0,False)
(-2.0,-452.0,False)
(-1.0,-452.0,False)
(0.0,-452.0,False)
(1.0,-452.0,False)
(2.0,-452.0,False)
(-2.0,-451.0,False)
(-1.0,-451.0,False)
(0.0,-451.0,False)
(1.0,-451.0,False)
(2.0,-451.0,False)
(-2.0,-450.0,False)
(-1.0,-450.0,False)
(0.0,-450.0,False)
(1.0,-450.0,False)
(2.0,-450.0,False)
(-2.0,-449.0,False)
(-1.0,-449.0,False)
(0.0,-449.0,False)
(1.0,-449.0,False)
(2.0,-449.0,False)
(-2.0,-448.0,False)
(-1.0,-448.0,False)
(0.0,-448.0,False)
(1.0,-448.0,False)
(2.0,-448.0,False)
(-2.0,-447.0,False)
(-1.0,-447.0,False)
(0.0,-447.0,False)
(1.0,-447.0,False)
(2.0,-447.0,False)
(-2.0,-446.0,False)
(-1.0,-446.0,False)
(0.0,-446.0,False)
(1.0,-446.0,False)
(2.0,-446.0,False)
(-2.0,-445.0,False)
(-1.0,-445.0,False)
(0.0,-445.0,False)
(1.0,-445.0,False)
(2.0,-445.0,False)
(-2.0,-444.0,False)
(-1.0,-444.0,False)
(0.0,-444.0,False)
(1.0,-444.0,False)
(2.0,-444.0,False)
(-2.0,-443.0,False)
(-1.0,-443.0,False)
(0.0,-443.0,False)
(1.0,-443.0,False)
(2.0,-443.0,False)
(-2.0,-442.0,False)
(-1.0,-442.0,False)
(0.0,-442.0,False)
(1.0,-442.0,False)
(2.0,-442.0,False)
(-2.0,-441.0,False)
(-1.0,-441.0,False)
(0.0,-441.0,False)
(1.0,-441.0,False)
(2.0,-441.0,False)
(-2.0,-440.0,False)
(-1.0,-440.0,False)
(0.0,-440.0,False)
(1.0,-440.0,False)
(2.0,-440.0,False)
(-2.0,-439.0,False)
(-1.0,-439.0,False)
(0.0,-439.0,False)
(1.0,-439.0,False)
(2.0,-439.0,False)
(-2.0,-438.0,False)
(-1.0,-438.0,False)
(0.0,-438.0,False)
(1.0,-438.0,False)
(2.0,-438.0,False)
(-2.0,-437.0,False)
(-1.0,-437.0,False)
(0.0,-437.0,False)
(1.0,-437.0,False)
(2.0,-437.0,False)
(-2.0,-436.0,False)
(-1.0,-436.0,False)
(0.0,-436.0,False)
(1.0,-436.0,False)
(2.0,-436.0,False)
(-2.0,-435.0,False)
(-1.0,-435.0,False)
(0.0,-435.0,False)
(1.0,-435.0,False)
(2.0,-435.0,False)
(-2.0,-434.0,False)
(-1.0,-434.0,False)
(0.0,-434.0,False)
(1.0,-434.0,False)
(2.0,-434.0,False)
(-2.0,-433.0,False)
(-1.0,-433.0,False)
(0.0,-433.0,False)
(1.0,-433.0,False)
(2.0,-433.0,False)
(-2.0,-432.0,False)
(-1.0,-432.0,False)
(0.0,-432.0,False)
(1.0,-432.0,False)
(2.0,-432.0,False)
(-2.0,-431.0,False)
(-1.0,-431.0,False)
(0.0,-431.0,False)
(1.0,-431.0,False)
(2.0,-431.0,False)
(-2.0,-430.0,False)
(-1.0,-430.0,False)
(0.0,-430.0,False)
(1.0,-430.0,False)
(2.0,-430.0,False)
(-2.0,-429.0,False)
(-1.0,-429.0,False)
(0.0,-429.0,False)
(1.0,-429.0,False)
(2.0,-429.0,False)
(-2.0,-428.0,False)
(-1.0,-428.0,False)
(0.0,-428.0,False)
(1.0,-428.0,False)
(2.0,-428.0,False)
(-2.0,-427.0,False)
(-1.0,-427.0,False)
(0.0,-427.0,False)
(1.0,-427.0,False)
(2.0,-427.0,False)
(-2.0,-426.0,False)
(-1.0,-426.0,False)
(0.0,-426.0,False)
(1.0,-426.0,False)
(2.0,-426.0,False)
(-2.0,-425.0,False)
(-1.0,-425.0,False)
(0.0,-425.0,False)
(1.0,-425.0,False)
(2.0,-425.0,False)
(-2.0,-424.0,False)
(-1.0,-424.0,False)
(0.0,-424.0,False)
(1.0,-424.0,False)
(2.0,-424.0,False)
(-2.0,-423.0,False)
(-1.0,-423.0,False)
(0.0,-423.0,False)
(1.0,-423.0,False)
(2.0,-423.0,False)
(-2.0,-422.0,False)
(-1.0,-422.0,False)
(0.0,-422.0,False)
(1.0,-422.0,False)
(2.0,-422.0,False)
(-2.0,-421.0,False)
(-1.0,-421.0,False)
(0.0,-421.0,False)
(1.0,-421.0,False)
(2.0,-421.0,False)
(-2.0,-420.0,False)
(-1.0,-420.0,False)
(0.0,-420.0,False)
(1.0,-420.0,False)
(2.0,-420.0,False)
(-2.0,-419.0,False)
(-1.0,-419.0,False)
(0.0,-419.0,False)
(1.0,-419.0,False)
(2.0,-419.0,False)
(-2.0,-418.0,False)
(-1.0,-418.0,False)
(0.0,-418.0,False)
(1.0,-418.0,False)
(2.0,-418.0,False)
(-2.0,-417.0,False)
(-1.0,-417.0,False)
(0.0,-417.0,False)
(1.0,-417.0,False)
(2.0,-417.0,False)
(-2.0,-416.0,False)
(-1.0,-416.0,False)
(0.0,-416.0,False)
(1.0,-416.0,False)
(2.0,-416.0,False)
(-2.0,-415.0,False)
(-1.0,-415.0,False)
(0.0,-415.0,False)
(1.0,-415.0,False)
(2.0,-415.0,False)
(-2.0,-414.0,False)
(-1.0,-414.0,False)
(0.0,-414.0,False)
(1.0,-414.0,False)
(2.0,-414.0,False)
(-2.0,-413.0,False)
(-1.0,-413.0,False)
(0.0,-413.0,False)
(1.0,-413.0,False)
(2.0,-413.0,False)
(-2.0,-412.0,False)
(-1.0,-412.0,False)
(0.0,-412.0,False)
(1.0,-412.0,False)
(2.0,-412.0,False)
(-2.0,-411.0,False)
(-1.0,-411.0,False)
(0.0,-411.0,False)
(1.0,-411.0,False)
(2.0,-411.0,False)
(-2.0,-410.0,False)
(-1.0,-410.0,False)
(0.0,-410.0,False)
(1.0,-410.0,False)
(2.0,-410.0,False)
(-2.0,-409.0,False)
(-1.0,-409.0,False)
(0.0,-409.0,False)
(1.0,-409.0,False)
(2.0,-409.0,False)
(-2.0,-408.0,False)
(-1.0,-408.0,False)
(0.0,-408.0,False)
(1.0,-408.0,False)
(2.0,-408.0,False)
(-2.0,-407.0,False)
(-1.0,-407.0,False)
(0.0,-407.0,False)
(1.0,-407.0,False)
(2.0,-407.0,False)
(-2.0,-406.0,False)
(-1.0,-406.0,False)
(0.0,-406.0,False)
(1.0,-406.0,False)
(2.0,-406.0,False)
(-2.0,-405.0,False)
(-1.0,-405.0,False)
(0.0,-405.0,False)
(1.0,-405.0,False)
(2.0,-405.0,False)
(-2.0,-404.0,False)
(-1.0,-404.0,False)
(0.0,-404.0,False)
(1.0,-404.0,False)
(2.0,-404.0,False)
(-2.0,-403.0,False)
(-1.0,-403.0,False)
(0.0,-403.0,False)
(1.0,-403.0,False)
(2.0,-403.0,False)
(-2.0,-402.0,False)
(-1.0,-402.0,False)
(0.0,-402.0,False)
(1.0,-402.0,False)
(2.0,-402.0,False)
(-2.0,-401.0,False)
(-1.0,-401.0,False)
(0.0,-401.0,False)
(1.0,-401.0,False)
(2.0,-401.0,False)
(-2.0,-400.0,False)
(-1.0,-400.0,False)
(0.0,-400.0,False)
(1.0,-400.0,False)
(2.0,-400.0,False)
(-2.0,-399.0,False)
(-1.0,-399.0,False)
(0.0,-399.0,False)
(1.0,-399.0,False)
(2.0,-399.0,False)
(-2.0,-398.0,False)
(-1.0,-398.0,False)
(0.0,-398.0,False)
(1.0,-398.0,False)
(2.0,-398.0,False)
(-2.0,-397.0,False)
(-1.0,-397.0,False)
(0.0,-397.0,False)
(1.0,-397.0,False)
(2.0,-397.0,False)
(-2.0,-396.0,False)
(-1.0,-396.0,False)
(0.0,-396.0,False)
(1.0,-396.0,False)
(2.0,-396.0,False)
(-2.0,-395.0,False)
(-1.0,-395.0,False)
(0.0,-395.0,False)
(1.0,-395.0,False)
(2.0,-395.0,False)
(-2.0,-394.0,False)
(-1.0,-394.0,False)
(0.0,-394.0,False)
(1.0,-394.0,False)
(2.0,-394.0,False)
(-2.0,-393.0,False)
(-1.0,-393.0,False)
(0.0,-393.0,False)
(1.0,-393.0,False)
(2.0,-393.0,False)
(-2.0,-392.0,False)
(-1.0,-392.0,False)
(0.0,-392.0,False)
(1.0,-392.0,False)
(2.0,-392.0,False)
(-2.0,-391.0,False)
(-1.0,-391.0,False)
(0.0,-391.0,False)
(1.0,-391.0,False)
(2.0,-391.0,False)
(-2.0,-390.0,False)
(-1.0,-390.0,False)
(0.0,-390.0,False)
(1.0,-390.0,False)
(2.0,-390.0,False)
(-2.0,-389.0,False)
(-1.0,-389.0,False)
(0.0,-389.0,False)
(1.0,-389.0,False)
(2.0,-389.0,False)
(-2.0,-388.0,False)
(-1.0,-388.0,False)
(0.0,-388.0,False)
(1.0,-388.0,False)
(2.0,-388.0,False)
(-2.0,-387.0,False)
(-1.0,-387.0,False)
(0.0,-387.0,False)
(1.0,-387.0,False)
(2.0,-387.0,False)
(-2.0,-386.0,False)
(-1.0,-386.0,False)
(0.0,-386.0,False)
(1.0,-386.0,False)
(2.0,-386.0,False)
(-2.0,-385.0,False)
(-1.0,-385.0,False)
(0.0,-385.0,False)
(1.0,-385.0,False)
(2.0,-385.0,False)
(-2.0,-384.0,False)
(-1.0,-384.0,False)
(0.0,-384.0,False)
(1.0,-384.0,False)
(2.0,-384.0,False)
(-2.0,-383.0,False)
(-1.0,-383.0,False)
(0.0,-383.0,False)
(1.0,-383.0,False)
(2.0,-383.0,False)
(-2.0,-382.0,False)
(-1.0,-382.0,False)
(0.0,-382.0,False)
(1.0,-382.0,False)
(2.0,-382.0,False)
(-2.0,-381.0,False)
(-1.0,-381.0,False)
(0.0,-381.0,False)
(1.0,-381.0,False)
(2.0,-381.0,False)
(-2.0,-380.0,False)
(-1.0,-380.0,False)
(0.0,-380.0,False)
(1.0,-380.0,False)
(2.0,-380.0,False)
(-2.0,-379.0,False)
(-1.0,-379.0,False)
(0.0,-379.0,False)
(1.0,-379.0,False)
(2.0,-379.0,False)
(-2.0,-378.0,False)
(-1.0,-378.0,False)
(0.0,-378.0,False)
(1.0,-378.0,False)
(2.0,-378.0,False)
(-2.0,-377.0,False)
(-1.0,-377.0,False)
(0.0,-377.0,False)
(1.0,-377.0,False)
(2.0,-377.0,False)
(-2.0,-376.0,False)
(-1.0,-376.0,False)
(0.0,-376.0,False)
(1.0,-376.0,False)
(2.0,-376.0,False)
(-2.0,-375.0,False)
(-1.0,-375.0,False)
(0.0,-375.0,False)
(1.0,-375.0,False)
(2.0,-375.0,False)
(-2.0,-374.0,False)
(-1.0,-374.0,False)
(0.0,-374.0,False)
(1.0,-374.0,False)
(2.0,-374.0,False)
(-2.0,-373.0,False)
(-1.0,-373.0,False)
(0.0,-373.0,False)
(1.0,-373.0,False)
(2.0,-373.0,False)
(-2.0,-372.0,False)
(-1.0,-372.0,False)
(0.0,-372.0,False)
(1.0,-372.0,False)
(2.0,-372.0,False)
(-2.0,-371.0,False)
(-1.0,-371.0,False)
(0.0,-371.0,False)
(1.0,-371.0,False)
(2.0,-371.0,False)
(-2.0,-370.0,False)
(-1.0,-370.0,False)
(0.0,-370.0,False)
(1.0,-370.0,False)
(2.0,-370.0,False)
(-2.0,-369.0,False)
(-1.0,-369.0,False)
(0.0,-369.0,False)
(1.0,-369.0,False)
(2.0,-369.0,False)
(-2.0,-368.0,False)
(-1.0,-368.0,False)
(0.0,-368.0,False)
(1.0,-368.0,False)
(2.0,-368.0,False)
(-2.0,-367.0,False)
(-1.0,-367.0,False)
(0.0,-367.0,False)
(1.0,-367.0,False)
(2.0,-367.0,False)
(-2.0,-366.0,False)
(-1.0,-366.0,False)
(0.0,-366.0,False)
(1.0,-366.0,False)
(2.0,-366.0,False)
(-2.0,-365.0,False)
(-1.0,-365.0,False)
(0.0,-365.0,False)
(1.0,-365.0,False)
(2.0,-365.0,False)
(-2.0,-364.0,False)
(-1.0,-364.0,False)
(0.0,-364.0,False)
(1.0,-364.0,False)
(2.0,-364.0,False)
(-2.0,-363.0,False)
(-1.0,-363.0,False)
(0.0,-363.0,False)
(1.0,-363.0,False)
(2.0,-363.0,False)
(-2.0,-362.0,False)
(-1.0,-362.0,False)
(0.0,-362.0,False)
(1.0,-362.0,False)
(2.0,-362.0,False)
(-2.0,-361.0,False)
(-1.0,-361.0,False)
(0.0,-361.0,False)
(1.0,-361.0,False)
(2.0,-361.0,False)
(-2.0,-360.0,False)
(-1.0,-360.0,False)
(0.0,-360.0,False)
(1.0,-360.0,False)
(2.0,-360.0,False)
(-2.0,-359.0,False)
(-1.0,-359.0,False)
(0.0,-359.0,False)
(1.0,-359.0,False)
(2.0,-359.0,False)
(-2.0,-358.0,False)
(-1.0,-358.0,False)
(0.0,-358.0,False)
(1.0,-358.0,False)
(2.0,-358.0,False)
(-2.0,-357.0,False)
(-1.0,-357.0,False)
(0.0,-357.0,False)
(1.0,-357.0,False)
(2.0,-357.0,False)
(-2.0,-356.0,False)
(-1.0,-356.0,False)
(0.0,-356.0,False)
(1.0,-356.0,False)
(2.0,-356.0,False)
(-2.0,-355.0,False)
(-1.0,-355.0,False)
(0.0,-355.0,False)
(1.0,-355.0,False)
(2.0,-355.0,False)
(-2.0,-354.0,False)
(-1.0,-354.0,False)
(0.0,-354.0,False)
(1.0,-354.0,False)
(2.0,-354.0,False)
(-2.0,-353.0,False)
(-1.0,-353.0,False)
(0.0,-353.0,False)
(1.0,-353.0,False)
(2.0,-353.0,False)
(-2.0,-352.0,False)
(-1.0,-352.0,False)
(0.0,-352.0,False)
(1.0,-352.0,False)
(2.0,-352.0,False)
(-2.0,-351.0,False)
(-1.0,-351.0,False)
(0.0,-351.0,False)
(1.0,-351.0,False)
(2.0,-351.0,False)
(-2.0,-350.0,False)
(-1.0,-350.0,False)
(0.0,-350.0,False)
(1.0,-350.0,False)
(2.0,-350.0,False)
(-2.0,-349.0,False)
(-1.0,-349.0,False)
(0.0,-349.0,False)
(1.0,-349.0,False)
(2.0,-349.0,False)
(-2.0,-348.0,False)
(-1.0,-348.0,False)
(0.0,-348.0,False)
(1.0,-348.0,False)
(2.0,-348.0,False)
(-2.0,-347.0,False)
(-1.0,-347.0,False)
(0.0,-347.0,False)
(1.0,-347.0,False)
(2.0,-347.0,False)
(-2.0,-346.0,False)
(-1.0,-346.0,False)
(0.0,-346.0,False)
(1.0,-346.0,False)
(2.0,-346.0,False)
(-2.0,-345.0,False)
(-1.0,-345.0,False)
(0.0,-345.0,False)
(1.0,-345.0,False)
(2.0,-345.0,False)
(-2.0,-344.0,False)
(-1.0,-344.0,False)
(0.0,-344.0,False)
(1.0,-344.0,False)
(2.0,-344.0,False)
(-2.0,-343.0,False)
(-1.0,-343.0,False)
(0.0,-343.0,False)
(1.0,-343.0,False)
(2.0,-343.0,False)
(-2.0,-342.0,False)
(-1.0,-342.0,False)
(0.0,-342.0,False)
(1.0,-342.0,False)
(2.0,-342.0,False)
(-2.0,-341.0,False)
(-1.0,-341.0,False)
(0.0,-341.0,False)
(1.0,-341.0,False)
(2.0,-341.0,False)
(-2.0,-340.0,False)
(-1.0,-340.0,False)
(0.0,-340.0,False)
(1.0,-340.0,False)
(2.0,-340.0,False)
(-2.0,-339.0,False)
(-1.0,-339.0,False)
(0.0,-339.0,False)
(1.0,-339.0,False)
(2.0,-339.0,False)
(-2.0,-338.0,False)
(-1.0,-338.0,False)
(0.0,-338.0,False)
(1.0,-338.0,False)
(2.0,-338.0,False)
(-2.0,-337.0,False)
(-1.0,-337.0,False)
(0.0,-337.0,False)
(1.0,-337.0,False)
(2.0,-337.0,False)
(-2.0,-336.0,False)
(-1.0,-336.0,False)
(0.0,-336.0,False)
(1.0,-336.0,False)
(2.0,-336.0,False)
(-2.0,-335.0,False)
(-1.0,-335.0,False)
(0.0,-335.0,False)
(1.0,-335.0,False)
(2.0,-335.0,False)
(-2.0,-334.0,False)
(-1.0,-334.0,False)
(0.0,-334.0,False)
(1.0,-334.0,False)
(2.0,-334.0,False)
(-2.0,-333.0,False)
(-1.0,-333.0,False)
(0.0,-333.0,False)
(1.0,-333.0,False)
(2.0,-333.0,False)
(-2.0,-332.0,False)
(-1.0,-332.0,False)
(0.0,-332.0,False)
(1.0,-332.0,False)
(2.0,-332.0,False)
(-2.0,-331.0,False)
(-1.0,-331.0,False)
(0.0,-331.0,False)
(1.0,-331.0,False)
(2.0,-331.0,False)
(-2.0,-330.0,False)
(-1.0,-330.0,False)
(0.0,-330.0,False)
(1.0,-330.0,False)
(2.0,-330.0,False)
(-2.0,-329.0,False)
(-1.0,-329.0,False)
(0.0,-329.0,False)
(1.0,-329.0,False)
(2.0,-329.0,False)
(-2.0,-328.0,False)
(-1.0,-328.0,False)
(0.0,-328.0,False)
(1.0,-328.0,False)
(2.0,-328.0,False)
(-2.0,-327.0,False)
(-1.0,-327.0,False)
(0.0,-327.0,False)
(1.0,-327.0,False)
(2.0,-327.0,False)
(-2.0,-326.0,False)
(-1.0,-326.0,False)
(0.0,-326.0,False)
(1.0,-326.0,False)
(2.0,-326.0,False)
(-2.0,-325.0,False)
(-1.0,-325.0,False)
(0.0,-325.0,Fals

https://ideone.com/GFJL9n

language:

Haskell (ghc 8.4.4)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language