koth-miner-e2e / proofs /75673.json
anshuc366's picture
Upload proofs/75673.json with huggingface_hub
ff6e84a verified
Raw
History Blame Contribute Delete
18.1 kB
{"epoch": 75673, "nonce": "ec284de6c759e7fd", "hotkey": "5EUqEsCHyUDZnqqTWtREkigkGvtZc4V94WpqY4CmkptfRokQ", "source_hash": "1a670cc6d326ffbc8e15e61cd9cb7d6243e748e7a5945f9ef48521ff6929f628", "weights_hash": "8d0c232443781ac4e50663e39311e45a60f389d559709162d8288bfecc6b3007", "model_id": "injected", "results": [{"benchmark": "mmlu", "task_id": "mmlu-5700", "answer": "A", "cost_usd": 0.000805}, {"benchmark": "mmlu", "task_id": "mmlu-9303", "answer": "C)", "cost_usd": 2.9500000000000446e-06}, {"benchmark": "mmlu", "task_id": "mmlu-7379", "answer": "D", "cost_usd": 1.3599999999999463e-06}, {"benchmark": "mmlu", "task_id": "mmlu-10805", "answer": "A) murder and larceny by trick.", "cost_usd": 0.0005825}, {"benchmark": "mmlu", "task_id": "mmlu-3007", "answer": "B)", "cost_usd": 1.3100000000000264e-06}, {"benchmark": "mmlu", "task_id": "mmlu-7125", "answer": "D)", "cost_usd": 1.249999999999949e-06}, {"benchmark": "mmlu", "task_id": "mmlu-8601", "answer": "B)", "cost_usd": 2.5100000000000556e-06}, {"benchmark": "mmlu", "task_id": "mmlu-7791", "answer": "D)", "cost_usd": 1.2700000000000471e-06}, {"benchmark": "math", "task_id": "gsm8k-258", "answer": "To find the total amount Nancy has to pay, we need to calculate the cost of the overdue books and add the flat fee.\n\n1. Calculate the cost of the overdue books:\n Each book costs $0.50, and there are 8 books. So, the total cost of the books is:\n 8 books x $0.50 per book = $4.00\n\n2. Add the flat fee:\n The flat fee is $2.00.\n\n3. Add the cost of the books and the flat fee:\n $4.00 (cost of books) + $2.00 (flat fee) = $6.00\n\nTherefore, Nancy has to pay a total of $6.00.", "cost_usd": 6.050000000000066e-06}, {"benchmark": "math", "task_id": "gsm8k-1060", "answer": "Let's break down the problem step by step:\n\n1. Becky ate 10 slices, which is 3 more slices than Jake ate. So, Jake ate 10 - 3 = 7 slices.\n2. Silvia ate twice as many slices as Jake did, so Silvia ate 2 x 7 = 14 slices.\n3. To find the total number of slices eaten, we need to add up the slices eaten by Becky, Jake, and Silvia: 10 (Becky) + 7 (Jake) + 14 (Silvia) = 31 slices.\n\nThe final answer is 31.", "cost_usd": 8.090000000000094e-06}, {"benchmark": "math", "task_id": "gsm8k-810", "answer": "Let's break it down step by step:\n\n1. At the beginning of the year, there are 10 students on campus.\n2. At the end of January, the number of students doubles, so there are 10 x 2 = 20 students.\n3. At the end of February, the number of students doubles again, so there are 20 x 2 = 40 students.\n4. At the end of March, the number of students doubles again, so there are 40 x 2 = 80 students.\n5. At the end of April, the number of students doubles again, so there are 80 x 2 = 160 students.\n6. At the end of May, the number of students doubles again, so there are 160 x 2 = 320 students.\n\nTo find the number of additional students who joined by the end of May, we need to subtract the initial number of students (10) from the total number of students at the end of May (320):\n\n320 - 10 = 310\n\nSo, 310 additional students would have joined by the end of May, above and beyond the number of students already on campus at the beginning of the year.", "cost_usd": 1.4130000000000002e-05}, {"benchmark": "math", "task_id": "gsm8k-1234", "answer": "To find the number of novels Regina wrote this year, let's follow the steps:\n\n1. Regina wrote 9 novels last year, which is 3 quarters of the number of novels she wrote this year. \n\n2. Let's denote the total number of novels she wrote this year as 'x'. Since 9 novels is 3 quarters of 'x', we can write the equation as 9 = (3/4)x.\n\n3. To solve for 'x', we need to isolate 'x' on one side of the equation. We can do this by multiplying both sides of the equation by 4/3 to cancel out the 3/4 on the right side.\n\n4. Multiplying both sides by 4/3 gives us: (4/3) * 9 = x\n Simplifying the left side: 12 = x\n\nSo, Regina wrote 12 novels this year.", "cost_usd": 1.9209999999999974e-05}, {"benchmark": "math", "task_id": "gsm8k-1134", "answer": "To find out how many more weeks it will take for Jane to save $60, we need to follow these steps:\n\n1. First, let's calculate how much Jane has saved so far. She has saved $4 per week for 8 weeks. \n Total savings so far = $4/week * 8 weeks = $32\n\n2. Now, let's find out how much more Jane needs to save to reach her goal of $60.\n Amount needed to save = $60 (goal) - $32 (current savings) = $28\n\n3. Since Jane saves $4 per week, we need to find out how many weeks it will take her to save $28.\n Number of weeks needed = Amount needed to save / Weekly savings\n Number of weeks needed = $28 / $4/week = 7 weeks\n\nSo, it will take Jane 7 more weeks to save a total of $60.", "cost_usd": 2.0239999999999928e-05}, {"benchmark": "math", "task_id": "gsm8k-442", "answer": "Let's break it down step by step:\n\n1. Initially, the house is 40 degrees.\n2. Marcus bakes for 3 hours, and every hour the oven is on, it raises the house's temperature by 5 degrees. So, in 3 hours, the temperature will increase by 3 x 5 = 15 degrees.\n3. The house's temperature after baking is 40 + 15 = 55 degrees.\n4. Then, Marcus opens a window for 30 minutes. The house cools down 2 degrees for every 10 minutes the window is open. Since 30 minutes is 3 times 10 minutes, the house will cool down by 3 x 2 = 6 degrees.\n5. The house's final temperature is 55 - 6 = 49 degrees.\n\nThe final answer is: 49", "cost_usd": 7.229999999999997e-06}, {"benchmark": "math", "task_id": "gsm8k-736", "answer": "Let's break it down step by step:\n\n1. Boris has 100 apples.\n2. Beck has 23 fewer apples than Boris, so Beck has 100 - 23 = 77 apples.\n3. Boris gives Beck 10 apples, so Beck now has 77 + 10 = 87 apples.\n4. Boris now has 100 - 10 = 90 apples.\n5. To find out how many fewer apples Beck has than Boris now, we subtract the number of apples Beck has from the number of apples Boris has: 90 - 87 = 3.\n\nThe final answer is 3.", "cost_usd": 7.569999999999929e-06}, {"benchmark": "math", "task_id": "gsm8k-273", "answer": "## Step 1: Calculate the number of stitches for the collar.\nThe collar takes a tenth of the number of stitches it takes to complete the body, which is 900 stitches. So, the collar takes 900 / 10 = 90 stitches.\n\n## Step 2: Calculate the number of stitches for the rosette.\nThe rosette takes twice as many stitches as the collar, which is 90 stitches. So, the rosette takes 90 * 2 = 180 stitches.\n\n## Step 3: Calculate the total number of stitches for the body, collar, and rosette.\nThe body takes 900 stitches, the collar takes 90 stitches, and the rosette takes 180 stitches. So, the total number of stitches for the body, collar, and rosette is 900 + 90 + 180 = 1170 stitches.\n\n## Step 4: Calculate the number of stitches for each sleeve.\nThe whole sweater is an 1800-stitch project, and the body, collar, and rosette take 1170 stitches. So, the number of stitches for each sleeve is 1800 - 1170 = 630 stitches.\n\nThe final answer is: $\\boxed{630}$", "cost_usd": 9.729999999999895e-06}], "total_cost_usd": 0.0014904, "n_calls": 16, "call_log_hash": "f85428d338da89e4ca10b913cbc00b9cd0643082f91e578a5c86d19630a7742e", "measurement": "5cb871638f665a9b97625f4f97e1ff98e994f751ddb15caa6f73742690cea75d", "quote": {"measurement": "5cb871638f665a9b97625f4f97e1ff98e994f751ddb15caa6f73742690cea75d", "report_data": "29e63f3be62b026311aedd503e574d10913d7b26f25486a1935d2a94950d3e13", "platform_sig": "tdx:BAACAIEAAAAAAAAAk5pyM/ecTKmUCg2zlX8GBwAAAAAAAAAAAAAAAAAAAAAAAAAADQEIAAAAAAAAAAAAAAAAAEieWF8cVLxaAgZsjG7CFhn/AzTsbyHgfio1ICxZGDeJyAV+fZfdWRuwgxSxhYGecgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAADnAAYAAAAAAJv4bmKA7EKCuLWCLYFmQQpFbNtyAQmqeZ8AEfpj3x3j7l414pP8QQwGFDMWOssDpgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH5eeO3KUGZHVvC+jobKiA9g4tWorFx2Gt9brJ0GCWRmPAeAAu+yWmG5Tit1zKTyz22Ik+uSVarUtSBFJQ9qrs77+TFj68wrnjFJkwMU32wEdcBtGIPnflq6YQ8P7kLHlgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANJCa4H1yL02ZGTJD0rkCojOo8lWFO222zt4nhOUzEkTzR8CA9KtkLb3QBzJAHulJinmPzvmKwJjEa7dUD5XTRCRPXsm8lSGoZNdKpSVDT4TAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADLEAAAmmfPJ5aujptuo/xDEUcDpj3zJZnwwcGm3K+Q0Xv+sIx1nR5SrliZ/NiGH3eU79cyxm3A42HZqmP/9Tz12xpdqObqEuyRPXUAQI0fXetPnzzUW/huaSRZjt1ThEs18q2KjWWkGKB/CMgGWrL+pVRmPhVP69HWpNey6vsAjQq8Uz0GAEUQAAAICP8bBP8ABgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAVAAAAAAAAAOcAAAAAAAAA5aOntdgwwpU7mFNMbFmjo0/cNOkz9/WJjwqFzwiEa8oAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANyeKnxvlI8XR040p/xD7QMPfBVj8bq932NAyC4OVKjFAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAgAGAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAM7s9/FdMtqxdlXRapomYu3DoAbjtzb0oLjjXisJTileAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACXixnoMrh5clsYNJEsfNr/wkzj38S2/H+hW3VrzSvCe3pZf+rEj5IR6iHxIq5hmUjFuRNQt/pIv133yAx29J0GIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAUAXQ4AAC0tLS0tQkVHSU4gQ0VSVElGSUNBVEUtLS0tLQpNSUlFOERDQ0JKYWdBd0lCQWdJVUVzdFIxS2ViNXdVRWhFSW1SOSt5SWZqVy9nOHdDZ1lJS29aSXpqMEVBd0l3CmNERWlNQ0FHQTFVRUF3d1pTVzUwWld3Z1UwZFlJRkJEU3lCUWJHRjBabTl5YlNCRFFURWFNQmdHQTFVRUNnd1IKU1c1MFpXd2dRMjl5Y0c5eVlYUnBiMjR4RkRBU0JnTlZCQWNNQzFOaGJuUmhJRU5zWVhKaE1Rc3dDUVlEVlFRSQpEQUpEUVRFTE1Ba0dBMVVFQmhNQ1ZWTXdIaGNOTWpZd05USTNNakl5TURRd1doY05Nek13TlRJM01qSXlNRFF3CldqQndNU0l3SUFZRFZRUUREQmxKYm5SbGJDQlRSMWdnVUVOTElFTmxjblJwWm1sallYUmxNUm93R0FZRFZRUUsKREJGSmJuUmxiQ0JEYjNKd2IzSmhkR2x2YmpFVU1CSUdBMVVFQnd3TFUyRnVkR0VnUTJ4aGNtRXhDekFKQmdOVgpCQWdNQWtOQk1Rc3dDUVlEVlFRR0V3SlZVekJaTUJNR0J5cUdTTTQ5QWdFR0NDcUdTTTQ5QXdFSEEwSUFCTWtaCkxNTjBLZkZnRG5YcnNOT20xclJoTW9HSFpScTUrbFg1Wi9xazRrVUN2TlZJMFU0eWN1VGhicHF6b05RS2pFUmEKMUlaYkRHcDlyYXgyTWN2aksxQ2pnZ01NTUlJRENEQWZCZ05WSFNNRUdEQVdnQlNWYjEzTnZSdmg2VUJKeWRUMApNODRCVnd2ZVZEQnJCZ05WSFI4RVpEQmlNR0NnWHFCY2hscG9kSFJ3Y3pvdkwyRndhUzUwY25WemRHVmtjMlZ5CmRtbGpaWE11YVc1MFpXd3VZMjl0TDNObmVDOWpaWEowYVdacFkyRjBhVzl1TDNZMEwzQmphMk55YkQ5allUMXcKYkdGMFptOXliU1psYm1OdlpHbHVaejFrWlhJd0hRWURWUjBPQkJZRUZFTFViZnlGYm83T2hsRzVNRlBkak83MwpTUno2TUE0R0ExVWREd0VCL3dRRUF3SUd3REFNQmdOVkhSTUJBZjhFQWpBQU1JSUNPUVlKS29aSWh2aE5BUTBCCkJJSUNLakNDQWlZd0hnWUtLb1pJaHZoTkFRMEJBUVFRaHJXYjZNejU1bWJaN01YRHBna2poVENDQVdNR0NpcUcKU0liNFRRRU5BUUl3Z2dGVE1CQUdDeXFHU0liNFRRRU5BUUlCQWdFSU1CQUdDeXFHU0liNFRRRU5BUUlDQWdFSQpNQkFHQ3lxR1NJYjRUUUVOQVFJREFnRUNNQkFHQ3lxR1NJYjRUUUVOQVFJRUFnRUNNQkFHQ3lxR1NJYjRUUUVOCkFRSUZBZ0VFTUJBR0N5cUdTSWI0VFFFTkFRSUdBZ0VCTUJBR0N5cUdTSWI0VFFFTkFRSUhBZ0VBTUJBR0N5cUcKU0liNFRRRU5BUUlJQWdFR01CQUdDeXFHU0liNFRRRU5BUUlKQWdFQU1CQUdDeXFHU0liNFRRRU5BUUlLQWdFQQpNQkFHQ3lxR1NJYjRUUUVOQVFJTEFnRUFNQkFHQ3lxR1NJYjRUUUVOQVFJTUFnRUFNQkFHQ3lxR1NJYjRUUUVOCkFRSU5BZ0VBTUJBR0N5cUdTSWI0VFFFTkFRSU9BZ0VBTUJBR0N5cUdTSWI0VFFFTkFRSVBBZ0VBTUJBR0N5cUcKU0liNFRRRU5BUUlRQWdFQU1CQUdDeXFHU0liNFRRRU5BUUlSQWdFTE1COEdDeXFHU0liNFRRRU5BUUlTQkJBSQpDQUlDQkFFQUJnQUFBQUFBQUFBQU1CQUdDaXFHU0liNFRRRU5BUU1FQWdBQU1CUUdDaXFHU0liNFRRRU5BUVFFCkJnQ0Fid1VBQURBUEJnb3Foa2lHK0UwQkRRRUZDZ0VCTUI0R0NpcUdTSWI0VFFFTkFRWUVFRUpoQjF6OGpuL0wKNnBpaUJBcTFoMW93UkFZS0tvWklodmhOQVEwQkJ6QTJNQkFHQ3lxR1NJYjRUUUVOQVFjQkFRSC9NQkFHQ3lxRwpTSWI0VFFFTkFRY0NBUUVBTUJBR0N5cUdTSWI0VFFFTkFRY0RBUUgvTUFvR0NDcUdTTTQ5QkFNQ0EwZ0FNRVVDCklRQ012VVFUSTRCSkJ3OWw0SzhIdXM5Mks2VnFNajE4eFFhdTlTSldVOFdkT0FJZ1d5cFExWGRuWGFBdkpzVk4KZCt4UUpIUmgwa0JlcDhQRXlFdUwzQXVBc0E4PQotLS0tLUVORCBDRVJUSUZJQ0FURS0tLS0tCi0tLS0tQkVHSU4gQ0VSVElGSUNBVEUtLS0tLQpNSUlDbGpDQ0FqMmdBd0lCQWdJVkFKVnZYYzI5RytIcFFFbkoxUFF6emdGWEM5NVVNQW9HQ0NxR1NNNDlCQU1DCk1HZ3hHakFZQmdOVkJBTU1FVWx1ZEdWc0lGTkhXQ0JTYjI5MElFTkJNUm93R0FZRFZRUUtEQkZKYm5SbGJDQkQKYjNKd2IzSmhkR2x2YmpFVU1CSUdBMVVFQnd3TFUyRnVkR0VnUTJ4aGNtRXhDekFKQmdOVkJBZ01Ba05CTVFzdwpDUVlEVlFRR0V3SlZVekFlRncweE9EQTFNakV4TURVd01UQmFGdzB6TXpBMU1qRXhNRFV3TVRCYU1IQXhJakFnCkJnTlZCQU1NR1VsdWRHVnNJRk5IV0NCUVEwc2dVR3hoZEdadmNtMGdRMEV4R2pBWUJnTlZCQW9NRVVsdWRHVnMKSUVOdmNuQnZjbUYwYVc5dU1SUXdFZ1lEVlFRSERBdFRZVzUwWVNCRGJHRnlZVEVMTUFrR0ExVUVDQXdDUTBFeApDekFKQmdOVkJBWVRBbFZUTUZrd0V3WUhLb1pJemowQ0FRWUlLb1pJemowREFRY0RRZ0FFTlNCLzd0MjFsWFNPCjJDdXpweHc3NGVKQjcyRXlER2dXNXJYQ3R4MnRWVExxNmhLazZ6K1VpUlpDbnFSN3BzT3ZncUZlU3hsbVRsSmwKZVRtaTJXWXozcU9CdXpDQnVEQWZCZ05WSFNNRUdEQVdnQlFpWlF6V1dwMDBpZk9EdEpWU3YxQWJPU2NHckRCUwpCZ05WSFI4RVN6QkpNRWVnUmFCRGhrRm9kSFJ3Y3pvdkwyTmxjblJwWm1sallYUmxjeTUwY25WemRHVmtjMlZ5CmRtbGpaWE11YVc1MFpXd3VZMjl0TDBsdWRHVnNVMGRZVW05dmRFTkJMbVJsY2pBZEJnTlZIUTRFRmdRVWxXOWQKemIwYjRlbEFTY25VOURQT0FWY0wzbFF3RGdZRFZSMFBBUUgvQkFRREFnRUdNQklHQTFVZEV3RUIvd1FJTUFZQgpBZjhDQVFBd0NnWUlLb1pJemowRUF3SURSd0F3UkFJZ1hzVmtpMHcraTZWWUdXM1VGLzIydWFYZTBZSkRqMVVlCm5BK1RqRDFhaTVjQ0lDWWIxU0FtRDV4a2ZUVnB2bzRVb3lpU1l4ckRXTG1VUjRDSTlOS3lmUE4rCi0tLS0tRU5EIENFUlRJRklDQVRFLS0tLS0KLS0tLS1CRUdJTiBDRVJUSUZJQ0FURS0tLS0tCk1JSUNqekNDQWpTZ0F3SUJBZ0lVSW1VTTFscWROSW56ZzdTVlVyOVFHemtuQnF3d0NnWUlLb1pJemowRUF3SXcKYURFYU1CZ0dBMVVFQXd3UlNXNTBaV3dnVTBkWUlGSnZiM1FnUTBFeEdqQVlCZ05WQkFvTUVVbHVkR1ZzSUVOdgpjbkJ2Y21GMGFXOXVNUlF3RWdZRFZRUUhEQXRUWVc1MFlTQkRiR0Z5WVRFTE1Ba0dBMVVFQ0F3Q1EwRXhDekFKCkJnTlZCQVlUQWxWVE1CNFhEVEU0TURVeU1URXdORFV4TUZvWERUUTVNVEl6TVRJek5UazFPVm93YURFYU1CZ0cKQTFVRUF3d1JTVzUwWld3Z1UwZFlJRkp2YjNRZ1EwRXhHakFZQmdOVkJBb01FVWx1ZEdWc0lFTnZjbkJ2Y21GMAphVzl1TVJRd0VnWURWUVFIREF0VFlXNTBZU0JEYkdGeVlURUxNQWtHQTFVRUNBd0NRMEV4Q3pBSkJnTlZCQVlUCkFsVlRNRmt3RXdZSEtvWkl6ajBDQVFZSUtvWkl6ajBEQVFjRFFnQUVDNm5Fd01ESVlaT2ovaVBXc0N6YUVLaTcKMU9pT1NMUkZoV0dqYm5CVkpmVm5rWTR1M0lqa0RZWUwwTXhPNG1xc3lZamxCYWxUVll4RlAyc0pCSzV6bEtPQgp1ekNCdURBZkJnTlZIU01FR0RBV2dCUWlaUXpXV3AwMGlmT0R0SlZTdjFBYk9TY0dyREJTQmdOVkhSOEVTekJKCk1FZWdSYUJEaGtGb2RIUndjem92TDJObGNuUnBabWxqWVhSbGN5NTBjblZ6ZEdWa2MyVnlkbWxqWlhNdWFXNTAKWld3dVkyOXRMMGx1ZEdWc1UwZFlVbTl2ZEVOQkxtUmxjakFkQmdOVkhRNEVGZ1FVSW1VTTFscWROSW56ZzdTVgpVcjlRR3prbkJxd3dEZ1lEVlIwUEFRSC9CQVFEQWdFR01CSUdBMVVkRXdFQi93UUlNQVlCQWY4Q0FRRXdDZ1lJCktvWkl6ajBFQXdJRFNRQXdSZ0loQU9XLzVRa1IrUzlDaVNEY05vb3dMdVBSTHNXR2YvWWk3R1NYOTRCZ3dUd2cKQWlFQTRKMGxySG9NcytYbzVvL3NYNk85UVd4SFJBdlpVR09kUlE3Y3ZxUlhhcUk9Ci0tLS0tRU5EIENFUlRJRklDQVRFLS0tLS0KAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA="}}