codegen: extra handling if calldisplacement doesn't fit in 8bit
authorBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 19:56:49 +0000 (21:56 +0200)
committerBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 19:56:49 +0000 (21:56 +0200)
harpy generates different code for
- call (Disp  (0x33 :: Word32) (eax)
- call (Disp (0x444 :: Word32) (eax))
although if both immediates are declared as Word32, harpy checks
at emmitting if it's able to reduce code size.

hopefully we find a easier way to fix this issue, because this way
just introduces more complexity.

Mate/MethodPool.hs
Mate/Types.hs
Mate/X86CodeGen.hs
Mate/X86TrapHandling.hs
tests/InstanceLong1.java [new file with mode: 0644]

index 5a0144521ad241e626b110726612de27ade683bd..2a3cfed4364c3eb936b2217b68eb8440246b0c5b 100644 (file)
@@ -46,9 +46,9 @@ getMethodEntry signal_from methodtable = do
   let mi'@(MethodInfo method cm sig) =
         case mi of
           (MI x) -> x
-          (VI (MethodInfo methname _ msig)) ->
+          (VI  _(MethodInfo methname _ msig)) ->
               MethodInfo methname (vmap M.! fromIntegral methodtable) msig
-          (II (MethodInfo methname _ msig)) ->
+          (II (MethodInfo methname _ msig)) ->
               MethodInfo methname (vmap M.! fromIntegral methodtable) msig
           _ -> error "getMethodEntry: no trapInfo. abort."
   case M.lookup mi' mmap of
index 0f8b4a9b922fa7cf9a312da88f57ee07139e91c6..f49e0408e1a57cec351fb0952297523ce4b88995 100644 (file)
@@ -33,8 +33,8 @@ type TrapMap = M.Map Word32 TrapInfo
 
 data TrapInfo =
   MI MethodInfo | -- for static calls
-  VI MethodInfo | -- for virtual calls
-  II MethodInfo | -- for interface calls
+  VI Bool MethodInfo | -- for virtual calls
+  II Bool MethodInfo | -- for interface calls
   SFI StaticFieldInfo deriving Show
 
 data StaticFieldInfo = StaticFieldInfo {
index a5c9a14e7a33fa580ef7404048d8bf61344ad365..c45f9083858c98ce9484af1ecb7b646faa03b55e 100644 (file)
@@ -139,7 +139,8 @@ emitFromBB method sig cls hmap =  do
         -- note, the "mi" has the wrong class reference here.
         -- we figure that out at run-time, in the methodpool,
         -- depending on the method-table-ptr
-        return $ Just (calladdr, II mi)
+        let imm8 = is8BitOffset offset
+        return $ Just (calladdr + (if imm8 then 3 else 6), II imm8 mi)
     emit' (INVOKEVIRTUAL cpidx) = do
         -- get methodInfo entry
         let mi@(MethodInfo methodname objname msig@(MethodSignature args _))  = buildMethodID cls cpidx
@@ -162,7 +163,8 @@ emitFromBB method sig cls hmap =  do
         -- note, the "mi" has the wrong class reference here.
         -- we figure that out at run-time, in the methodpool,
         -- depending on the method-table-ptr
-        return $ Just (calladdr, VI mi)
+        let imm8 = is8BitOffset offset
+        return $ Just (calladdr + (if imm8 then 3 else 6), VI imm8 mi)
     emit' (PUTSTATIC cpidx) = do
         pop eax
         trapaddr <- getCurrentOffset
@@ -360,3 +362,7 @@ emitFromBB method sig cls hmap =  do
   s8_w32 :: Word8 -> Word32
   s8_w32 w8 = fromIntegral s8
     where s8 = fromIntegral w8 :: Int8
+
+  is8BitOffset :: Word32 -> Bool
+  is8BitOffset w32 = s32 < 128 && s32 > (-127)
+    where s32 = fromIntegral w32 :: Int32
index 2972cacf9627c541c637b0c0c9edcda028ab8fb3..ef753141ccf1d4475926b7520fde9597beaf94ea 100644 (file)
@@ -13,7 +13,6 @@ import Mate.Types
 import Mate.MethodPool
 import Mate.ClassPool
 
-
 foreign import ccall "register_signal"
   register_signal :: IO ()
 
@@ -27,20 +26,24 @@ getTrapType signal_from from2 = do
     (Just _) -> error "getTrapMap: doesn't happen"
     -- maybe we've a hit on the second `from' value
     Nothing -> case M.lookup (fromIntegral from2) tmap of
-      (Just (VI _)) -> return 1
-      (Just (II _)) -> return 4
+      (Just (VI True _)) -> return 1
+      (Just (VI False _)) -> return 5
+      (Just (II True _)) -> return 4
+      (Just (II False _)) -> return 8
       (Just _) -> error "getTrapType: abort #1 :-("
-      Nothing -> error "getTrapType: abort #2 :-("
+      Nothing -> error $ "getTrapType: abort #2 :-(" ++ show signal_from ++ ", " ++ show from2 ++ ", " ++ show tmap
 
 foreign export ccall mateHandler :: CUInt -> CUInt -> CUInt -> CUInt -> IO CUInt
 mateHandler :: CUInt -> CUInt -> CUInt -> CUInt -> IO CUInt
 mateHandler eip eax ebx esp = do
   callerAddr <- callerAddrFromStack esp
-  blah <- getTrapType eip (callerAddr - 3)
+  blah <- getTrapType eip callerAddr
   case blah of
     0 -> staticCallHandler eip
-    1 -> invokeHandler eax eax esp
-    4 -> invokeHandler eax ebx esp
+    1 -> invokeHandler eax eax esp True
+    5 -> invokeHandler eax eax esp False
+    4 -> invokeHandler eax ebx esp True
+    8 -> invokeHandler eax ebx esp False
     2 -> staticFieldHandler eip
     x -> error $ "wtf: " ++ (show x)
 
@@ -77,12 +80,12 @@ staticFieldHandler eip = do
       return eip
     False -> error "staticFieldHandler: something is wrong here. abort.\n"
 
-invokeHandler :: CUInt -> CUInt -> CUInt -> IO CUInt
-invokeHandler method_table table2patch esp = do
+invokeHandler :: CUInt -> CUInt -> CUInt -> Bool -> IO CUInt
+invokeHandler method_table table2patch esp imm8 = do
   -- table2patch: note, that can be a method-table or a interface-table
   callerAddr <- callerAddrFromStack esp
-  offset <- offsetOfCallInsn esp
-  entryAddr <- getMethodEntry (callerAddr - 3) method_table
+  offset <- if imm8 then offsetOfCallInsn8 esp else offsetOfCallInsn32 esp
+  entryAddr <- getMethodEntry callerAddr method_table
   let call_insn = intPtrToPtr (fromIntegral $ table2patch + (fromIntegral offset))
   poke call_insn entryAddr
   return entryAddr
@@ -91,8 +94,16 @@ invokeHandler method_table table2patch esp = do
 callerAddrFromStack :: CUInt -> IO CUInt
 callerAddrFromStack = peek . intPtrToPtr . fromIntegral
 
-offsetOfCallInsn :: CUInt -> IO CUChar
-offsetOfCallInsn esp = do
+offsetOfCallInsn8 :: CUInt -> IO CUInt
+offsetOfCallInsn8 esp = do
+  let ret_ptr = intPtrToPtr (fromIntegral esp) :: Ptr CUInt
+  ret <- peek ret_ptr
+  retval <- peek (intPtrToPtr (fromIntegral (ret - 1)) :: Ptr CUChar)
+  return $ fromIntegral retval
+
+offsetOfCallInsn32 :: CUInt -> IO CUInt
+offsetOfCallInsn32 esp = do
   let ret_ptr = intPtrToPtr (fromIntegral esp) :: Ptr CUInt
   ret <- peek ret_ptr
-  peek (intPtrToPtr $ fromIntegral (ret - 1))
+  retval <- peek (intPtrToPtr $ fromIntegral (ret - 4))
+  return retval
diff --git a/tests/InstanceLong1.java b/tests/InstanceLong1.java
new file mode 100644 (file)
index 0000000..5c7250e
--- /dev/null
@@ -0,0 +1,2062 @@
+package tests;
+
+public class InstanceLong1 {
+       public static void main(String []args) {
+               new InstanceLong1().a0047();
+               new InstanceLong1().a1667();
+               new InstanceLong1().a1337();
+               new InstanceLong1().a0001();
+               new InstanceLong1().a2050();
+       }
+
+       public void a0001 () { System.out.printf("a0001\n"); }
+       public void a0002 () { System.out.printf("a0002\n"); }
+       public void a0003 () { System.out.printf("a0003\n"); }
+       public void a0004 () { System.out.printf("a0004\n"); }
+       public void a0005 () { System.out.printf("a0005\n"); }
+       public void a0006 () { System.out.printf("a0006\n"); }
+       public void a0007 () { System.out.printf("a0007\n"); }
+       public void a0008 () { System.out.printf("a0008\n"); }
+       public void a0009 () { System.out.printf("a0009\n"); }
+       public void a0010 () { System.out.printf("a0010\n"); }
+       public void a0011 () { System.out.printf("a0011\n"); }
+       public void a0012 () { System.out.printf("a0012\n"); }
+       public void a0013 () { System.out.printf("a0013\n"); }
+       public void a0014 () { System.out.printf("a0014\n"); }
+       public void a0015 () { System.out.printf("a0015\n"); }
+       public void a0016 () { System.out.printf("a0016\n"); }
+       public void a0017 () { System.out.printf("a0017\n"); }
+       public void a0018 () { System.out.printf("a0018\n"); }
+       public void a0019 () { System.out.printf("a0019\n"); }
+       public void a0020 () { System.out.printf("a0020\n"); }
+       public void a0021 () { System.out.printf("a0021\n"); }
+       public void a0022 () { System.out.printf("a0022\n"); }
+       public void a0023 () { System.out.printf("a0023\n"); }
+       public void a0024 () { System.out.printf("a0024\n"); }
+       public void a0025 () { System.out.printf("a0025\n"); }
+       public void a0026 () { System.out.printf("a0026\n"); }
+       public void a0027 () { System.out.printf("a0027\n"); }
+       public void a0028 () { System.out.printf("a0028\n"); }
+       public void a0029 () { System.out.printf("a0029\n"); }
+       public void a0030 () { System.out.printf("a0030\n"); }
+       public void a0031 () { System.out.printf("a0031\n"); }
+       public void a0032 () { System.out.printf("a0032\n"); }
+       public void a0033 () { System.out.printf("a0033\n"); }
+       public void a0034 () { System.out.printf("a0034\n"); }
+       public void a0035 () { System.out.printf("a0035\n"); }
+       public void a0036 () { System.out.printf("a0036\n"); }
+       public void a0037 () { System.out.printf("a0037\n"); }
+       public void a0038 () { System.out.printf("a0038\n"); }
+       public void a0039 () { System.out.printf("a0039\n"); }
+       public void a0040 () { System.out.printf("a0040\n"); }
+       public void a0041 () { System.out.printf("a0041\n"); }
+       public void a0042 () { System.out.printf("a0042\n"); }
+       public void a0043 () { System.out.printf("a0043\n"); }
+       public void a0044 () { System.out.printf("a0044\n"); }
+       public void a0045 () { System.out.printf("a0045\n"); }
+       public void a0046 () { System.out.printf("a0046\n"); }
+       public void a0047 () { System.out.printf("a0047\n"); }
+       public void a0048 () { System.out.printf("a0048\n"); }
+       public void a0049 () { System.out.printf("a0049\n"); }
+       public void a0050 () { System.out.printf("a0050\n"); }
+       public void a0051 () { System.out.printf("a0051\n"); }
+       public void a0052 () { System.out.printf("a0052\n"); }
+       public void a0053 () { System.out.printf("a0053\n"); }
+       public void a0054 () { System.out.printf("a0054\n"); }
+       public void a0055 () { System.out.printf("a0055\n"); }
+       public void a0056 () { System.out.printf("a0056\n"); }
+       public void a0057 () { System.out.printf("a0057\n"); }
+       public void a0058 () { System.out.printf("a0058\n"); }
+       public void a0059 () { System.out.printf("a0059\n"); }
+       public void a0060 () { System.out.printf("a0060\n"); }
+       public void a0061 () { System.out.printf("a0061\n"); }
+       public void a0062 () { System.out.printf("a0062\n"); }
+       public void a0063 () { System.out.printf("a0063\n"); }
+       public void a0064 () { System.out.printf("a0064\n"); }
+       public void a0065 () { System.out.printf("a0065\n"); }
+       public void a0066 () { System.out.printf("a0066\n"); }
+       public void a0067 () { System.out.printf("a0067\n"); }
+       public void a0068 () { System.out.printf("a0068\n"); }
+       public void a0069 () { System.out.printf("a0069\n"); }
+       public void a0070 () { System.out.printf("a0070\n"); }
+       public void a0071 () { System.out.printf("a0071\n"); }
+       public void a0072 () { System.out.printf("a0072\n"); }
+       public void a0073 () { System.out.printf("a0073\n"); }
+       public void a0074 () { System.out.printf("a0074\n"); }
+       public void a0075 () { System.out.printf("a0075\n"); }
+       public void a0076 () { System.out.printf("a0076\n"); }
+       public void a0077 () { System.out.printf("a0077\n"); }
+       public void a0078 () { System.out.printf("a0078\n"); }
+       public void a0079 () { System.out.printf("a0079\n"); }
+       public void a0080 () { System.out.printf("a0080\n"); }
+       public void a0081 () { System.out.printf("a0081\n"); }
+       public void a0082 () { System.out.printf("a0082\n"); }
+       public void a0083 () { System.out.printf("a0083\n"); }
+       public void a0084 () { System.out.printf("a0084\n"); }
+       public void a0085 () { System.out.printf("a0085\n"); }
+       public void a0086 () { System.out.printf("a0086\n"); }
+       public void a0087 () { System.out.printf("a0087\n"); }
+       public void a0088 () { System.out.printf("a0088\n"); }
+       public void a0089 () { System.out.printf("a0089\n"); }
+       public void a0090 () { System.out.printf("a0090\n"); }
+       public void a0091 () { System.out.printf("a0091\n"); }
+       public void a0092 () { System.out.printf("a0092\n"); }
+       public void a0093 () { System.out.printf("a0093\n"); }
+       public void a0094 () { System.out.printf("a0094\n"); }
+       public void a0095 () { System.out.printf("a0095\n"); }
+       public void a0096 () { System.out.printf("a0096\n"); }
+       public void a0097 () { System.out.printf("a0097\n"); }
+       public void a0098 () { System.out.printf("a0098\n"); }
+       public void a0099 () { System.out.printf("a0099\n"); }
+       public void a0100 () { System.out.printf("a0100\n"); }
+       public void a0101 () { System.out.printf("a0101\n"); }
+       public void a0102 () { System.out.printf("a0102\n"); }
+       public void a0103 () { System.out.printf("a0103\n"); }
+       public void a0104 () { System.out.printf("a0104\n"); }
+       public void a0105 () { System.out.printf("a0105\n"); }
+       public void a0106 () { System.out.printf("a0106\n"); }
+       public void a0107 () { System.out.printf("a0107\n"); }
+       public void a0108 () { System.out.printf("a0108\n"); }
+       public void a0109 () { System.out.printf("a0109\n"); }
+       public void a0110 () { System.out.printf("a0110\n"); }
+       public void a0111 () { System.out.printf("a0111\n"); }
+       public void a0112 () { System.out.printf("a0112\n"); }
+       public void a0113 () { System.out.printf("a0113\n"); }
+       public void a0114 () { System.out.printf("a0114\n"); }
+       public void a0115 () { System.out.printf("a0115\n"); }
+       public void a0116 () { System.out.printf("a0116\n"); }
+       public void a0117 () { System.out.printf("a0117\n"); }
+       public void a0118 () { System.out.printf("a0118\n"); }
+       public void a0119 () { System.out.printf("a0119\n"); }
+       public void a0120 () { System.out.printf("a0120\n"); }
+       public void a0121 () { System.out.printf("a0121\n"); }
+       public void a0122 () { System.out.printf("a0122\n"); }
+       public void a0123 () { System.out.printf("a0123\n"); }
+       public void a0124 () { System.out.printf("a0124\n"); }
+       public void a0125 () { System.out.printf("a0125\n"); }
+       public void a0126 () { System.out.printf("a0126\n"); }
+       public void a0127 () { System.out.printf("a0127\n"); }
+       public void a0128 () { System.out.printf("a0128\n"); }
+       public void a0129 () { System.out.printf("a0129\n"); }
+       public void a0130 () { System.out.printf("a0130\n"); }
+       public void a0131 () { System.out.printf("a0131\n"); }
+       public void a0132 () { System.out.printf("a0132\n"); }
+       public void a0133 () { System.out.printf("a0133\n"); }
+       public void a0134 () { System.out.printf("a0134\n"); }
+       public void a0135 () { System.out.printf("a0135\n"); }
+       public void a0136 () { System.out.printf("a0136\n"); }
+       public void a0137 () { System.out.printf("a0137\n"); }
+       public void a0138 () { System.out.printf("a0138\n"); }
+       public void a0139 () { System.out.printf("a0139\n"); }
+       public void a0140 () { System.out.printf("a0140\n"); }
+       public void a0141 () { System.out.printf("a0141\n"); }
+       public void a0142 () { System.out.printf("a0142\n"); }
+       public void a0143 () { System.out.printf("a0143\n"); }
+       public void a0144 () { System.out.printf("a0144\n"); }
+       public void a0145 () { System.out.printf("a0145\n"); }
+       public void a0146 () { System.out.printf("a0146\n"); }
+       public void a0147 () { System.out.printf("a0147\n"); }
+       public void a0148 () { System.out.printf("a0148\n"); }
+       public void a0149 () { System.out.printf("a0149\n"); }
+       public void a0150 () { System.out.printf("a0150\n"); }
+       public void a0151 () { System.out.printf("a0151\n"); }
+       public void a0152 () { System.out.printf("a0152\n"); }
+       public void a0153 () { System.out.printf("a0153\n"); }
+       public void a0154 () { System.out.printf("a0154\n"); }
+       public void a0155 () { System.out.printf("a0155\n"); }
+       public void a0156 () { System.out.printf("a0156\n"); }
+       public void a0157 () { System.out.printf("a0157\n"); }
+       public void a0158 () { System.out.printf("a0158\n"); }
+       public void a0159 () { System.out.printf("a0159\n"); }
+       public void a0160 () { System.out.printf("a0160\n"); }
+       public void a0161 () { System.out.printf("a0161\n"); }
+       public void a0162 () { System.out.printf("a0162\n"); }
+       public void a0163 () { System.out.printf("a0163\n"); }
+       public void a0164 () { System.out.printf("a0164\n"); }
+       public void a0165 () { System.out.printf("a0165\n"); }
+       public void a0166 () { System.out.printf("a0166\n"); }
+       public void a0167 () { System.out.printf("a0167\n"); }
+       public void a0168 () { System.out.printf("a0168\n"); }
+       public void a0169 () { System.out.printf("a0169\n"); }
+       public void a0170 () { System.out.printf("a0170\n"); }
+       public void a0171 () { System.out.printf("a0171\n"); }
+       public void a0172 () { System.out.printf("a0172\n"); }
+       public void a0173 () { System.out.printf("a0173\n"); }
+       public void a0174 () { System.out.printf("a0174\n"); }
+       public void a0175 () { System.out.printf("a0175\n"); }
+       public void a0176 () { System.out.printf("a0176\n"); }
+       public void a0177 () { System.out.printf("a0177\n"); }
+       public void a0178 () { System.out.printf("a0178\n"); }
+       public void a0179 () { System.out.printf("a0179\n"); }
+       public void a0180 () { System.out.printf("a0180\n"); }
+       public void a0181 () { System.out.printf("a0181\n"); }
+       public void a0182 () { System.out.printf("a0182\n"); }
+       public void a0183 () { System.out.printf("a0183\n"); }
+       public void a0184 () { System.out.printf("a0184\n"); }
+       public void a0185 () { System.out.printf("a0185\n"); }
+       public void a0186 () { System.out.printf("a0186\n"); }
+       public void a0187 () { System.out.printf("a0187\n"); }
+       public void a0188 () { System.out.printf("a0188\n"); }
+       public void a0189 () { System.out.printf("a0189\n"); }
+       public void a0190 () { System.out.printf("a0190\n"); }
+       public void a0191 () { System.out.printf("a0191\n"); }
+       public void a0192 () { System.out.printf("a0192\n"); }
+       public void a0193 () { System.out.printf("a0193\n"); }
+       public void a0194 () { System.out.printf("a0194\n"); }
+       public void a0195 () { System.out.printf("a0195\n"); }
+       public void a0196 () { System.out.printf("a0196\n"); }
+       public void a0197 () { System.out.printf("a0197\n"); }
+       public void a0198 () { System.out.printf("a0198\n"); }
+       public void a0199 () { System.out.printf("a0199\n"); }
+       public void a0200 () { System.out.printf("a0200\n"); }
+       public void a0201 () { System.out.printf("a0201\n"); }
+       public void a0202 () { System.out.printf("a0202\n"); }
+       public void a0203 () { System.out.printf("a0203\n"); }
+       public void a0204 () { System.out.printf("a0204\n"); }
+       public void a0205 () { System.out.printf("a0205\n"); }
+       public void a0206 () { System.out.printf("a0206\n"); }
+       public void a0207 () { System.out.printf("a0207\n"); }
+       public void a0208 () { System.out.printf("a0208\n"); }
+       public void a0209 () { System.out.printf("a0209\n"); }
+       public void a0210 () { System.out.printf("a0210\n"); }
+       public void a0211 () { System.out.printf("a0211\n"); }
+       public void a0212 () { System.out.printf("a0212\n"); }
+       public void a0213 () { System.out.printf("a0213\n"); }
+       public void a0214 () { System.out.printf("a0214\n"); }
+       public void a0215 () { System.out.printf("a0215\n"); }
+       public void a0216 () { System.out.printf("a0216\n"); }
+       public void a0217 () { System.out.printf("a0217\n"); }
+       public void a0218 () { System.out.printf("a0218\n"); }
+       public void a0219 () { System.out.printf("a0219\n"); }
+       public void a0220 () { System.out.printf("a0220\n"); }
+       public void a0221 () { System.out.printf("a0221\n"); }
+       public void a0222 () { System.out.printf("a0222\n"); }
+       public void a0223 () { System.out.printf("a0223\n"); }
+       public void a0224 () { System.out.printf("a0224\n"); }
+       public void a0225 () { System.out.printf("a0225\n"); }
+       public void a0226 () { System.out.printf("a0226\n"); }
+       public void a0227 () { System.out.printf("a0227\n"); }
+       public void a0228 () { System.out.printf("a0228\n"); }
+       public void a0229 () { System.out.printf("a0229\n"); }
+       public void a0230 () { System.out.printf("a0230\n"); }
+       public void a0231 () { System.out.printf("a0231\n"); }
+       public void a0232 () { System.out.printf("a0232\n"); }
+       public void a0233 () { System.out.printf("a0233\n"); }
+       public void a0234 () { System.out.printf("a0234\n"); }
+       public void a0235 () { System.out.printf("a0235\n"); }
+       public void a0236 () { System.out.printf("a0236\n"); }
+       public void a0237 () { System.out.printf("a0237\n"); }
+       public void a0238 () { System.out.printf("a0238\n"); }
+       public void a0239 () { System.out.printf("a0239\n"); }
+       public void a0240 () { System.out.printf("a0240\n"); }
+       public void a0241 () { System.out.printf("a0241\n"); }
+       public void a0242 () { System.out.printf("a0242\n"); }
+       public void a0243 () { System.out.printf("a0243\n"); }
+       public void a0244 () { System.out.printf("a0244\n"); }
+       public void a0245 () { System.out.printf("a0245\n"); }
+       public void a0246 () { System.out.printf("a0246\n"); }
+       public void a0247 () { System.out.printf("a0247\n"); }
+       public void a0248 () { System.out.printf("a0248\n"); }
+       public void a0249 () { System.out.printf("a0249\n"); }
+       public void a0250 () { System.out.printf("a0250\n"); }
+       public void a0251 () { System.out.printf("a0251\n"); }
+       public void a0252 () { System.out.printf("a0252\n"); }
+       public void a0253 () { System.out.printf("a0253\n"); }
+       public void a0254 () { System.out.printf("a0254\n"); }
+       public void a0255 () { System.out.printf("a0255\n"); }
+       public void a0256 () { System.out.printf("a0256\n"); }
+       public void a0257 () { System.out.printf("a0257\n"); }
+       public void a0258 () { System.out.printf("a0258\n"); }
+       public void a0259 () { System.out.printf("a0259\n"); }
+       public void a0260 () { System.out.printf("a0260\n"); }
+       public void a0261 () { System.out.printf("a0261\n"); }
+       public void a0262 () { System.out.printf("a0262\n"); }
+       public void a0263 () { System.out.printf("a0263\n"); }
+       public void a0264 () { System.out.printf("a0264\n"); }
+       public void a0265 () { System.out.printf("a0265\n"); }
+       public void a0266 () { System.out.printf("a0266\n"); }
+       public void a0267 () { System.out.printf("a0267\n"); }
+       public void a0268 () { System.out.printf("a0268\n"); }
+       public void a0269 () { System.out.printf("a0269\n"); }
+       public void a0270 () { System.out.printf("a0270\n"); }
+       public void a0271 () { System.out.printf("a0271\n"); }
+       public void a0272 () { System.out.printf("a0272\n"); }
+       public void a0273 () { System.out.printf("a0273\n"); }
+       public void a0274 () { System.out.printf("a0274\n"); }
+       public void a0275 () { System.out.printf("a0275\n"); }
+       public void a0276 () { System.out.printf("a0276\n"); }
+       public void a0277 () { System.out.printf("a0277\n"); }
+       public void a0278 () { System.out.printf("a0278\n"); }
+       public void a0279 () { System.out.printf("a0279\n"); }
+       public void a0280 () { System.out.printf("a0280\n"); }
+       public void a0281 () { System.out.printf("a0281\n"); }
+       public void a0282 () { System.out.printf("a0282\n"); }
+       public void a0283 () { System.out.printf("a0283\n"); }
+       public void a0284 () { System.out.printf("a0284\n"); }
+       public void a0285 () { System.out.printf("a0285\n"); }
+       public void a0286 () { System.out.printf("a0286\n"); }
+       public void a0287 () { System.out.printf("a0287\n"); }
+       public void a0288 () { System.out.printf("a0288\n"); }
+       public void a0289 () { System.out.printf("a0289\n"); }
+       public void a0290 () { System.out.printf("a0290\n"); }
+       public void a0291 () { System.out.printf("a0291\n"); }
+       public void a0292 () { System.out.printf("a0292\n"); }
+       public void a0293 () { System.out.printf("a0293\n"); }
+       public void a0294 () { System.out.printf("a0294\n"); }
+       public void a0295 () { System.out.printf("a0295\n"); }
+       public void a0296 () { System.out.printf("a0296\n"); }
+       public void a0297 () { System.out.printf("a0297\n"); }
+       public void a0298 () { System.out.printf("a0298\n"); }
+       public void a0299 () { System.out.printf("a0299\n"); }
+       public void a0300 () { System.out.printf("a0300\n"); }
+       public void a0301 () { System.out.printf("a0301\n"); }
+       public void a0302 () { System.out.printf("a0302\n"); }
+       public void a0303 () { System.out.printf("a0303\n"); }
+       public void a0304 () { System.out.printf("a0304\n"); }
+       public void a0305 () { System.out.printf("a0305\n"); }
+       public void a0306 () { System.out.printf("a0306\n"); }
+       public void a0307 () { System.out.printf("a0307\n"); }
+       public void a0308 () { System.out.printf("a0308\n"); }
+       public void a0309 () { System.out.printf("a0309\n"); }
+       public void a0310 () { System.out.printf("a0310\n"); }
+       public void a0311 () { System.out.printf("a0311\n"); }
+       public void a0312 () { System.out.printf("a0312\n"); }
+       public void a0313 () { System.out.printf("a0313\n"); }
+       public void a0314 () { System.out.printf("a0314\n"); }
+       public void a0315 () { System.out.printf("a0315\n"); }
+       public void a0316 () { System.out.printf("a0316\n"); }
+       public void a0317 () { System.out.printf("a0317\n"); }
+       public void a0318 () { System.out.printf("a0318\n"); }
+       public void a0319 () { System.out.printf("a0319\n"); }
+       public void a0320 () { System.out.printf("a0320\n"); }
+       public void a0321 () { System.out.printf("a0321\n"); }
+       public void a0322 () { System.out.printf("a0322\n"); }
+       public void a0323 () { System.out.printf("a0323\n"); }
+       public void a0324 () { System.out.printf("a0324\n"); }
+       public void a0325 () { System.out.printf("a0325\n"); }
+       public void a0326 () { System.out.printf("a0326\n"); }
+       public void a0327 () { System.out.printf("a0327\n"); }
+       public void a0328 () { System.out.printf("a0328\n"); }
+       public void a0329 () { System.out.printf("a0329\n"); }
+       public void a0330 () { System.out.printf("a0330\n"); }
+       public void a0331 () { System.out.printf("a0331\n"); }
+       public void a0332 () { System.out.printf("a0332\n"); }
+       public void a0333 () { System.out.printf("a0333\n"); }
+       public void a0334 () { System.out.printf("a0334\n"); }
+       public void a0335 () { System.out.printf("a0335\n"); }
+       public void a0336 () { System.out.printf("a0336\n"); }
+       public void a0337 () { System.out.printf("a0337\n"); }
+       public void a0338 () { System.out.printf("a0338\n"); }
+       public void a0339 () { System.out.printf("a0339\n"); }
+       public void a0340 () { System.out.printf("a0340\n"); }
+       public void a0341 () { System.out.printf("a0341\n"); }
+       public void a0342 () { System.out.printf("a0342\n"); }
+       public void a0343 () { System.out.printf("a0343\n"); }
+       public void a0344 () { System.out.printf("a0344\n"); }
+       public void a0345 () { System.out.printf("a0345\n"); }
+       public void a0346 () { System.out.printf("a0346\n"); }
+       public void a0347 () { System.out.printf("a0347\n"); }
+       public void a0348 () { System.out.printf("a0348\n"); }
+       public void a0349 () { System.out.printf("a0349\n"); }
+       public void a0350 () { System.out.printf("a0350\n"); }
+       public void a0351 () { System.out.printf("a0351\n"); }
+       public void a0352 () { System.out.printf("a0352\n"); }
+       public void a0353 () { System.out.printf("a0353\n"); }
+       public void a0354 () { System.out.printf("a0354\n"); }
+       public void a0355 () { System.out.printf("a0355\n"); }
+       public void a0356 () { System.out.printf("a0356\n"); }
+       public void a0357 () { System.out.printf("a0357\n"); }
+       public void a0358 () { System.out.printf("a0358\n"); }
+       public void a0359 () { System.out.printf("a0359\n"); }
+       public void a0360 () { System.out.printf("a0360\n"); }
+       public void a0361 () { System.out.printf("a0361\n"); }
+       public void a0362 () { System.out.printf("a0362\n"); }
+       public void a0363 () { System.out.printf("a0363\n"); }
+       public void a0364 () { System.out.printf("a0364\n"); }
+       public void a0365 () { System.out.printf("a0365\n"); }
+       public void a0366 () { System.out.printf("a0366\n"); }
+       public void a0367 () { System.out.printf("a0367\n"); }
+       public void a0368 () { System.out.printf("a0368\n"); }
+       public void a0369 () { System.out.printf("a0369\n"); }
+       public void a0370 () { System.out.printf("a0370\n"); }
+       public void a0371 () { System.out.printf("a0371\n"); }
+       public void a0372 () { System.out.printf("a0372\n"); }
+       public void a0373 () { System.out.printf("a0373\n"); }
+       public void a0374 () { System.out.printf("a0374\n"); }
+       public void a0375 () { System.out.printf("a0375\n"); }
+       public void a0376 () { System.out.printf("a0376\n"); }
+       public void a0377 () { System.out.printf("a0377\n"); }
+       public void a0378 () { System.out.printf("a0378\n"); }
+       public void a0379 () { System.out.printf("a0379\n"); }
+       public void a0380 () { System.out.printf("a0380\n"); }
+       public void a0381 () { System.out.printf("a0381\n"); }
+       public void a0382 () { System.out.printf("a0382\n"); }
+       public void a0383 () { System.out.printf("a0383\n"); }
+       public void a0384 () { System.out.printf("a0384\n"); }
+       public void a0385 () { System.out.printf("a0385\n"); }
+       public void a0386 () { System.out.printf("a0386\n"); }
+       public void a0387 () { System.out.printf("a0387\n"); }
+       public void a0388 () { System.out.printf("a0388\n"); }
+       public void a0389 () { System.out.printf("a0389\n"); }
+       public void a0390 () { System.out.printf("a0390\n"); }
+       public void a0391 () { System.out.printf("a0391\n"); }
+       public void a0392 () { System.out.printf("a0392\n"); }
+       public void a0393 () { System.out.printf("a0393\n"); }
+       public void a0394 () { System.out.printf("a0394\n"); }
+       public void a0395 () { System.out.printf("a0395\n"); }
+       public void a0396 () { System.out.printf("a0396\n"); }
+       public void a0397 () { System.out.printf("a0397\n"); }
+       public void a0398 () { System.out.printf("a0398\n"); }
+       public void a0399 () { System.out.printf("a0399\n"); }
+       public void a0400 () { System.out.printf("a0400\n"); }
+       public void a0401 () { System.out.printf("a0401\n"); }
+       public void a0402 () { System.out.printf("a0402\n"); }
+       public void a0403 () { System.out.printf("a0403\n"); }
+       public void a0404 () { System.out.printf("a0404\n"); }
+       public void a0405 () { System.out.printf("a0405\n"); }
+       public void a0406 () { System.out.printf("a0406\n"); }
+       public void a0407 () { System.out.printf("a0407\n"); }
+       public void a0408 () { System.out.printf("a0408\n"); }
+       public void a0409 () { System.out.printf("a0409\n"); }
+       public void a0410 () { System.out.printf("a0410\n"); }
+       public void a0411 () { System.out.printf("a0411\n"); }
+       public void a0412 () { System.out.printf("a0412\n"); }
+       public void a0413 () { System.out.printf("a0413\n"); }
+       public void a0414 () { System.out.printf("a0414\n"); }
+       public void a0415 () { System.out.printf("a0415\n"); }
+       public void a0416 () { System.out.printf("a0416\n"); }
+       public void a0417 () { System.out.printf("a0417\n"); }
+       public void a0418 () { System.out.printf("a0418\n"); }
+       public void a0419 () { System.out.printf("a0419\n"); }
+       public void a0420 () { System.out.printf("a0420\n"); }
+       public void a0421 () { System.out.printf("a0421\n"); }
+       public void a0422 () { System.out.printf("a0422\n"); }
+       public void a0423 () { System.out.printf("a0423\n"); }
+       public void a0424 () { System.out.printf("a0424\n"); }
+       public void a0425 () { System.out.printf("a0425\n"); }
+       public void a0426 () { System.out.printf("a0426\n"); }
+       public void a0427 () { System.out.printf("a0427\n"); }
+       public void a0428 () { System.out.printf("a0428\n"); }
+       public void a0429 () { System.out.printf("a0429\n"); }
+       public void a0430 () { System.out.printf("a0430\n"); }
+       public void a0431 () { System.out.printf("a0431\n"); }
+       public void a0432 () { System.out.printf("a0432\n"); }
+       public void a0433 () { System.out.printf("a0433\n"); }
+       public void a0434 () { System.out.printf("a0434\n"); }
+       public void a0435 () { System.out.printf("a0435\n"); }
+       public void a0436 () { System.out.printf("a0436\n"); }
+       public void a0437 () { System.out.printf("a0437\n"); }
+       public void a0438 () { System.out.printf("a0438\n"); }
+       public void a0439 () { System.out.printf("a0439\n"); }
+       public void a0440 () { System.out.printf("a0440\n"); }
+       public void a0441 () { System.out.printf("a0441\n"); }
+       public void a0442 () { System.out.printf("a0442\n"); }
+       public void a0443 () { System.out.printf("a0443\n"); }
+       public void a0444 () { System.out.printf("a0444\n"); }
+       public void a0445 () { System.out.printf("a0445\n"); }
+       public void a0446 () { System.out.printf("a0446\n"); }
+       public void a0447 () { System.out.printf("a0447\n"); }
+       public void a0448 () { System.out.printf("a0448\n"); }
+       public void a0449 () { System.out.printf("a0449\n"); }
+       public void a0450 () { System.out.printf("a0450\n"); }
+       public void a0451 () { System.out.printf("a0451\n"); }
+       public void a0452 () { System.out.printf("a0452\n"); }
+       public void a0453 () { System.out.printf("a0453\n"); }
+       public void a0454 () { System.out.printf("a0454\n"); }
+       public void a0455 () { System.out.printf("a0455\n"); }
+       public void a0456 () { System.out.printf("a0456\n"); }
+       public void a0457 () { System.out.printf("a0457\n"); }
+       public void a0458 () { System.out.printf("a0458\n"); }
+       public void a0459 () { System.out.printf("a0459\n"); }
+       public void a0460 () { System.out.printf("a0460\n"); }
+       public void a0461 () { System.out.printf("a0461\n"); }
+       public void a0462 () { System.out.printf("a0462\n"); }
+       public void a0463 () { System.out.printf("a0463\n"); }
+       public void a0464 () { System.out.printf("a0464\n"); }
+       public void a0465 () { System.out.printf("a0465\n"); }
+       public void a0466 () { System.out.printf("a0466\n"); }
+       public void a0467 () { System.out.printf("a0467\n"); }
+       public void a0468 () { System.out.printf("a0468\n"); }
+       public void a0469 () { System.out.printf("a0469\n"); }
+       public void a0470 () { System.out.printf("a0470\n"); }
+       public void a0471 () { System.out.printf("a0471\n"); }
+       public void a0472 () { System.out.printf("a0472\n"); }
+       public void a0473 () { System.out.printf("a0473\n"); }
+       public void a0474 () { System.out.printf("a0474\n"); }
+       public void a0475 () { System.out.printf("a0475\n"); }
+       public void a0476 () { System.out.printf("a0476\n"); }
+       public void a0477 () { System.out.printf("a0477\n"); }
+       public void a0478 () { System.out.printf("a0478\n"); }
+       public void a0479 () { System.out.printf("a0479\n"); }
+       public void a0480 () { System.out.printf("a0480\n"); }
+       public void a0481 () { System.out.printf("a0481\n"); }
+       public void a0482 () { System.out.printf("a0482\n"); }
+       public void a0483 () { System.out.printf("a0483\n"); }
+       public void a0484 () { System.out.printf("a0484\n"); }
+       public void a0485 () { System.out.printf("a0485\n"); }
+       public void a0486 () { System.out.printf("a0486\n"); }
+       public void a0487 () { System.out.printf("a0487\n"); }
+       public void a0488 () { System.out.printf("a0488\n"); }
+       public void a0489 () { System.out.printf("a0489\n"); }
+       public void a0490 () { System.out.printf("a0490\n"); }
+       public void a0491 () { System.out.printf("a0491\n"); }
+       public void a0492 () { System.out.printf("a0492\n"); }
+       public void a0493 () { System.out.printf("a0493\n"); }
+       public void a0494 () { System.out.printf("a0494\n"); }
+       public void a0495 () { System.out.printf("a0495\n"); }
+       public void a0496 () { System.out.printf("a0496\n"); }
+       public void a0497 () { System.out.printf("a0497\n"); }
+       public void a0498 () { System.out.printf("a0498\n"); }
+       public void a0499 () { System.out.printf("a0499\n"); }
+       public void a0500 () { System.out.printf("a0500\n"); }
+       public void a0501 () { System.out.printf("a0501\n"); }
+       public void a0502 () { System.out.printf("a0502\n"); }
+       public void a0503 () { System.out.printf("a0503\n"); }
+       public void a0504 () { System.out.printf("a0504\n"); }
+       public void a0505 () { System.out.printf("a0505\n"); }
+       public void a0506 () { System.out.printf("a0506\n"); }
+       public void a0507 () { System.out.printf("a0507\n"); }
+       public void a0508 () { System.out.printf("a0508\n"); }
+       public void a0509 () { System.out.printf("a0509\n"); }
+       public void a0510 () { System.out.printf("a0510\n"); }
+       public void a0511 () { System.out.printf("a0511\n"); }
+       public void a0512 () { System.out.printf("a0512\n"); }
+       public void a0513 () { System.out.printf("a0513\n"); }
+       public void a0514 () { System.out.printf("a0514\n"); }
+       public void a0515 () { System.out.printf("a0515\n"); }
+       public void a0516 () { System.out.printf("a0516\n"); }
+       public void a0517 () { System.out.printf("a0517\n"); }
+       public void a0518 () { System.out.printf("a0518\n"); }
+       public void a0519 () { System.out.printf("a0519\n"); }
+       public void a0520 () { System.out.printf("a0520\n"); }
+       public void a0521 () { System.out.printf("a0521\n"); }
+       public void a0522 () { System.out.printf("a0522\n"); }
+       public void a0523 () { System.out.printf("a0523\n"); }
+       public void a0524 () { System.out.printf("a0524\n"); }
+       public void a0525 () { System.out.printf("a0525\n"); }
+       public void a0526 () { System.out.printf("a0526\n"); }
+       public void a0527 () { System.out.printf("a0527\n"); }
+       public void a0528 () { System.out.printf("a0528\n"); }
+       public void a0529 () { System.out.printf("a0529\n"); }
+       public void a0530 () { System.out.printf("a0530\n"); }
+       public void a0531 () { System.out.printf("a0531\n"); }
+       public void a0532 () { System.out.printf("a0532\n"); }
+       public void a0533 () { System.out.printf("a0533\n"); }
+       public void a0534 () { System.out.printf("a0534\n"); }
+       public void a0535 () { System.out.printf("a0535\n"); }
+       public void a0536 () { System.out.printf("a0536\n"); }
+       public void a0537 () { System.out.printf("a0537\n"); }
+       public void a0538 () { System.out.printf("a0538\n"); }
+       public void a0539 () { System.out.printf("a0539\n"); }
+       public void a0540 () { System.out.printf("a0540\n"); }
+       public void a0541 () { System.out.printf("a0541\n"); }
+       public void a0542 () { System.out.printf("a0542\n"); }
+       public void a0543 () { System.out.printf("a0543\n"); }
+       public void a0544 () { System.out.printf("a0544\n"); }
+       public void a0545 () { System.out.printf("a0545\n"); }
+       public void a0546 () { System.out.printf("a0546\n"); }
+       public void a0547 () { System.out.printf("a0547\n"); }
+       public void a0548 () { System.out.printf("a0548\n"); }
+       public void a0549 () { System.out.printf("a0549\n"); }
+       public void a0550 () { System.out.printf("a0550\n"); }
+       public void a0551 () { System.out.printf("a0551\n"); }
+       public void a0552 () { System.out.printf("a0552\n"); }
+       public void a0553 () { System.out.printf("a0553\n"); }
+       public void a0554 () { System.out.printf("a0554\n"); }
+       public void a0555 () { System.out.printf("a0555\n"); }
+       public void a0556 () { System.out.printf("a0556\n"); }
+       public void a0557 () { System.out.printf("a0557\n"); }
+       public void a0558 () { System.out.printf("a0558\n"); }
+       public void a0559 () { System.out.printf("a0559\n"); }
+       public void a0560 () { System.out.printf("a0560\n"); }
+       public void a0561 () { System.out.printf("a0561\n"); }
+       public void a0562 () { System.out.printf("a0562\n"); }
+       public void a0563 () { System.out.printf("a0563\n"); }
+       public void a0564 () { System.out.printf("a0564\n"); }
+       public void a0565 () { System.out.printf("a0565\n"); }
+       public void a0566 () { System.out.printf("a0566\n"); }
+       public void a0567 () { System.out.printf("a0567\n"); }
+       public void a0568 () { System.out.printf("a0568\n"); }
+       public void a0569 () { System.out.printf("a0569\n"); }
+       public void a0570 () { System.out.printf("a0570\n"); }
+       public void a0571 () { System.out.printf("a0571\n"); }
+       public void a0572 () { System.out.printf("a0572\n"); }
+       public void a0573 () { System.out.printf("a0573\n"); }
+       public void a0574 () { System.out.printf("a0574\n"); }
+       public void a0575 () { System.out.printf("a0575\n"); }
+       public void a0576 () { System.out.printf("a0576\n"); }
+       public void a0577 () { System.out.printf("a0577\n"); }
+       public void a0578 () { System.out.printf("a0578\n"); }
+       public void a0579 () { System.out.printf("a0579\n"); }
+       public void a0580 () { System.out.printf("a0580\n"); }
+       public void a0581 () { System.out.printf("a0581\n"); }
+       public void a0582 () { System.out.printf("a0582\n"); }
+       public void a0583 () { System.out.printf("a0583\n"); }
+       public void a0584 () { System.out.printf("a0584\n"); }
+       public void a0585 () { System.out.printf("a0585\n"); }
+       public void a0586 () { System.out.printf("a0586\n"); }
+       public void a0587 () { System.out.printf("a0587\n"); }
+       public void a0588 () { System.out.printf("a0588\n"); }
+       public void a0589 () { System.out.printf("a0589\n"); }
+       public void a0590 () { System.out.printf("a0590\n"); }
+       public void a0591 () { System.out.printf("a0591\n"); }
+       public void a0592 () { System.out.printf("a0592\n"); }
+       public void a0593 () { System.out.printf("a0593\n"); }
+       public void a0594 () { System.out.printf("a0594\n"); }
+       public void a0595 () { System.out.printf("a0595\n"); }
+       public void a0596 () { System.out.printf("a0596\n"); }
+       public void a0597 () { System.out.printf("a0597\n"); }
+       public void a0598 () { System.out.printf("a0598\n"); }
+       public void a0599 () { System.out.printf("a0599\n"); }
+       public void a0600 () { System.out.printf("a0600\n"); }
+       public void a0601 () { System.out.printf("a0601\n"); }
+       public void a0602 () { System.out.printf("a0602\n"); }
+       public void a0603 () { System.out.printf("a0603\n"); }
+       public void a0604 () { System.out.printf("a0604\n"); }
+       public void a0605 () { System.out.printf("a0605\n"); }
+       public void a0606 () { System.out.printf("a0606\n"); }
+       public void a0607 () { System.out.printf("a0607\n"); }
+       public void a0608 () { System.out.printf("a0608\n"); }
+       public void a0609 () { System.out.printf("a0609\n"); }
+       public void a0610 () { System.out.printf("a0610\n"); }
+       public void a0611 () { System.out.printf("a0611\n"); }
+       public void a0612 () { System.out.printf("a0612\n"); }
+       public void a0613 () { System.out.printf("a0613\n"); }
+       public void a0614 () { System.out.printf("a0614\n"); }
+       public void a0615 () { System.out.printf("a0615\n"); }
+       public void a0616 () { System.out.printf("a0616\n"); }
+       public void a0617 () { System.out.printf("a0617\n"); }
+       public void a0618 () { System.out.printf("a0618\n"); }
+       public void a0619 () { System.out.printf("a0619\n"); }
+       public void a0620 () { System.out.printf("a0620\n"); }
+       public void a0621 () { System.out.printf("a0621\n"); }
+       public void a0622 () { System.out.printf("a0622\n"); }
+       public void a0623 () { System.out.printf("a0623\n"); }
+       public void a0624 () { System.out.printf("a0624\n"); }
+       public void a0625 () { System.out.printf("a0625\n"); }
+       public void a0626 () { System.out.printf("a0626\n"); }
+       public void a0627 () { System.out.printf("a0627\n"); }
+       public void a0628 () { System.out.printf("a0628\n"); }
+       public void a0629 () { System.out.printf("a0629\n"); }
+       public void a0630 () { System.out.printf("a0630\n"); }
+       public void a0631 () { System.out.printf("a0631\n"); }
+       public void a0632 () { System.out.printf("a0632\n"); }
+       public void a0633 () { System.out.printf("a0633\n"); }
+       public void a0634 () { System.out.printf("a0634\n"); }
+       public void a0635 () { System.out.printf("a0635\n"); }
+       public void a0636 () { System.out.printf("a0636\n"); }
+       public void a0637 () { System.out.printf("a0637\n"); }
+       public void a0638 () { System.out.printf("a0638\n"); }
+       public void a0639 () { System.out.printf("a0639\n"); }
+       public void a0640 () { System.out.printf("a0640\n"); }
+       public void a0641 () { System.out.printf("a0641\n"); }
+       public void a0642 () { System.out.printf("a0642\n"); }
+       public void a0643 () { System.out.printf("a0643\n"); }
+       public void a0644 () { System.out.printf("a0644\n"); }
+       public void a0645 () { System.out.printf("a0645\n"); }
+       public void a0646 () { System.out.printf("a0646\n"); }
+       public void a0647 () { System.out.printf("a0647\n"); }
+       public void a0648 () { System.out.printf("a0648\n"); }
+       public void a0649 () { System.out.printf("a0649\n"); }
+       public void a0650 () { System.out.printf("a0650\n"); }
+       public void a0651 () { System.out.printf("a0651\n"); }
+       public void a0652 () { System.out.printf("a0652\n"); }
+       public void a0653 () { System.out.printf("a0653\n"); }
+       public void a0654 () { System.out.printf("a0654\n"); }
+       public void a0655 () { System.out.printf("a0655\n"); }
+       public void a0656 () { System.out.printf("a0656\n"); }
+       public void a0657 () { System.out.printf("a0657\n"); }
+       public void a0658 () { System.out.printf("a0658\n"); }
+       public void a0659 () { System.out.printf("a0659\n"); }
+       public void a0660 () { System.out.printf("a0660\n"); }
+       public void a0661 () { System.out.printf("a0661\n"); }
+       public void a0662 () { System.out.printf("a0662\n"); }
+       public void a0663 () { System.out.printf("a0663\n"); }
+       public void a0664 () { System.out.printf("a0664\n"); }
+       public void a0665 () { System.out.printf("a0665\n"); }
+       public void a0666 () { System.out.printf("a0666\n"); }
+       public void a0667 () { System.out.printf("a0667\n"); }
+       public void a0668 () { System.out.printf("a0668\n"); }
+       public void a0669 () { System.out.printf("a0669\n"); }
+       public void a0670 () { System.out.printf("a0670\n"); }
+       public void a0671 () { System.out.printf("a0671\n"); }
+       public void a0672 () { System.out.printf("a0672\n"); }
+       public void a0673 () { System.out.printf("a0673\n"); }
+       public void a0674 () { System.out.printf("a0674\n"); }
+       public void a0675 () { System.out.printf("a0675\n"); }
+       public void a0676 () { System.out.printf("a0676\n"); }
+       public void a0677 () { System.out.printf("a0677\n"); }
+       public void a0678 () { System.out.printf("a0678\n"); }
+       public void a0679 () { System.out.printf("a0679\n"); }
+       public void a0680 () { System.out.printf("a0680\n"); }
+       public void a0681 () { System.out.printf("a0681\n"); }
+       public void a0682 () { System.out.printf("a0682\n"); }
+       public void a0683 () { System.out.printf("a0683\n"); }
+       public void a0684 () { System.out.printf("a0684\n"); }
+       public void a0685 () { System.out.printf("a0685\n"); }
+       public void a0686 () { System.out.printf("a0686\n"); }
+       public void a0687 () { System.out.printf("a0687\n"); }
+       public void a0688 () { System.out.printf("a0688\n"); }
+       public void a0689 () { System.out.printf("a0689\n"); }
+       public void a0690 () { System.out.printf("a0690\n"); }
+       public void a0691 () { System.out.printf("a0691\n"); }
+       public void a0692 () { System.out.printf("a0692\n"); }
+       public void a0693 () { System.out.printf("a0693\n"); }
+       public void a0694 () { System.out.printf("a0694\n"); }
+       public void a0695 () { System.out.printf("a0695\n"); }
+       public void a0696 () { System.out.printf("a0696\n"); }
+       public void a0697 () { System.out.printf("a0697\n"); }
+       public void a0698 () { System.out.printf("a0698\n"); }
+       public void a0699 () { System.out.printf("a0699\n"); }
+       public void a0700 () { System.out.printf("a0700\n"); }
+       public void a0701 () { System.out.printf("a0701\n"); }
+       public void a0702 () { System.out.printf("a0702\n"); }
+       public void a0703 () { System.out.printf("a0703\n"); }
+       public void a0704 () { System.out.printf("a0704\n"); }
+       public void a0705 () { System.out.printf("a0705\n"); }
+       public void a0706 () { System.out.printf("a0706\n"); }
+       public void a0707 () { System.out.printf("a0707\n"); }
+       public void a0708 () { System.out.printf("a0708\n"); }
+       public void a0709 () { System.out.printf("a0709\n"); }
+       public void a0710 () { System.out.printf("a0710\n"); }
+       public void a0711 () { System.out.printf("a0711\n"); }
+       public void a0712 () { System.out.printf("a0712\n"); }
+       public void a0713 () { System.out.printf("a0713\n"); }
+       public void a0714 () { System.out.printf("a0714\n"); }
+       public void a0715 () { System.out.printf("a0715\n"); }
+       public void a0716 () { System.out.printf("a0716\n"); }
+       public void a0717 () { System.out.printf("a0717\n"); }
+       public void a0718 () { System.out.printf("a0718\n"); }
+       public void a0719 () { System.out.printf("a0719\n"); }
+       public void a0720 () { System.out.printf("a0720\n"); }
+       public void a0721 () { System.out.printf("a0721\n"); }
+       public void a0722 () { System.out.printf("a0722\n"); }
+       public void a0723 () { System.out.printf("a0723\n"); }
+       public void a0724 () { System.out.printf("a0724\n"); }
+       public void a0725 () { System.out.printf("a0725\n"); }
+       public void a0726 () { System.out.printf("a0726\n"); }
+       public void a0727 () { System.out.printf("a0727\n"); }
+       public void a0728 () { System.out.printf("a0728\n"); }
+       public void a0729 () { System.out.printf("a0729\n"); }
+       public void a0730 () { System.out.printf("a0730\n"); }
+       public void a0731 () { System.out.printf("a0731\n"); }
+       public void a0732 () { System.out.printf("a0732\n"); }
+       public void a0733 () { System.out.printf("a0733\n"); }
+       public void a0734 () { System.out.printf("a0734\n"); }
+       public void a0735 () { System.out.printf("a0735\n"); }
+       public void a0736 () { System.out.printf("a0736\n"); }
+       public void a0737 () { System.out.printf("a0737\n"); }
+       public void a0738 () { System.out.printf("a0738\n"); }
+       public void a0739 () { System.out.printf("a0739\n"); }
+       public void a0740 () { System.out.printf("a0740\n"); }
+       public void a0741 () { System.out.printf("a0741\n"); }
+       public void a0742 () { System.out.printf("a0742\n"); }
+       public void a0743 () { System.out.printf("a0743\n"); }
+       public void a0744 () { System.out.printf("a0744\n"); }
+       public void a0745 () { System.out.printf("a0745\n"); }
+       public void a0746 () { System.out.printf("a0746\n"); }
+       public void a0747 () { System.out.printf("a0747\n"); }
+       public void a0748 () { System.out.printf("a0748\n"); }
+       public void a0749 () { System.out.printf("a0749\n"); }
+       public void a0750 () { System.out.printf("a0750\n"); }
+       public void a0751 () { System.out.printf("a0751\n"); }
+       public void a0752 () { System.out.printf("a0752\n"); }
+       public void a0753 () { System.out.printf("a0753\n"); }
+       public void a0754 () { System.out.printf("a0754\n"); }
+       public void a0755 () { System.out.printf("a0755\n"); }
+       public void a0756 () { System.out.printf("a0756\n"); }
+       public void a0757 () { System.out.printf("a0757\n"); }
+       public void a0758 () { System.out.printf("a0758\n"); }
+       public void a0759 () { System.out.printf("a0759\n"); }
+       public void a0760 () { System.out.printf("a0760\n"); }
+       public void a0761 () { System.out.printf("a0761\n"); }
+       public void a0762 () { System.out.printf("a0762\n"); }
+       public void a0763 () { System.out.printf("a0763\n"); }
+       public void a0764 () { System.out.printf("a0764\n"); }
+       public void a0765 () { System.out.printf("a0765\n"); }
+       public void a0766 () { System.out.printf("a0766\n"); }
+       public void a0767 () { System.out.printf("a0767\n"); }
+       public void a0768 () { System.out.printf("a0768\n"); }
+       public void a0769 () { System.out.printf("a0769\n"); }
+       public void a0770 () { System.out.printf("a0770\n"); }
+       public void a0771 () { System.out.printf("a0771\n"); }
+       public void a0772 () { System.out.printf("a0772\n"); }
+       public void a0773 () { System.out.printf("a0773\n"); }
+       public void a0774 () { System.out.printf("a0774\n"); }
+       public void a0775 () { System.out.printf("a0775\n"); }
+       public void a0776 () { System.out.printf("a0776\n"); }
+       public void a0777 () { System.out.printf("a0777\n"); }
+       public void a0778 () { System.out.printf("a0778\n"); }
+       public void a0779 () { System.out.printf("a0779\n"); }
+       public void a0780 () { System.out.printf("a0780\n"); }
+       public void a0781 () { System.out.printf("a0781\n"); }
+       public void a0782 () { System.out.printf("a0782\n"); }
+       public void a0783 () { System.out.printf("a0783\n"); }
+       public void a0784 () { System.out.printf("a0784\n"); }
+       public void a0785 () { System.out.printf("a0785\n"); }
+       public void a0786 () { System.out.printf("a0786\n"); }
+       public void a0787 () { System.out.printf("a0787\n"); }
+       public void a0788 () { System.out.printf("a0788\n"); }
+       public void a0789 () { System.out.printf("a0789\n"); }
+       public void a0790 () { System.out.printf("a0790\n"); }
+       public void a0791 () { System.out.printf("a0791\n"); }
+       public void a0792 () { System.out.printf("a0792\n"); }
+       public void a0793 () { System.out.printf("a0793\n"); }
+       public void a0794 () { System.out.printf("a0794\n"); }
+       public void a0795 () { System.out.printf("a0795\n"); }
+       public void a0796 () { System.out.printf("a0796\n"); }
+       public void a0797 () { System.out.printf("a0797\n"); }
+       public void a0798 () { System.out.printf("a0798\n"); }
+       public void a0799 () { System.out.printf("a0799\n"); }
+       public void a0800 () { System.out.printf("a0800\n"); }
+       public void a0801 () { System.out.printf("a0801\n"); }
+       public void a0802 () { System.out.printf("a0802\n"); }
+       public void a0803 () { System.out.printf("a0803\n"); }
+       public void a0804 () { System.out.printf("a0804\n"); }
+       public void a0805 () { System.out.printf("a0805\n"); }
+       public void a0806 () { System.out.printf("a0806\n"); }
+       public void a0807 () { System.out.printf("a0807\n"); }
+       public void a0808 () { System.out.printf("a0808\n"); }
+       public void a0809 () { System.out.printf("a0809\n"); }
+       public void a0810 () { System.out.printf("a0810\n"); }
+       public void a0811 () { System.out.printf("a0811\n"); }
+       public void a0812 () { System.out.printf("a0812\n"); }
+       public void a0813 () { System.out.printf("a0813\n"); }
+       public void a0814 () { System.out.printf("a0814\n"); }
+       public void a0815 () { System.out.printf("a0815\n"); }
+       public void a0816 () { System.out.printf("a0816\n"); }
+       public void a0817 () { System.out.printf("a0817\n"); }
+       public void a0818 () { System.out.printf("a0818\n"); }
+       public void a0819 () { System.out.printf("a0819\n"); }
+       public void a0820 () { System.out.printf("a0820\n"); }
+       public void a0821 () { System.out.printf("a0821\n"); }
+       public void a0822 () { System.out.printf("a0822\n"); }
+       public void a0823 () { System.out.printf("a0823\n"); }
+       public void a0824 () { System.out.printf("a0824\n"); }
+       public void a0825 () { System.out.printf("a0825\n"); }
+       public void a0826 () { System.out.printf("a0826\n"); }
+       public void a0827 () { System.out.printf("a0827\n"); }
+       public void a0828 () { System.out.printf("a0828\n"); }
+       public void a0829 () { System.out.printf("a0829\n"); }
+       public void a0830 () { System.out.printf("a0830\n"); }
+       public void a0831 () { System.out.printf("a0831\n"); }
+       public void a0832 () { System.out.printf("a0832\n"); }
+       public void a0833 () { System.out.printf("a0833\n"); }
+       public void a0834 () { System.out.printf("a0834\n"); }
+       public void a0835 () { System.out.printf("a0835\n"); }
+       public void a0836 () { System.out.printf("a0836\n"); }
+       public void a0837 () { System.out.printf("a0837\n"); }
+       public void a0838 () { System.out.printf("a0838\n"); }
+       public void a0839 () { System.out.printf("a0839\n"); }
+       public void a0840 () { System.out.printf("a0840\n"); }
+       public void a0841 () { System.out.printf("a0841\n"); }
+       public void a0842 () { System.out.printf("a0842\n"); }
+       public void a0843 () { System.out.printf("a0843\n"); }
+       public void a0844 () { System.out.printf("a0844\n"); }
+       public void a0845 () { System.out.printf("a0845\n"); }
+       public void a0846 () { System.out.printf("a0846\n"); }
+       public void a0847 () { System.out.printf("a0847\n"); }
+       public void a0848 () { System.out.printf("a0848\n"); }
+       public void a0849 () { System.out.printf("a0849\n"); }
+       public void a0850 () { System.out.printf("a0850\n"); }
+       public void a0851 () { System.out.printf("a0851\n"); }
+       public void a0852 () { System.out.printf("a0852\n"); }
+       public void a0853 () { System.out.printf("a0853\n"); }
+       public void a0854 () { System.out.printf("a0854\n"); }
+       public void a0855 () { System.out.printf("a0855\n"); }
+       public void a0856 () { System.out.printf("a0856\n"); }
+       public void a0857 () { System.out.printf("a0857\n"); }
+       public void a0858 () { System.out.printf("a0858\n"); }
+       public void a0859 () { System.out.printf("a0859\n"); }
+       public void a0860 () { System.out.printf("a0860\n"); }
+       public void a0861 () { System.out.printf("a0861\n"); }
+       public void a0862 () { System.out.printf("a0862\n"); }
+       public void a0863 () { System.out.printf("a0863\n"); }
+       public void a0864 () { System.out.printf("a0864\n"); }
+       public void a0865 () { System.out.printf("a0865\n"); }
+       public void a0866 () { System.out.printf("a0866\n"); }
+       public void a0867 () { System.out.printf("a0867\n"); }
+       public void a0868 () { System.out.printf("a0868\n"); }
+       public void a0869 () { System.out.printf("a0869\n"); }
+       public void a0870 () { System.out.printf("a0870\n"); }
+       public void a0871 () { System.out.printf("a0871\n"); }
+       public void a0872 () { System.out.printf("a0872\n"); }
+       public void a0873 () { System.out.printf("a0873\n"); }
+       public void a0874 () { System.out.printf("a0874\n"); }
+       public void a0875 () { System.out.printf("a0875\n"); }
+       public void a0876 () { System.out.printf("a0876\n"); }
+       public void a0877 () { System.out.printf("a0877\n"); }
+       public void a0878 () { System.out.printf("a0878\n"); }
+       public void a0879 () { System.out.printf("a0879\n"); }
+       public void a0880 () { System.out.printf("a0880\n"); }
+       public void a0881 () { System.out.printf("a0881\n"); }
+       public void a0882 () { System.out.printf("a0882\n"); }
+       public void a0883 () { System.out.printf("a0883\n"); }
+       public void a0884 () { System.out.printf("a0884\n"); }
+       public void a0885 () { System.out.printf("a0885\n"); }
+       public void a0886 () { System.out.printf("a0886\n"); }
+       public void a0887 () { System.out.printf("a0887\n"); }
+       public void a0888 () { System.out.printf("a0888\n"); }
+       public void a0889 () { System.out.printf("a0889\n"); }
+       public void a0890 () { System.out.printf("a0890\n"); }
+       public void a0891 () { System.out.printf("a0891\n"); }
+       public void a0892 () { System.out.printf("a0892\n"); }
+       public void a0893 () { System.out.printf("a0893\n"); }
+       public void a0894 () { System.out.printf("a0894\n"); }
+       public void a0895 () { System.out.printf("a0895\n"); }
+       public void a0896 () { System.out.printf("a0896\n"); }
+       public void a0897 () { System.out.printf("a0897\n"); }
+       public void a0898 () { System.out.printf("a0898\n"); }
+       public void a0899 () { System.out.printf("a0899\n"); }
+       public void a0900 () { System.out.printf("a0900\n"); }
+       public void a0901 () { System.out.printf("a0901\n"); }
+       public void a0902 () { System.out.printf("a0902\n"); }
+       public void a0903 () { System.out.printf("a0903\n"); }
+       public void a0904 () { System.out.printf("a0904\n"); }
+       public void a0905 () { System.out.printf("a0905\n"); }
+       public void a0906 () { System.out.printf("a0906\n"); }
+       public void a0907 () { System.out.printf("a0907\n"); }
+       public void a0908 () { System.out.printf("a0908\n"); }
+       public void a0909 () { System.out.printf("a0909\n"); }
+       public void a0910 () { System.out.printf("a0910\n"); }
+       public void a0911 () { System.out.printf("a0911\n"); }
+       public void a0912 () { System.out.printf("a0912\n"); }
+       public void a0913 () { System.out.printf("a0913\n"); }
+       public void a0914 () { System.out.printf("a0914\n"); }
+       public void a0915 () { System.out.printf("a0915\n"); }
+       public void a0916 () { System.out.printf("a0916\n"); }
+       public void a0917 () { System.out.printf("a0917\n"); }
+       public void a0918 () { System.out.printf("a0918\n"); }
+       public void a0919 () { System.out.printf("a0919\n"); }
+       public void a0920 () { System.out.printf("a0920\n"); }
+       public void a0921 () { System.out.printf("a0921\n"); }
+       public void a0922 () { System.out.printf("a0922\n"); }
+       public void a0923 () { System.out.printf("a0923\n"); }
+       public void a0924 () { System.out.printf("a0924\n"); }
+       public void a0925 () { System.out.printf("a0925\n"); }
+       public void a0926 () { System.out.printf("a0926\n"); }
+       public void a0927 () { System.out.printf("a0927\n"); }
+       public void a0928 () { System.out.printf("a0928\n"); }
+       public void a0929 () { System.out.printf("a0929\n"); }
+       public void a0930 () { System.out.printf("a0930\n"); }
+       public void a0931 () { System.out.printf("a0931\n"); }
+       public void a0932 () { System.out.printf("a0932\n"); }
+       public void a0933 () { System.out.printf("a0933\n"); }
+       public void a0934 () { System.out.printf("a0934\n"); }
+       public void a0935 () { System.out.printf("a0935\n"); }
+       public void a0936 () { System.out.printf("a0936\n"); }
+       public void a0937 () { System.out.printf("a0937\n"); }
+       public void a0938 () { System.out.printf("a0938\n"); }
+       public void a0939 () { System.out.printf("a0939\n"); }
+       public void a0940 () { System.out.printf("a0940\n"); }
+       public void a0941 () { System.out.printf("a0941\n"); }
+       public void a0942 () { System.out.printf("a0942\n"); }
+       public void a0943 () { System.out.printf("a0943\n"); }
+       public void a0944 () { System.out.printf("a0944\n"); }
+       public void a0945 () { System.out.printf("a0945\n"); }
+       public void a0946 () { System.out.printf("a0946\n"); }
+       public void a0947 () { System.out.printf("a0947\n"); }
+       public void a0948 () { System.out.printf("a0948\n"); }
+       public void a0949 () { System.out.printf("a0949\n"); }
+       public void a0950 () { System.out.printf("a0950\n"); }
+       public void a0951 () { System.out.printf("a0951\n"); }
+       public void a0952 () { System.out.printf("a0952\n"); }
+       public void a0953 () { System.out.printf("a0953\n"); }
+       public void a0954 () { System.out.printf("a0954\n"); }
+       public void a0955 () { System.out.printf("a0955\n"); }
+       public void a0956 () { System.out.printf("a0956\n"); }
+       public void a0957 () { System.out.printf("a0957\n"); }
+       public void a0958 () { System.out.printf("a0958\n"); }
+       public void a0959 () { System.out.printf("a0959\n"); }
+       public void a0960 () { System.out.printf("a0960\n"); }
+       public void a0961 () { System.out.printf("a0961\n"); }
+       public void a0962 () { System.out.printf("a0962\n"); }
+       public void a0963 () { System.out.printf("a0963\n"); }
+       public void a0964 () { System.out.printf("a0964\n"); }
+       public void a0965 () { System.out.printf("a0965\n"); }
+       public void a0966 () { System.out.printf("a0966\n"); }
+       public void a0967 () { System.out.printf("a0967\n"); }
+       public void a0968 () { System.out.printf("a0968\n"); }
+       public void a0969 () { System.out.printf("a0969\n"); }
+       public void a0970 () { System.out.printf("a0970\n"); }
+       public void a0971 () { System.out.printf("a0971\n"); }
+       public void a0972 () { System.out.printf("a0972\n"); }
+       public void a0973 () { System.out.printf("a0973\n"); }
+       public void a0974 () { System.out.printf("a0974\n"); }
+       public void a0975 () { System.out.printf("a0975\n"); }
+       public void a0976 () { System.out.printf("a0976\n"); }
+       public void a0977 () { System.out.printf("a0977\n"); }
+       public void a0978 () { System.out.printf("a0978\n"); }
+       public void a0979 () { System.out.printf("a0979\n"); }
+       public void a0980 () { System.out.printf("a0980\n"); }
+       public void a0981 () { System.out.printf("a0981\n"); }
+       public void a0982 () { System.out.printf("a0982\n"); }
+       public void a0983 () { System.out.printf("a0983\n"); }
+       public void a0984 () { System.out.printf("a0984\n"); }
+       public void a0985 () { System.out.printf("a0985\n"); }
+       public void a0986 () { System.out.printf("a0986\n"); }
+       public void a0987 () { System.out.printf("a0987\n"); }
+       public void a0988 () { System.out.printf("a0988\n"); }
+       public void a0989 () { System.out.printf("a0989\n"); }
+       public void a0990 () { System.out.printf("a0990\n"); }
+       public void a0991 () { System.out.printf("a0991\n"); }
+       public void a0992 () { System.out.printf("a0992\n"); }
+       public void a0993 () { System.out.printf("a0993\n"); }
+       public void a0994 () { System.out.printf("a0994\n"); }
+       public void a0995 () { System.out.printf("a0995\n"); }
+       public void a0996 () { System.out.printf("a0996\n"); }
+       public void a0997 () { System.out.printf("a0997\n"); }
+       public void a0998 () { System.out.printf("a0998\n"); }
+       public void a0999 () { System.out.printf("a0999\n"); }
+       public void a1000 () { System.out.printf("a1000\n"); }
+       public void a1001 () { System.out.printf("a1001\n"); }
+       public void a1002 () { System.out.printf("a1002\n"); }
+       public void a1003 () { System.out.printf("a1003\n"); }
+       public void a1004 () { System.out.printf("a1004\n"); }
+       public void a1005 () { System.out.printf("a1005\n"); }
+       public void a1006 () { System.out.printf("a1006\n"); }
+       public void a1007 () { System.out.printf("a1007\n"); }
+       public void a1008 () { System.out.printf("a1008\n"); }
+       public void a1009 () { System.out.printf("a1009\n"); }
+       public void a1010 () { System.out.printf("a1010\n"); }
+       public void a1011 () { System.out.printf("a1011\n"); }
+       public void a1012 () { System.out.printf("a1012\n"); }
+       public void a1013 () { System.out.printf("a1013\n"); }
+       public void a1014 () { System.out.printf("a1014\n"); }
+       public void a1015 () { System.out.printf("a1015\n"); }
+       public void a1016 () { System.out.printf("a1016\n"); }
+       public void a1017 () { System.out.printf("a1017\n"); }
+       public void a1018 () { System.out.printf("a1018\n"); }
+       public void a1019 () { System.out.printf("a1019\n"); }
+       public void a1020 () { System.out.printf("a1020\n"); }
+       public void a1021 () { System.out.printf("a1021\n"); }
+       public void a1022 () { System.out.printf("a1022\n"); }
+       public void a1023 () { System.out.printf("a1023\n"); }
+       public void a1024 () { System.out.printf("a1024\n"); }
+       public void a1025 () { System.out.printf("a1025\n"); }
+       public void a1026 () { System.out.printf("a1026\n"); }
+       public void a1027 () { System.out.printf("a1027\n"); }
+       public void a1028 () { System.out.printf("a1028\n"); }
+       public void a1029 () { System.out.printf("a1029\n"); }
+       public void a1030 () { System.out.printf("a1030\n"); }
+       public void a1031 () { System.out.printf("a1031\n"); }
+       public void a1032 () { System.out.printf("a1032\n"); }
+       public void a1033 () { System.out.printf("a1033\n"); }
+       public void a1034 () { System.out.printf("a1034\n"); }
+       public void a1035 () { System.out.printf("a1035\n"); }
+       public void a1036 () { System.out.printf("a1036\n"); }
+       public void a1037 () { System.out.printf("a1037\n"); }
+       public void a1038 () { System.out.printf("a1038\n"); }
+       public void a1039 () { System.out.printf("a1039\n"); }
+       public void a1040 () { System.out.printf("a1040\n"); }
+       public void a1041 () { System.out.printf("a1041\n"); }
+       public void a1042 () { System.out.printf("a1042\n"); }
+       public void a1043 () { System.out.printf("a1043\n"); }
+       public void a1044 () { System.out.printf("a1044\n"); }
+       public void a1045 () { System.out.printf("a1045\n"); }
+       public void a1046 () { System.out.printf("a1046\n"); }
+       public void a1047 () { System.out.printf("a1047\n"); }
+       public void a1048 () { System.out.printf("a1048\n"); }
+       public void a1049 () { System.out.printf("a1049\n"); }
+       public void a1050 () { System.out.printf("a1050\n"); }
+       public void a1051 () { System.out.printf("a1051\n"); }
+       public void a1052 () { System.out.printf("a1052\n"); }
+       public void a1053 () { System.out.printf("a1053\n"); }
+       public void a1054 () { System.out.printf("a1054\n"); }
+       public void a1055 () { System.out.printf("a1055\n"); }
+       public void a1056 () { System.out.printf("a1056\n"); }
+       public void a1057 () { System.out.printf("a1057\n"); }
+       public void a1058 () { System.out.printf("a1058\n"); }
+       public void a1059 () { System.out.printf("a1059\n"); }
+       public void a1060 () { System.out.printf("a1060\n"); }
+       public void a1061 () { System.out.printf("a1061\n"); }
+       public void a1062 () { System.out.printf("a1062\n"); }
+       public void a1063 () { System.out.printf("a1063\n"); }
+       public void a1064 () { System.out.printf("a1064\n"); }
+       public void a1065 () { System.out.printf("a1065\n"); }
+       public void a1066 () { System.out.printf("a1066\n"); }
+       public void a1067 () { System.out.printf("a1067\n"); }
+       public void a1068 () { System.out.printf("a1068\n"); }
+       public void a1069 () { System.out.printf("a1069\n"); }
+       public void a1070 () { System.out.printf("a1070\n"); }
+       public void a1071 () { System.out.printf("a1071\n"); }
+       public void a1072 () { System.out.printf("a1072\n"); }
+       public void a1073 () { System.out.printf("a1073\n"); }
+       public void a1074 () { System.out.printf("a1074\n"); }
+       public void a1075 () { System.out.printf("a1075\n"); }
+       public void a1076 () { System.out.printf("a1076\n"); }
+       public void a1077 () { System.out.printf("a1077\n"); }
+       public void a1078 () { System.out.printf("a1078\n"); }
+       public void a1079 () { System.out.printf("a1079\n"); }
+       public void a1080 () { System.out.printf("a1080\n"); }
+       public void a1081 () { System.out.printf("a1081\n"); }
+       public void a1082 () { System.out.printf("a1082\n"); }
+       public void a1083 () { System.out.printf("a1083\n"); }
+       public void a1084 () { System.out.printf("a1084\n"); }
+       public void a1085 () { System.out.printf("a1085\n"); }
+       public void a1086 () { System.out.printf("a1086\n"); }
+       public void a1087 () { System.out.printf("a1087\n"); }
+       public void a1088 () { System.out.printf("a1088\n"); }
+       public void a1089 () { System.out.printf("a1089\n"); }
+       public void a1090 () { System.out.printf("a1090\n"); }
+       public void a1091 () { System.out.printf("a1091\n"); }
+       public void a1092 () { System.out.printf("a1092\n"); }
+       public void a1093 () { System.out.printf("a1093\n"); }
+       public void a1094 () { System.out.printf("a1094\n"); }
+       public void a1095 () { System.out.printf("a1095\n"); }
+       public void a1096 () { System.out.printf("a1096\n"); }
+       public void a1097 () { System.out.printf("a1097\n"); }
+       public void a1098 () { System.out.printf("a1098\n"); }
+       public void a1099 () { System.out.printf("a1099\n"); }
+       public void a1100 () { System.out.printf("a1100\n"); }
+       public void a1101 () { System.out.printf("a1101\n"); }
+       public void a1102 () { System.out.printf("a1102\n"); }
+       public void a1103 () { System.out.printf("a1103\n"); }
+       public void a1104 () { System.out.printf("a1104\n"); }
+       public void a1105 () { System.out.printf("a1105\n"); }
+       public void a1106 () { System.out.printf("a1106\n"); }
+       public void a1107 () { System.out.printf("a1107\n"); }
+       public void a1108 () { System.out.printf("a1108\n"); }
+       public void a1109 () { System.out.printf("a1109\n"); }
+       public void a1110 () { System.out.printf("a1110\n"); }
+       public void a1111 () { System.out.printf("a1111\n"); }
+       public void a1112 () { System.out.printf("a1112\n"); }
+       public void a1113 () { System.out.printf("a1113\n"); }
+       public void a1114 () { System.out.printf("a1114\n"); }
+       public void a1115 () { System.out.printf("a1115\n"); }
+       public void a1116 () { System.out.printf("a1116\n"); }
+       public void a1117 () { System.out.printf("a1117\n"); }
+       public void a1118 () { System.out.printf("a1118\n"); }
+       public void a1119 () { System.out.printf("a1119\n"); }
+       public void a1120 () { System.out.printf("a1120\n"); }
+       public void a1121 () { System.out.printf("a1121\n"); }
+       public void a1122 () { System.out.printf("a1122\n"); }
+       public void a1123 () { System.out.printf("a1123\n"); }
+       public void a1124 () { System.out.printf("a1124\n"); }
+       public void a1125 () { System.out.printf("a1125\n"); }
+       public void a1126 () { System.out.printf("a1126\n"); }
+       public void a1127 () { System.out.printf("a1127\n"); }
+       public void a1128 () { System.out.printf("a1128\n"); }
+       public void a1129 () { System.out.printf("a1129\n"); }
+       public void a1130 () { System.out.printf("a1130\n"); }
+       public void a1131 () { System.out.printf("a1131\n"); }
+       public void a1132 () { System.out.printf("a1132\n"); }
+       public void a1133 () { System.out.printf("a1133\n"); }
+       public void a1134 () { System.out.printf("a1134\n"); }
+       public void a1135 () { System.out.printf("a1135\n"); }
+       public void a1136 () { System.out.printf("a1136\n"); }
+       public void a1137 () { System.out.printf("a1137\n"); }
+       public void a1138 () { System.out.printf("a1138\n"); }
+       public void a1139 () { System.out.printf("a1139\n"); }
+       public void a1140 () { System.out.printf("a1140\n"); }
+       public void a1141 () { System.out.printf("a1141\n"); }
+       public void a1142 () { System.out.printf("a1142\n"); }
+       public void a1143 () { System.out.printf("a1143\n"); }
+       public void a1144 () { System.out.printf("a1144\n"); }
+       public void a1145 () { System.out.printf("a1145\n"); }
+       public void a1146 () { System.out.printf("a1146\n"); }
+       public void a1147 () { System.out.printf("a1147\n"); }
+       public void a1148 () { System.out.printf("a1148\n"); }
+       public void a1149 () { System.out.printf("a1149\n"); }
+       public void a1150 () { System.out.printf("a1150\n"); }
+       public void a1151 () { System.out.printf("a1151\n"); }
+       public void a1152 () { System.out.printf("a1152\n"); }
+       public void a1153 () { System.out.printf("a1153\n"); }
+       public void a1154 () { System.out.printf("a1154\n"); }
+       public void a1155 () { System.out.printf("a1155\n"); }
+       public void a1156 () { System.out.printf("a1156\n"); }
+       public void a1157 () { System.out.printf("a1157\n"); }
+       public void a1158 () { System.out.printf("a1158\n"); }
+       public void a1159 () { System.out.printf("a1159\n"); }
+       public void a1160 () { System.out.printf("a1160\n"); }
+       public void a1161 () { System.out.printf("a1161\n"); }
+       public void a1162 () { System.out.printf("a1162\n"); }
+       public void a1163 () { System.out.printf("a1163\n"); }
+       public void a1164 () { System.out.printf("a1164\n"); }
+       public void a1165 () { System.out.printf("a1165\n"); }
+       public void a1166 () { System.out.printf("a1166\n"); }
+       public void a1167 () { System.out.printf("a1167\n"); }
+       public void a1168 () { System.out.printf("a1168\n"); }
+       public void a1169 () { System.out.printf("a1169\n"); }
+       public void a1170 () { System.out.printf("a1170\n"); }
+       public void a1171 () { System.out.printf("a1171\n"); }
+       public void a1172 () { System.out.printf("a1172\n"); }
+       public void a1173 () { System.out.printf("a1173\n"); }
+       public void a1174 () { System.out.printf("a1174\n"); }
+       public void a1175 () { System.out.printf("a1175\n"); }
+       public void a1176 () { System.out.printf("a1176\n"); }
+       public void a1177 () { System.out.printf("a1177\n"); }
+       public void a1178 () { System.out.printf("a1178\n"); }
+       public void a1179 () { System.out.printf("a1179\n"); }
+       public void a1180 () { System.out.printf("a1180\n"); }
+       public void a1181 () { System.out.printf("a1181\n"); }
+       public void a1182 () { System.out.printf("a1182\n"); }
+       public void a1183 () { System.out.printf("a1183\n"); }
+       public void a1184 () { System.out.printf("a1184\n"); }
+       public void a1185 () { System.out.printf("a1185\n"); }
+       public void a1186 () { System.out.printf("a1186\n"); }
+       public void a1187 () { System.out.printf("a1187\n"); }
+       public void a1188 () { System.out.printf("a1188\n"); }
+       public void a1189 () { System.out.printf("a1189\n"); }
+       public void a1190 () { System.out.printf("a1190\n"); }
+       public void a1191 () { System.out.printf("a1191\n"); }
+       public void a1192 () { System.out.printf("a1192\n"); }
+       public void a1193 () { System.out.printf("a1193\n"); }
+       public void a1194 () { System.out.printf("a1194\n"); }
+       public void a1195 () { System.out.printf("a1195\n"); }
+       public void a1196 () { System.out.printf("a1196\n"); }
+       public void a1197 () { System.out.printf("a1197\n"); }
+       public void a1198 () { System.out.printf("a1198\n"); }
+       public void a1199 () { System.out.printf("a1199\n"); }
+       public void a1200 () { System.out.printf("a1200\n"); }
+       public void a1201 () { System.out.printf("a1201\n"); }
+       public void a1202 () { System.out.printf("a1202\n"); }
+       public void a1203 () { System.out.printf("a1203\n"); }
+       public void a1204 () { System.out.printf("a1204\n"); }
+       public void a1205 () { System.out.printf("a1205\n"); }
+       public void a1206 () { System.out.printf("a1206\n"); }
+       public void a1207 () { System.out.printf("a1207\n"); }
+       public void a1208 () { System.out.printf("a1208\n"); }
+       public void a1209 () { System.out.printf("a1209\n"); }
+       public void a1210 () { System.out.printf("a1210\n"); }
+       public void a1211 () { System.out.printf("a1211\n"); }
+       public void a1212 () { System.out.printf("a1212\n"); }
+       public void a1213 () { System.out.printf("a1213\n"); }
+       public void a1214 () { System.out.printf("a1214\n"); }
+       public void a1215 () { System.out.printf("a1215\n"); }
+       public void a1216 () { System.out.printf("a1216\n"); }
+       public void a1217 () { System.out.printf("a1217\n"); }
+       public void a1218 () { System.out.printf("a1218\n"); }
+       public void a1219 () { System.out.printf("a1219\n"); }
+       public void a1220 () { System.out.printf("a1220\n"); }
+       public void a1221 () { System.out.printf("a1221\n"); }
+       public void a1222 () { System.out.printf("a1222\n"); }
+       public void a1223 () { System.out.printf("a1223\n"); }
+       public void a1224 () { System.out.printf("a1224\n"); }
+       public void a1225 () { System.out.printf("a1225\n"); }
+       public void a1226 () { System.out.printf("a1226\n"); }
+       public void a1227 () { System.out.printf("a1227\n"); }
+       public void a1228 () { System.out.printf("a1228\n"); }
+       public void a1229 () { System.out.printf("a1229\n"); }
+       public void a1230 () { System.out.printf("a1230\n"); }
+       public void a1231 () { System.out.printf("a1231\n"); }
+       public void a1232 () { System.out.printf("a1232\n"); }
+       public void a1233 () { System.out.printf("a1233\n"); }
+       public void a1234 () { System.out.printf("a1234\n"); }
+       public void a1235 () { System.out.printf("a1235\n"); }
+       public void a1236 () { System.out.printf("a1236\n"); }
+       public void a1237 () { System.out.printf("a1237\n"); }
+       public void a1238 () { System.out.printf("a1238\n"); }
+       public void a1239 () { System.out.printf("a1239\n"); }
+       public void a1240 () { System.out.printf("a1240\n"); }
+       public void a1241 () { System.out.printf("a1241\n"); }
+       public void a1242 () { System.out.printf("a1242\n"); }
+       public void a1243 () { System.out.printf("a1243\n"); }
+       public void a1244 () { System.out.printf("a1244\n"); }
+       public void a1245 () { System.out.printf("a1245\n"); }
+       public void a1246 () { System.out.printf("a1246\n"); }
+       public void a1247 () { System.out.printf("a1247\n"); }
+       public void a1248 () { System.out.printf("a1248\n"); }
+       public void a1249 () { System.out.printf("a1249\n"); }
+       public void a1250 () { System.out.printf("a1250\n"); }
+       public void a1251 () { System.out.printf("a1251\n"); }
+       public void a1252 () { System.out.printf("a1252\n"); }
+       public void a1253 () { System.out.printf("a1253\n"); }
+       public void a1254 () { System.out.printf("a1254\n"); }
+       public void a1255 () { System.out.printf("a1255\n"); }
+       public void a1256 () { System.out.printf("a1256\n"); }
+       public void a1257 () { System.out.printf("a1257\n"); }
+       public void a1258 () { System.out.printf("a1258\n"); }
+       public void a1259 () { System.out.printf("a1259\n"); }
+       public void a1260 () { System.out.printf("a1260\n"); }
+       public void a1261 () { System.out.printf("a1261\n"); }
+       public void a1262 () { System.out.printf("a1262\n"); }
+       public void a1263 () { System.out.printf("a1263\n"); }
+       public void a1264 () { System.out.printf("a1264\n"); }
+       public void a1265 () { System.out.printf("a1265\n"); }
+       public void a1266 () { System.out.printf("a1266\n"); }
+       public void a1267 () { System.out.printf("a1267\n"); }
+       public void a1268 () { System.out.printf("a1268\n"); }
+       public void a1269 () { System.out.printf("a1269\n"); }
+       public void a1270 () { System.out.printf("a1270\n"); }
+       public void a1271 () { System.out.printf("a1271\n"); }
+       public void a1272 () { System.out.printf("a1272\n"); }
+       public void a1273 () { System.out.printf("a1273\n"); }
+       public void a1274 () { System.out.printf("a1274\n"); }
+       public void a1275 () { System.out.printf("a1275\n"); }
+       public void a1276 () { System.out.printf("a1276\n"); }
+       public void a1277 () { System.out.printf("a1277\n"); }
+       public void a1278 () { System.out.printf("a1278\n"); }
+       public void a1279 () { System.out.printf("a1279\n"); }
+       public void a1280 () { System.out.printf("a1280\n"); }
+       public void a1281 () { System.out.printf("a1281\n"); }
+       public void a1282 () { System.out.printf("a1282\n"); }
+       public void a1283 () { System.out.printf("a1283\n"); }
+       public void a1284 () { System.out.printf("a1284\n"); }
+       public void a1285 () { System.out.printf("a1285\n"); }
+       public void a1286 () { System.out.printf("a1286\n"); }
+       public void a1287 () { System.out.printf("a1287\n"); }
+       public void a1288 () { System.out.printf("a1288\n"); }
+       public void a1289 () { System.out.printf("a1289\n"); }
+       public void a1290 () { System.out.printf("a1290\n"); }
+       public void a1291 () { System.out.printf("a1291\n"); }
+       public void a1292 () { System.out.printf("a1292\n"); }
+       public void a1293 () { System.out.printf("a1293\n"); }
+       public void a1294 () { System.out.printf("a1294\n"); }
+       public void a1295 () { System.out.printf("a1295\n"); }
+       public void a1296 () { System.out.printf("a1296\n"); }
+       public void a1297 () { System.out.printf("a1297\n"); }
+       public void a1298 () { System.out.printf("a1298\n"); }
+       public void a1299 () { System.out.printf("a1299\n"); }
+       public void a1300 () { System.out.printf("a1300\n"); }
+       public void a1301 () { System.out.printf("a1301\n"); }
+       public void a1302 () { System.out.printf("a1302\n"); }
+       public void a1303 () { System.out.printf("a1303\n"); }
+       public void a1304 () { System.out.printf("a1304\n"); }
+       public void a1305 () { System.out.printf("a1305\n"); }
+       public void a1306 () { System.out.printf("a1306\n"); }
+       public void a1307 () { System.out.printf("a1307\n"); }
+       public void a1308 () { System.out.printf("a1308\n"); }
+       public void a1309 () { System.out.printf("a1309\n"); }
+       public void a1310 () { System.out.printf("a1310\n"); }
+       public void a1311 () { System.out.printf("a1311\n"); }
+       public void a1312 () { System.out.printf("a1312\n"); }
+       public void a1313 () { System.out.printf("a1313\n"); }
+       public void a1314 () { System.out.printf("a1314\n"); }
+       public void a1315 () { System.out.printf("a1315\n"); }
+       public void a1316 () { System.out.printf("a1316\n"); }
+       public void a1317 () { System.out.printf("a1317\n"); }
+       public void a1318 () { System.out.printf("a1318\n"); }
+       public void a1319 () { System.out.printf("a1319\n"); }
+       public void a1320 () { System.out.printf("a1320\n"); }
+       public void a1321 () { System.out.printf("a1321\n"); }
+       public void a1322 () { System.out.printf("a1322\n"); }
+       public void a1323 () { System.out.printf("a1323\n"); }
+       public void a1324 () { System.out.printf("a1324\n"); }
+       public void a1325 () { System.out.printf("a1325\n"); }
+       public void a1326 () { System.out.printf("a1326\n"); }
+       public void a1327 () { System.out.printf("a1327\n"); }
+       public void a1328 () { System.out.printf("a1328\n"); }
+       public void a1329 () { System.out.printf("a1329\n"); }
+       public void a1330 () { System.out.printf("a1330\n"); }
+       public void a1331 () { System.out.printf("a1331\n"); }
+       public void a1332 () { System.out.printf("a1332\n"); }
+       public void a1333 () { System.out.printf("a1333\n"); }
+       public void a1334 () { System.out.printf("a1334\n"); }
+       public void a1335 () { System.out.printf("a1335\n"); }
+       public void a1336 () { System.out.printf("a1336\n"); }
+       public void a1337 () { System.out.printf("a1337\n"); }
+       public void a1338 () { System.out.printf("a1338\n"); }
+       public void a1339 () { System.out.printf("a1339\n"); }
+       public void a1340 () { System.out.printf("a1340\n"); }
+       public void a1341 () { System.out.printf("a1341\n"); }
+       public void a1342 () { System.out.printf("a1342\n"); }
+       public void a1343 () { System.out.printf("a1343\n"); }
+       public void a1344 () { System.out.printf("a1344\n"); }
+       public void a1345 () { System.out.printf("a1345\n"); }
+       public void a1346 () { System.out.printf("a1346\n"); }
+       public void a1347 () { System.out.printf("a1347\n"); }
+       public void a1348 () { System.out.printf("a1348\n"); }
+       public void a1349 () { System.out.printf("a1349\n"); }
+       public void a1350 () { System.out.printf("a1350\n"); }
+       public void a1351 () { System.out.printf("a1351\n"); }
+       public void a1352 () { System.out.printf("a1352\n"); }
+       public void a1353 () { System.out.printf("a1353\n"); }
+       public void a1354 () { System.out.printf("a1354\n"); }
+       public void a1355 () { System.out.printf("a1355\n"); }
+       public void a1356 () { System.out.printf("a1356\n"); }
+       public void a1357 () { System.out.printf("a1357\n"); }
+       public void a1358 () { System.out.printf("a1358\n"); }
+       public void a1359 () { System.out.printf("a1359\n"); }
+       public void a1360 () { System.out.printf("a1360\n"); }
+       public void a1361 () { System.out.printf("a1361\n"); }
+       public void a1362 () { System.out.printf("a1362\n"); }
+       public void a1363 () { System.out.printf("a1363\n"); }
+       public void a1364 () { System.out.printf("a1364\n"); }
+       public void a1365 () { System.out.printf("a1365\n"); }
+       public void a1366 () { System.out.printf("a1366\n"); }
+       public void a1367 () { System.out.printf("a1367\n"); }
+       public void a1368 () { System.out.printf("a1368\n"); }
+       public void a1369 () { System.out.printf("a1369\n"); }
+       public void a1370 () { System.out.printf("a1370\n"); }
+       public void a1371 () { System.out.printf("a1371\n"); }
+       public void a1372 () { System.out.printf("a1372\n"); }
+       public void a1373 () { System.out.printf("a1373\n"); }
+       public void a1374 () { System.out.printf("a1374\n"); }
+       public void a1375 () { System.out.printf("a1375\n"); }
+       public void a1376 () { System.out.printf("a1376\n"); }
+       public void a1377 () { System.out.printf("a1377\n"); }
+       public void a1378 () { System.out.printf("a1378\n"); }
+       public void a1379 () { System.out.printf("a1379\n"); }
+       public void a1380 () { System.out.printf("a1380\n"); }
+       public void a1381 () { System.out.printf("a1381\n"); }
+       public void a1382 () { System.out.printf("a1382\n"); }
+       public void a1383 () { System.out.printf("a1383\n"); }
+       public void a1384 () { System.out.printf("a1384\n"); }
+       public void a1385 () { System.out.printf("a1385\n"); }
+       public void a1386 () { System.out.printf("a1386\n"); }
+       public void a1387 () { System.out.printf("a1387\n"); }
+       public void a1388 () { System.out.printf("a1388\n"); }
+       public void a1389 () { System.out.printf("a1389\n"); }
+       public void a1390 () { System.out.printf("a1390\n"); }
+       public void a1391 () { System.out.printf("a1391\n"); }
+       public void a1392 () { System.out.printf("a1392\n"); }
+       public void a1393 () { System.out.printf("a1393\n"); }
+       public void a1394 () { System.out.printf("a1394\n"); }
+       public void a1395 () { System.out.printf("a1395\n"); }
+       public void a1396 () { System.out.printf("a1396\n"); }
+       public void a1397 () { System.out.printf("a1397\n"); }
+       public void a1398 () { System.out.printf("a1398\n"); }
+       public void a1399 () { System.out.printf("a1399\n"); }
+       public void a1400 () { System.out.printf("a1400\n"); }
+       public void a1401 () { System.out.printf("a1401\n"); }
+       public void a1402 () { System.out.printf("a1402\n"); }
+       public void a1403 () { System.out.printf("a1403\n"); }
+       public void a1404 () { System.out.printf("a1404\n"); }
+       public void a1405 () { System.out.printf("a1405\n"); }
+       public void a1406 () { System.out.printf("a1406\n"); }
+       public void a1407 () { System.out.printf("a1407\n"); }
+       public void a1408 () { System.out.printf("a1408\n"); }
+       public void a1409 () { System.out.printf("a1409\n"); }
+       public void a1410 () { System.out.printf("a1410\n"); }
+       public void a1411 () { System.out.printf("a1411\n"); }
+       public void a1412 () { System.out.printf("a1412\n"); }
+       public void a1413 () { System.out.printf("a1413\n"); }
+       public void a1414 () { System.out.printf("a1414\n"); }
+       public void a1415 () { System.out.printf("a1415\n"); }
+       public void a1416 () { System.out.printf("a1416\n"); }
+       public void a1417 () { System.out.printf("a1417\n"); }
+       public void a1418 () { System.out.printf("a1418\n"); }
+       public void a1419 () { System.out.printf("a1419\n"); }
+       public void a1420 () { System.out.printf("a1420\n"); }
+       public void a1421 () { System.out.printf("a1421\n"); }
+       public void a1422 () { System.out.printf("a1422\n"); }
+       public void a1423 () { System.out.printf("a1423\n"); }
+       public void a1424 () { System.out.printf("a1424\n"); }
+       public void a1425 () { System.out.printf("a1425\n"); }
+       public void a1426 () { System.out.printf("a1426\n"); }
+       public void a1427 () { System.out.printf("a1427\n"); }
+       public void a1428 () { System.out.printf("a1428\n"); }
+       public void a1429 () { System.out.printf("a1429\n"); }
+       public void a1430 () { System.out.printf("a1430\n"); }
+       public void a1431 () { System.out.printf("a1431\n"); }
+       public void a1432 () { System.out.printf("a1432\n"); }
+       public void a1433 () { System.out.printf("a1433\n"); }
+       public void a1434 () { System.out.printf("a1434\n"); }
+       public void a1435 () { System.out.printf("a1435\n"); }
+       public void a1436 () { System.out.printf("a1436\n"); }
+       public void a1437 () { System.out.printf("a1437\n"); }
+       public void a1438 () { System.out.printf("a1438\n"); }
+       public void a1439 () { System.out.printf("a1439\n"); }
+       public void a1440 () { System.out.printf("a1440\n"); }
+       public void a1441 () { System.out.printf("a1441\n"); }
+       public void a1442 () { System.out.printf("a1442\n"); }
+       public void a1443 () { System.out.printf("a1443\n"); }
+       public void a1444 () { System.out.printf("a1444\n"); }
+       public void a1445 () { System.out.printf("a1445\n"); }
+       public void a1446 () { System.out.printf("a1446\n"); }
+       public void a1447 () { System.out.printf("a1447\n"); }
+       public void a1448 () { System.out.printf("a1448\n"); }
+       public void a1449 () { System.out.printf("a1449\n"); }
+       public void a1450 () { System.out.printf("a1450\n"); }
+       public void a1451 () { System.out.printf("a1451\n"); }
+       public void a1452 () { System.out.printf("a1452\n"); }
+       public void a1453 () { System.out.printf("a1453\n"); }
+       public void a1454 () { System.out.printf("a1454\n"); }
+       public void a1455 () { System.out.printf("a1455\n"); }
+       public void a1456 () { System.out.printf("a1456\n"); }
+       public void a1457 () { System.out.printf("a1457\n"); }
+       public void a1458 () { System.out.printf("a1458\n"); }
+       public void a1459 () { System.out.printf("a1459\n"); }
+       public void a1460 () { System.out.printf("a1460\n"); }
+       public void a1461 () { System.out.printf("a1461\n"); }
+       public void a1462 () { System.out.printf("a1462\n"); }
+       public void a1463 () { System.out.printf("a1463\n"); }
+       public void a1464 () { System.out.printf("a1464\n"); }
+       public void a1465 () { System.out.printf("a1465\n"); }
+       public void a1466 () { System.out.printf("a1466\n"); }
+       public void a1467 () { System.out.printf("a1467\n"); }
+       public void a1468 () { System.out.printf("a1468\n"); }
+       public void a1469 () { System.out.printf("a1469\n"); }
+       public void a1470 () { System.out.printf("a1470\n"); }
+       public void a1471 () { System.out.printf("a1471\n"); }
+       public void a1472 () { System.out.printf("a1472\n"); }
+       public void a1473 () { System.out.printf("a1473\n"); }
+       public void a1474 () { System.out.printf("a1474\n"); }
+       public void a1475 () { System.out.printf("a1475\n"); }
+       public void a1476 () { System.out.printf("a1476\n"); }
+       public void a1477 () { System.out.printf("a1477\n"); }
+       public void a1478 () { System.out.printf("a1478\n"); }
+       public void a1479 () { System.out.printf("a1479\n"); }
+       public void a1480 () { System.out.printf("a1480\n"); }
+       public void a1481 () { System.out.printf("a1481\n"); }
+       public void a1482 () { System.out.printf("a1482\n"); }
+       public void a1483 () { System.out.printf("a1483\n"); }
+       public void a1484 () { System.out.printf("a1484\n"); }
+       public void a1485 () { System.out.printf("a1485\n"); }
+       public void a1486 () { System.out.printf("a1486\n"); }
+       public void a1487 () { System.out.printf("a1487\n"); }
+       public void a1488 () { System.out.printf("a1488\n"); }
+       public void a1489 () { System.out.printf("a1489\n"); }
+       public void a1490 () { System.out.printf("a1490\n"); }
+       public void a1491 () { System.out.printf("a1491\n"); }
+       public void a1492 () { System.out.printf("a1492\n"); }
+       public void a1493 () { System.out.printf("a1493\n"); }
+       public void a1494 () { System.out.printf("a1494\n"); }
+       public void a1495 () { System.out.printf("a1495\n"); }
+       public void a1496 () { System.out.printf("a1496\n"); }
+       public void a1497 () { System.out.printf("a1497\n"); }
+       public void a1498 () { System.out.printf("a1498\n"); }
+       public void a1499 () { System.out.printf("a1499\n"); }
+       public void a1500 () { System.out.printf("a1500\n"); }
+       public void a1501 () { System.out.printf("a1501\n"); }
+       public void a1502 () { System.out.printf("a1502\n"); }
+       public void a1503 () { System.out.printf("a1503\n"); }
+       public void a1504 () { System.out.printf("a1504\n"); }
+       public void a1505 () { System.out.printf("a1505\n"); }
+       public void a1506 () { System.out.printf("a1506\n"); }
+       public void a1507 () { System.out.printf("a1507\n"); }
+       public void a1508 () { System.out.printf("a1508\n"); }
+       public void a1509 () { System.out.printf("a1509\n"); }
+       public void a1510 () { System.out.printf("a1510\n"); }
+       public void a1511 () { System.out.printf("a1511\n"); }
+       public void a1512 () { System.out.printf("a1512\n"); }
+       public void a1513 () { System.out.printf("a1513\n"); }
+       public void a1514 () { System.out.printf("a1514\n"); }
+       public void a1515 () { System.out.printf("a1515\n"); }
+       public void a1516 () { System.out.printf("a1516\n"); }
+       public void a1517 () { System.out.printf("a1517\n"); }
+       public void a1518 () { System.out.printf("a1518\n"); }
+       public void a1519 () { System.out.printf("a1519\n"); }
+       public void a1520 () { System.out.printf("a1520\n"); }
+       public void a1521 () { System.out.printf("a1521\n"); }
+       public void a1522 () { System.out.printf("a1522\n"); }
+       public void a1523 () { System.out.printf("a1523\n"); }
+       public void a1524 () { System.out.printf("a1524\n"); }
+       public void a1525 () { System.out.printf("a1525\n"); }
+       public void a1526 () { System.out.printf("a1526\n"); }
+       public void a1527 () { System.out.printf("a1527\n"); }
+       public void a1528 () { System.out.printf("a1528\n"); }
+       public void a1529 () { System.out.printf("a1529\n"); }
+       public void a1530 () { System.out.printf("a1530\n"); }
+       public void a1531 () { System.out.printf("a1531\n"); }
+       public void a1532 () { System.out.printf("a1532\n"); }
+       public void a1533 () { System.out.printf("a1533\n"); }
+       public void a1534 () { System.out.printf("a1534\n"); }
+       public void a1535 () { System.out.printf("a1535\n"); }
+       public void a1536 () { System.out.printf("a1536\n"); }
+       public void a1537 () { System.out.printf("a1537\n"); }
+       public void a1538 () { System.out.printf("a1538\n"); }
+       public void a1539 () { System.out.printf("a1539\n"); }
+       public void a1540 () { System.out.printf("a1540\n"); }
+       public void a1541 () { System.out.printf("a1541\n"); }
+       public void a1542 () { System.out.printf("a1542\n"); }
+       public void a1543 () { System.out.printf("a1543\n"); }
+       public void a1544 () { System.out.printf("a1544\n"); }
+       public void a1545 () { System.out.printf("a1545\n"); }
+       public void a1546 () { System.out.printf("a1546\n"); }
+       public void a1547 () { System.out.printf("a1547\n"); }
+       public void a1548 () { System.out.printf("a1548\n"); }
+       public void a1549 () { System.out.printf("a1549\n"); }
+       public void a1550 () { System.out.printf("a1550\n"); }
+       public void a1551 () { System.out.printf("a1551\n"); }
+       public void a1552 () { System.out.printf("a1552\n"); }
+       public void a1553 () { System.out.printf("a1553\n"); }
+       public void a1554 () { System.out.printf("a1554\n"); }
+       public void a1555 () { System.out.printf("a1555\n"); }
+       public void a1556 () { System.out.printf("a1556\n"); }
+       public void a1557 () { System.out.printf("a1557\n"); }
+       public void a1558 () { System.out.printf("a1558\n"); }
+       public void a1559 () { System.out.printf("a1559\n"); }
+       public void a1560 () { System.out.printf("a1560\n"); }
+       public void a1561 () { System.out.printf("a1561\n"); }
+       public void a1562 () { System.out.printf("a1562\n"); }
+       public void a1563 () { System.out.printf("a1563\n"); }
+       public void a1564 () { System.out.printf("a1564\n"); }
+       public void a1565 () { System.out.printf("a1565\n"); }
+       public void a1566 () { System.out.printf("a1566\n"); }
+       public void a1567 () { System.out.printf("a1567\n"); }
+       public void a1568 () { System.out.printf("a1568\n"); }
+       public void a1569 () { System.out.printf("a1569\n"); }
+       public void a1570 () { System.out.printf("a1570\n"); }
+       public void a1571 () { System.out.printf("a1571\n"); }
+       public void a1572 () { System.out.printf("a1572\n"); }
+       public void a1573 () { System.out.printf("a1573\n"); }
+       public void a1574 () { System.out.printf("a1574\n"); }
+       public void a1575 () { System.out.printf("a1575\n"); }
+       public void a1576 () { System.out.printf("a1576\n"); }
+       public void a1577 () { System.out.printf("a1577\n"); }
+       public void a1578 () { System.out.printf("a1578\n"); }
+       public void a1579 () { System.out.printf("a1579\n"); }
+       public void a1580 () { System.out.printf("a1580\n"); }
+       public void a1581 () { System.out.printf("a1581\n"); }
+       public void a1582 () { System.out.printf("a1582\n"); }
+       public void a1583 () { System.out.printf("a1583\n"); }
+       public void a1584 () { System.out.printf("a1584\n"); }
+       public void a1585 () { System.out.printf("a1585\n"); }
+       public void a1586 () { System.out.printf("a1586\n"); }
+       public void a1587 () { System.out.printf("a1587\n"); }
+       public void a1588 () { System.out.printf("a1588\n"); }
+       public void a1589 () { System.out.printf("a1589\n"); }
+       public void a1590 () { System.out.printf("a1590\n"); }
+       public void a1591 () { System.out.printf("a1591\n"); }
+       public void a1592 () { System.out.printf("a1592\n"); }
+       public void a1593 () { System.out.printf("a1593\n"); }
+       public void a1594 () { System.out.printf("a1594\n"); }
+       public void a1595 () { System.out.printf("a1595\n"); }
+       public void a1596 () { System.out.printf("a1596\n"); }
+       public void a1597 () { System.out.printf("a1597\n"); }
+       public void a1598 () { System.out.printf("a1598\n"); }
+       public void a1599 () { System.out.printf("a1599\n"); }
+       public void a1600 () { System.out.printf("a1600\n"); }
+       public void a1601 () { System.out.printf("a1601\n"); }
+       public void a1602 () { System.out.printf("a1602\n"); }
+       public void a1603 () { System.out.printf("a1603\n"); }
+       public void a1604 () { System.out.printf("a1604\n"); }
+       public void a1605 () { System.out.printf("a1605\n"); }
+       public void a1606 () { System.out.printf("a1606\n"); }
+       public void a1607 () { System.out.printf("a1607\n"); }
+       public void a1608 () { System.out.printf("a1608\n"); }
+       public void a1609 () { System.out.printf("a1609\n"); }
+       public void a1610 () { System.out.printf("a1610\n"); }
+       public void a1611 () { System.out.printf("a1611\n"); }
+       public void a1612 () { System.out.printf("a1612\n"); }
+       public void a1613 () { System.out.printf("a1613\n"); }
+       public void a1614 () { System.out.printf("a1614\n"); }
+       public void a1615 () { System.out.printf("a1615\n"); }
+       public void a1616 () { System.out.printf("a1616\n"); }
+       public void a1617 () { System.out.printf("a1617\n"); }
+       public void a1618 () { System.out.printf("a1618\n"); }
+       public void a1619 () { System.out.printf("a1619\n"); }
+       public void a1620 () { System.out.printf("a1620\n"); }
+       public void a1621 () { System.out.printf("a1621\n"); }
+       public void a1622 () { System.out.printf("a1622\n"); }
+       public void a1623 () { System.out.printf("a1623\n"); }
+       public void a1624 () { System.out.printf("a1624\n"); }
+       public void a1625 () { System.out.printf("a1625\n"); }
+       public void a1626 () { System.out.printf("a1626\n"); }
+       public void a1627 () { System.out.printf("a1627\n"); }
+       public void a1628 () { System.out.printf("a1628\n"); }
+       public void a1629 () { System.out.printf("a1629\n"); }
+       public void a1630 () { System.out.printf("a1630\n"); }
+       public void a1631 () { System.out.printf("a1631\n"); }
+       public void a1632 () { System.out.printf("a1632\n"); }
+       public void a1633 () { System.out.printf("a1633\n"); }
+       public void a1634 () { System.out.printf("a1634\n"); }
+       public void a1635 () { System.out.printf("a1635\n"); }
+       public void a1636 () { System.out.printf("a1636\n"); }
+       public void a1637 () { System.out.printf("a1637\n"); }
+       public void a1638 () { System.out.printf("a1638\n"); }
+       public void a1639 () { System.out.printf("a1639\n"); }
+       public void a1640 () { System.out.printf("a1640\n"); }
+       public void a1641 () { System.out.printf("a1641\n"); }
+       public void a1642 () { System.out.printf("a1642\n"); }
+       public void a1643 () { System.out.printf("a1643\n"); }
+       public void a1644 () { System.out.printf("a1644\n"); }
+       public void a1645 () { System.out.printf("a1645\n"); }
+       public void a1646 () { System.out.printf("a1646\n"); }
+       public void a1647 () { System.out.printf("a1647\n"); }
+       public void a1648 () { System.out.printf("a1648\n"); }
+       public void a1649 () { System.out.printf("a1649\n"); }
+       public void a1650 () { System.out.printf("a1650\n"); }
+       public void a1651 () { System.out.printf("a1651\n"); }
+       public void a1652 () { System.out.printf("a1652\n"); }
+       public void a1653 () { System.out.printf("a1653\n"); }
+       public void a1654 () { System.out.printf("a1654\n"); }
+       public void a1655 () { System.out.printf("a1655\n"); }
+       public void a1656 () { System.out.printf("a1656\n"); }
+       public void a1657 () { System.out.printf("a1657\n"); }
+       public void a1658 () { System.out.printf("a1658\n"); }
+       public void a1659 () { System.out.printf("a1659\n"); }
+       public void a1660 () { System.out.printf("a1660\n"); }
+       public void a1661 () { System.out.printf("a1661\n"); }
+       public void a1662 () { System.out.printf("a1662\n"); }
+       public void a1663 () { System.out.printf("a1663\n"); }
+       public void a1664 () { System.out.printf("a1664\n"); }
+       public void a1665 () { System.out.printf("a1665\n"); }
+       public void a1666 () { System.out.printf("a1666\n"); }
+       public void a1667 () { System.out.printf("a1667\n"); }
+       public void a1668 () { System.out.printf("a1668\n"); }
+       public void a1669 () { System.out.printf("a1669\n"); }
+       public void a1670 () { System.out.printf("a1670\n"); }
+       public void a1671 () { System.out.printf("a1671\n"); }
+       public void a1672 () { System.out.printf("a1672\n"); }
+       public void a1673 () { System.out.printf("a1673\n"); }
+       public void a1674 () { System.out.printf("a1674\n"); }
+       public void a1675 () { System.out.printf("a1675\n"); }
+       public void a1676 () { System.out.printf("a1676\n"); }
+       public void a1677 () { System.out.printf("a1677\n"); }
+       public void a1678 () { System.out.printf("a1678\n"); }
+       public void a1679 () { System.out.printf("a1679\n"); }
+       public void a1680 () { System.out.printf("a1680\n"); }
+       public void a1681 () { System.out.printf("a1681\n"); }
+       public void a1682 () { System.out.printf("a1682\n"); }
+       public void a1683 () { System.out.printf("a1683\n"); }
+       public void a1684 () { System.out.printf("a1684\n"); }
+       public void a1685 () { System.out.printf("a1685\n"); }
+       public void a1686 () { System.out.printf("a1686\n"); }
+       public void a1687 () { System.out.printf("a1687\n"); }
+       public void a1688 () { System.out.printf("a1688\n"); }
+       public void a1689 () { System.out.printf("a1689\n"); }
+       public void a1690 () { System.out.printf("a1690\n"); }
+       public void a1691 () { System.out.printf("a1691\n"); }
+       public void a1692 () { System.out.printf("a1692\n"); }
+       public void a1693 () { System.out.printf("a1693\n"); }
+       public void a1694 () { System.out.printf("a1694\n"); }
+       public void a1695 () { System.out.printf("a1695\n"); }
+       public void a1696 () { System.out.printf("a1696\n"); }
+       public void a1697 () { System.out.printf("a1697\n"); }
+       public void a1698 () { System.out.printf("a1698\n"); }
+       public void a1699 () { System.out.printf("a1699\n"); }
+       public void a1700 () { System.out.printf("a1700\n"); }
+       public void a1701 () { System.out.printf("a1701\n"); }
+       public void a1702 () { System.out.printf("a1702\n"); }
+       public void a1703 () { System.out.printf("a1703\n"); }
+       public void a1704 () { System.out.printf("a1704\n"); }
+       public void a1705 () { System.out.printf("a1705\n"); }
+       public void a1706 () { System.out.printf("a1706\n"); }
+       public void a1707 () { System.out.printf("a1707\n"); }
+       public void a1708 () { System.out.printf("a1708\n"); }
+       public void a1709 () { System.out.printf("a1709\n"); }
+       public void a1710 () { System.out.printf("a1710\n"); }
+       public void a1711 () { System.out.printf("a1711\n"); }
+       public void a1712 () { System.out.printf("a1712\n"); }
+       public void a1713 () { System.out.printf("a1713\n"); }
+       public void a1714 () { System.out.printf("a1714\n"); }
+       public void a1715 () { System.out.printf("a1715\n"); }
+       public void a1716 () { System.out.printf("a1716\n"); }
+       public void a1717 () { System.out.printf("a1717\n"); }
+       public void a1718 () { System.out.printf("a1718\n"); }
+       public void a1719 () { System.out.printf("a1719\n"); }
+       public void a1720 () { System.out.printf("a1720\n"); }
+       public void a1721 () { System.out.printf("a1721\n"); }
+       public void a1722 () { System.out.printf("a1722\n"); }
+       public void a1723 () { System.out.printf("a1723\n"); }
+       public void a1724 () { System.out.printf("a1724\n"); }
+       public void a1725 () { System.out.printf("a1725\n"); }
+       public void a1726 () { System.out.printf("a1726\n"); }
+       public void a1727 () { System.out.printf("a1727\n"); }
+       public void a1728 () { System.out.printf("a1728\n"); }
+       public void a1729 () { System.out.printf("a1729\n"); }
+       public void a1730 () { System.out.printf("a1730\n"); }
+       public void a1731 () { System.out.printf("a1731\n"); }
+       public void a1732 () { System.out.printf("a1732\n"); }
+       public void a1733 () { System.out.printf("a1733\n"); }
+       public void a1734 () { System.out.printf("a1734\n"); }
+       public void a1735 () { System.out.printf("a1735\n"); }
+       public void a1736 () { System.out.printf("a1736\n"); }
+       public void a1737 () { System.out.printf("a1737\n"); }
+       public void a1738 () { System.out.printf("a1738\n"); }
+       public void a1739 () { System.out.printf("a1739\n"); }
+       public void a1740 () { System.out.printf("a1740\n"); }
+       public void a1741 () { System.out.printf("a1741\n"); }
+       public void a1742 () { System.out.printf("a1742\n"); }
+       public void a1743 () { System.out.printf("a1743\n"); }
+       public void a1744 () { System.out.printf("a1744\n"); }
+       public void a1745 () { System.out.printf("a1745\n"); }
+       public void a1746 () { System.out.printf("a1746\n"); }
+       public void a1747 () { System.out.printf("a1747\n"); }
+       public void a1748 () { System.out.printf("a1748\n"); }
+       public void a1749 () { System.out.printf("a1749\n"); }
+       public void a1750 () { System.out.printf("a1750\n"); }
+       public void a1751 () { System.out.printf("a1751\n"); }
+       public void a1752 () { System.out.printf("a1752\n"); }
+       public void a1753 () { System.out.printf("a1753\n"); }
+       public void a1754 () { System.out.printf("a1754\n"); }
+       public void a1755 () { System.out.printf("a1755\n"); }
+       public void a1756 () { System.out.printf("a1756\n"); }
+       public void a1757 () { System.out.printf("a1757\n"); }
+       public void a1758 () { System.out.printf("a1758\n"); }
+       public void a1759 () { System.out.printf("a1759\n"); }
+       public void a1760 () { System.out.printf("a1760\n"); }
+       public void a1761 () { System.out.printf("a1761\n"); }
+       public void a1762 () { System.out.printf("a1762\n"); }
+       public void a1763 () { System.out.printf("a1763\n"); }
+       public void a1764 () { System.out.printf("a1764\n"); }
+       public void a1765 () { System.out.printf("a1765\n"); }
+       public void a1766 () { System.out.printf("a1766\n"); }
+       public void a1767 () { System.out.printf("a1767\n"); }
+       public void a1768 () { System.out.printf("a1768\n"); }
+       public void a1769 () { System.out.printf("a1769\n"); }
+       public void a1770 () { System.out.printf("a1770\n"); }
+       public void a1771 () { System.out.printf("a1771\n"); }
+       public void a1772 () { System.out.printf("a1772\n"); }
+       public void a1773 () { System.out.printf("a1773\n"); }
+       public void a1774 () { System.out.printf("a1774\n"); }
+       public void a1775 () { System.out.printf("a1775\n"); }
+       public void a1776 () { System.out.printf("a1776\n"); }
+       public void a1777 () { System.out.printf("a1777\n"); }
+       public void a1778 () { System.out.printf("a1778\n"); }
+       public void a1779 () { System.out.printf("a1779\n"); }
+       public void a1780 () { System.out.printf("a1780\n"); }
+       public void a1781 () { System.out.printf("a1781\n"); }
+       public void a1782 () { System.out.printf("a1782\n"); }
+       public void a1783 () { System.out.printf("a1783\n"); }
+       public void a1784 () { System.out.printf("a1784\n"); }
+       public void a1785 () { System.out.printf("a1785\n"); }
+       public void a1786 () { System.out.printf("a1786\n"); }
+       public void a1787 () { System.out.printf("a1787\n"); }
+       public void a1788 () { System.out.printf("a1788\n"); }
+       public void a1789 () { System.out.printf("a1789\n"); }
+       public void a1790 () { System.out.printf("a1790\n"); }
+       public void a1791 () { System.out.printf("a1791\n"); }
+       public void a1792 () { System.out.printf("a1792\n"); }
+       public void a1793 () { System.out.printf("a1793\n"); }
+       public void a1794 () { System.out.printf("a1794\n"); }
+       public void a1795 () { System.out.printf("a1795\n"); }
+       public void a1796 () { System.out.printf("a1796\n"); }
+       public void a1797 () { System.out.printf("a1797\n"); }
+       public void a1798 () { System.out.printf("a1798\n"); }
+       public void a1799 () { System.out.printf("a1799\n"); }
+       public void a1800 () { System.out.printf("a1800\n"); }
+       public void a1801 () { System.out.printf("a1801\n"); }
+       public void a1802 () { System.out.printf("a1802\n"); }
+       public void a1803 () { System.out.printf("a1803\n"); }
+       public void a1804 () { System.out.printf("a1804\n"); }
+       public void a1805 () { System.out.printf("a1805\n"); }
+       public void a1806 () { System.out.printf("a1806\n"); }
+       public void a1807 () { System.out.printf("a1807\n"); }
+       public void a1808 () { System.out.printf("a1808\n"); }
+       public void a1809 () { System.out.printf("a1809\n"); }
+       public void a1810 () { System.out.printf("a1810\n"); }
+       public void a1811 () { System.out.printf("a1811\n"); }
+       public void a1812 () { System.out.printf("a1812\n"); }
+       public void a1813 () { System.out.printf("a1813\n"); }
+       public void a1814 () { System.out.printf("a1814\n"); }
+       public void a1815 () { System.out.printf("a1815\n"); }
+       public void a1816 () { System.out.printf("a1816\n"); }
+       public void a1817 () { System.out.printf("a1817\n"); }
+       public void a1818 () { System.out.printf("a1818\n"); }
+       public void a1819 () { System.out.printf("a1819\n"); }
+       public void a1820 () { System.out.printf("a1820\n"); }
+       public void a1821 () { System.out.printf("a1821\n"); }
+       public void a1822 () { System.out.printf("a1822\n"); }
+       public void a1823 () { System.out.printf("a1823\n"); }
+       public void a1824 () { System.out.printf("a1824\n"); }
+       public void a1825 () { System.out.printf("a1825\n"); }
+       public void a1826 () { System.out.printf("a1826\n"); }
+       public void a1827 () { System.out.printf("a1827\n"); }
+       public void a1828 () { System.out.printf("a1828\n"); }
+       public void a1829 () { System.out.printf("a1829\n"); }
+       public void a1830 () { System.out.printf("a1830\n"); }
+       public void a1831 () { System.out.printf("a1831\n"); }
+       public void a1832 () { System.out.printf("a1832\n"); }
+       public void a1833 () { System.out.printf("a1833\n"); }
+       public void a1834 () { System.out.printf("a1834\n"); }
+       public void a1835 () { System.out.printf("a1835\n"); }
+       public void a1836 () { System.out.printf("a1836\n"); }
+       public void a1837 () { System.out.printf("a1837\n"); }
+       public void a1838 () { System.out.printf("a1838\n"); }
+       public void a1839 () { System.out.printf("a1839\n"); }
+       public void a1840 () { System.out.printf("a1840\n"); }
+       public void a1841 () { System.out.printf("a1841\n"); }
+       public void a1842 () { System.out.printf("a1842\n"); }
+       public void a1843 () { System.out.printf("a1843\n"); }
+       public void a1844 () { System.out.printf("a1844\n"); }
+       public void a1845 () { System.out.printf("a1845\n"); }
+       public void a1846 () { System.out.printf("a1846\n"); }
+       public void a1847 () { System.out.printf("a1847\n"); }
+       public void a1848 () { System.out.printf("a1848\n"); }
+       public void a1849 () { System.out.printf("a1849\n"); }
+       public void a1850 () { System.out.printf("a1850\n"); }
+       public void a1851 () { System.out.printf("a1851\n"); }
+       public void a1852 () { System.out.printf("a1852\n"); }
+       public void a1853 () { System.out.printf("a1853\n"); }
+       public void a1854 () { System.out.printf("a1854\n"); }
+       public void a1855 () { System.out.printf("a1855\n"); }
+       public void a1856 () { System.out.printf("a1856\n"); }
+       public void a1857 () { System.out.printf("a1857\n"); }
+       public void a1858 () { System.out.printf("a1858\n"); }
+       public void a1859 () { System.out.printf("a1859\n"); }
+       public void a1860 () { System.out.printf("a1860\n"); }
+       public void a1861 () { System.out.printf("a1861\n"); }
+       public void a1862 () { System.out.printf("a1862\n"); }
+       public void a1863 () { System.out.printf("a1863\n"); }
+       public void a1864 () { System.out.printf("a1864\n"); }
+       public void a1865 () { System.out.printf("a1865\n"); }
+       public void a1866 () { System.out.printf("a1866\n"); }
+       public void a1867 () { System.out.printf("a1867\n"); }
+       public void a1868 () { System.out.printf("a1868\n"); }
+       public void a1869 () { System.out.printf("a1869\n"); }
+       public void a1870 () { System.out.printf("a1870\n"); }
+       public void a1871 () { System.out.printf("a1871\n"); }
+       public void a1872 () { System.out.printf("a1872\n"); }
+       public void a1873 () { System.out.printf("a1873\n"); }
+       public void a1874 () { System.out.printf("a1874\n"); }
+       public void a1875 () { System.out.printf("a1875\n"); }
+       public void a1876 () { System.out.printf("a1876\n"); }
+       public void a1877 () { System.out.printf("a1877\n"); }
+       public void a1878 () { System.out.printf("a1878\n"); }
+       public void a1879 () { System.out.printf("a1879\n"); }
+       public void a1880 () { System.out.printf("a1880\n"); }
+       public void a1881 () { System.out.printf("a1881\n"); }
+       public void a1882 () { System.out.printf("a1882\n"); }
+       public void a1883 () { System.out.printf("a1883\n"); }
+       public void a1884 () { System.out.printf("a1884\n"); }
+       public void a1885 () { System.out.printf("a1885\n"); }
+       public void a1886 () { System.out.printf("a1886\n"); }
+       public void a1887 () { System.out.printf("a1887\n"); }
+       public void a1888 () { System.out.printf("a1888\n"); }
+       public void a1889 () { System.out.printf("a1889\n"); }
+       public void a1890 () { System.out.printf("a1890\n"); }
+       public void a1891 () { System.out.printf("a1891\n"); }
+       public void a1892 () { System.out.printf("a1892\n"); }
+       public void a1893 () { System.out.printf("a1893\n"); }
+       public void a1894 () { System.out.printf("a1894\n"); }
+       public void a1895 () { System.out.printf("a1895\n"); }
+       public void a1896 () { System.out.printf("a1896\n"); }
+       public void a1897 () { System.out.printf("a1897\n"); }
+       public void a1898 () { System.out.printf("a1898\n"); }
+       public void a1899 () { System.out.printf("a1899\n"); }
+       public void a1900 () { System.out.printf("a1900\n"); }
+       public void a1901 () { System.out.printf("a1901\n"); }
+       public void a1902 () { System.out.printf("a1902\n"); }
+       public void a1903 () { System.out.printf("a1903\n"); }
+       public void a1904 () { System.out.printf("a1904\n"); }
+       public void a1905 () { System.out.printf("a1905\n"); }
+       public void a1906 () { System.out.printf("a1906\n"); }
+       public void a1907 () { System.out.printf("a1907\n"); }
+       public void a1908 () { System.out.printf("a1908\n"); }
+       public void a1909 () { System.out.printf("a1909\n"); }
+       public void a1910 () { System.out.printf("a1910\n"); }
+       public void a1911 () { System.out.printf("a1911\n"); }
+       public void a1912 () { System.out.printf("a1912\n"); }
+       public void a1913 () { System.out.printf("a1913\n"); }
+       public void a1914 () { System.out.printf("a1914\n"); }
+       public void a1915 () { System.out.printf("a1915\n"); }
+       public void a1916 () { System.out.printf("a1916\n"); }
+       public void a1917 () { System.out.printf("a1917\n"); }
+       public void a1918 () { System.out.printf("a1918\n"); }
+       public void a1919 () { System.out.printf("a1919\n"); }
+       public void a1920 () { System.out.printf("a1920\n"); }
+       public void a1921 () { System.out.printf("a1921\n"); }
+       public void a1922 () { System.out.printf("a1922\n"); }
+       public void a1923 () { System.out.printf("a1923\n"); }
+       public void a1924 () { System.out.printf("a1924\n"); }
+       public void a1925 () { System.out.printf("a1925\n"); }
+       public void a1926 () { System.out.printf("a1926\n"); }
+       public void a1927 () { System.out.printf("a1927\n"); }
+       public void a1928 () { System.out.printf("a1928\n"); }
+       public void a1929 () { System.out.printf("a1929\n"); }
+       public void a1930 () { System.out.printf("a1930\n"); }
+       public void a1931 () { System.out.printf("a1931\n"); }
+       public void a1932 () { System.out.printf("a1932\n"); }
+       public void a1933 () { System.out.printf("a1933\n"); }
+       public void a1934 () { System.out.printf("a1934\n"); }
+       public void a1935 () { System.out.printf("a1935\n"); }
+       public void a1936 () { System.out.printf("a1936\n"); }
+       public void a1937 () { System.out.printf("a1937\n"); }
+       public void a1938 () { System.out.printf("a1938\n"); }
+       public void a1939 () { System.out.printf("a1939\n"); }
+       public void a1940 () { System.out.printf("a1940\n"); }
+       public void a1941 () { System.out.printf("a1941\n"); }
+       public void a1942 () { System.out.printf("a1942\n"); }
+       public void a1943 () { System.out.printf("a1943\n"); }
+       public void a1944 () { System.out.printf("a1944\n"); }
+       public void a1945 () { System.out.printf("a1945\n"); }
+       public void a1946 () { System.out.printf("a1946\n"); }
+       public void a1947 () { System.out.printf("a1947\n"); }
+       public void a1948 () { System.out.printf("a1948\n"); }
+       public void a1949 () { System.out.printf("a1949\n"); }
+       public void a1950 () { System.out.printf("a1950\n"); }
+       public void a1951 () { System.out.printf("a1951\n"); }
+       public void a1952 () { System.out.printf("a1952\n"); }
+       public void a1953 () { System.out.printf("a1953\n"); }
+       public void a1954 () { System.out.printf("a1954\n"); }
+       public void a1955 () { System.out.printf("a1955\n"); }
+       public void a1956 () { System.out.printf("a1956\n"); }
+       public void a1957 () { System.out.printf("a1957\n"); }
+       public void a1958 () { System.out.printf("a1958\n"); }
+       public void a1959 () { System.out.printf("a1959\n"); }
+       public void a1960 () { System.out.printf("a1960\n"); }
+       public void a1961 () { System.out.printf("a1961\n"); }
+       public void a1962 () { System.out.printf("a1962\n"); }
+       public void a1963 () { System.out.printf("a1963\n"); }
+       public void a1964 () { System.out.printf("a1964\n"); }
+       public void a1965 () { System.out.printf("a1965\n"); }
+       public void a1966 () { System.out.printf("a1966\n"); }
+       public void a1967 () { System.out.printf("a1967\n"); }
+       public void a1968 () { System.out.printf("a1968\n"); }
+       public void a1969 () { System.out.printf("a1969\n"); }
+       public void a1970 () { System.out.printf("a1970\n"); }
+       public void a1971 () { System.out.printf("a1971\n"); }
+       public void a1972 () { System.out.printf("a1972\n"); }
+       public void a1973 () { System.out.printf("a1973\n"); }
+       public void a1974 () { System.out.printf("a1974\n"); }
+       public void a1975 () { System.out.printf("a1975\n"); }
+       public void a1976 () { System.out.printf("a1976\n"); }
+       public void a1977 () { System.out.printf("a1977\n"); }
+       public void a1978 () { System.out.printf("a1978\n"); }
+       public void a1979 () { System.out.printf("a1979\n"); }
+       public void a1980 () { System.out.printf("a1980\n"); }
+       public void a1981 () { System.out.printf("a1981\n"); }
+       public void a1982 () { System.out.printf("a1982\n"); }
+       public void a1983 () { System.out.printf("a1983\n"); }
+       public void a1984 () { System.out.printf("a1984\n"); }
+       public void a1985 () { System.out.printf("a1985\n"); }
+       public void a1986 () { System.out.printf("a1986\n"); }
+       public void a1987 () { System.out.printf("a1987\n"); }
+       public void a1988 () { System.out.printf("a1988\n"); }
+       public void a1989 () { System.out.printf("a1989\n"); }
+       public void a1990 () { System.out.printf("a1990\n"); }
+       public void a1991 () { System.out.printf("a1991\n"); }
+       public void a1992 () { System.out.printf("a1992\n"); }
+       public void a1993 () { System.out.printf("a1993\n"); }
+       public void a1994 () { System.out.printf("a1994\n"); }
+       public void a1995 () { System.out.printf("a1995\n"); }
+       public void a1996 () { System.out.printf("a1996\n"); }
+       public void a1997 () { System.out.printf("a1997\n"); }
+       public void a1998 () { System.out.printf("a1998\n"); }
+       public void a1999 () { System.out.printf("a1999\n"); }
+       public void a2000 () { System.out.printf("a2000\n"); }
+       public void a2001 () { System.out.printf("a2001\n"); }
+       public void a2002 () { System.out.printf("a2002\n"); }
+       public void a2003 () { System.out.printf("a2003\n"); }
+       public void a2004 () { System.out.printf("a2004\n"); }
+       public void a2005 () { System.out.printf("a2005\n"); }
+       public void a2006 () { System.out.printf("a2006\n"); }
+       public void a2007 () { System.out.printf("a2007\n"); }
+       public void a2008 () { System.out.printf("a2008\n"); }
+       public void a2009 () { System.out.printf("a2009\n"); }
+       public void a2010 () { System.out.printf("a2010\n"); }
+       public void a2011 () { System.out.printf("a2011\n"); }
+       public void a2012 () { System.out.printf("a2012\n"); }
+       public void a2013 () { System.out.printf("a2013\n"); }
+       public void a2014 () { System.out.printf("a2014\n"); }
+       public void a2015 () { System.out.printf("a2015\n"); }
+       public void a2016 () { System.out.printf("a2016\n"); }
+       public void a2017 () { System.out.printf("a2017\n"); }
+       public void a2018 () { System.out.printf("a2018\n"); }
+       public void a2019 () { System.out.printf("a2019\n"); }
+       public void a2020 () { System.out.printf("a2020\n"); }
+       public void a2021 () { System.out.printf("a2021\n"); }
+       public void a2022 () { System.out.printf("a2022\n"); }
+       public void a2023 () { System.out.printf("a2023\n"); }
+       public void a2024 () { System.out.printf("a2024\n"); }
+       public void a2025 () { System.out.printf("a2025\n"); }
+       public void a2026 () { System.out.printf("a2026\n"); }
+       public void a2027 () { System.out.printf("a2027\n"); }
+       public void a2028 () { System.out.printf("a2028\n"); }
+       public void a2029 () { System.out.printf("a2029\n"); }
+       public void a2030 () { System.out.printf("a2030\n"); }
+       public void a2031 () { System.out.printf("a2031\n"); }
+       public void a2032 () { System.out.printf("a2032\n"); }
+       public void a2033 () { System.out.printf("a2033\n"); }
+       public void a2034 () { System.out.printf("a2034\n"); }
+       public void a2035 () { System.out.printf("a2035\n"); }
+       public void a2036 () { System.out.printf("a2036\n"); }
+       public void a2037 () { System.out.printf("a2037\n"); }
+       public void a2038 () { System.out.printf("a2038\n"); }
+       public void a2039 () { System.out.printf("a2039\n"); }
+       public void a2040 () { System.out.printf("a2040\n"); }
+       public void a2041 () { System.out.printf("a2041\n"); }
+       public void a2042 () { System.out.printf("a2042\n"); }
+       public void a2043 () { System.out.printf("a2043\n"); }
+       public void a2044 () { System.out.printf("a2044\n"); }
+       public void a2045 () { System.out.printf("a2045\n"); }
+       public void a2046 () { System.out.printf("a2046\n"); }
+       public void a2047 () { System.out.printf("a2047\n"); }
+       public void a2048 () { System.out.printf("a2048\n"); }
+       public void a2049 () { System.out.printf("a2049\n"); }
+       public void a2050 () { System.out.printf("a2050\n"); }
+}