From 72502facc0eb48a0aa17ca161f2f91fd5f320bde Mon Sep 17 00:00:00 2001 From: cmwslw Date: Sat, 21 Apr 2018 14:15:40 -0700 Subject: [PATCH] Pin down solve functionality with more tests. --- expreduce/resources.go | 4 ++-- expreduce/resources/solve.m | 47 +++++++++++++++++++++++++++++++++++++ 2 files changed, 49 insertions(+), 2 deletions(-) diff --git a/expreduce/resources.go b/expreduce/resources.go index dfc67f9..215a6a9 100644 --- a/expreduce/resources.go +++ b/expreduce/resources.go @@ -1146,7 +1146,7 @@ func resourcesSimplifyM() (*asset, error) { return a, nil } -var _resourcesSolveM = []byte("\x1f\x8b\x08\x00\x00\x09\x6e\x88\x00\xff\xd4\x7c\x7b\x57\xdb\xc8\x92\xf8\xff\x7c\x8a\x9e\xe4\xf7\x63\xed\x58\xf2\x0b\xc8\xdc\x09\x38\x3b\x0c\x21\xf7\xb2\x37\x0f\x26\x66\xe7\x9e\x5d\x47\x18\x59\x6a\xb0\x4e\x64\xc9\x23\xc9\xc1\x1e\xe2\xef\xbe\x55\xd5\x0f\xb5\x64\xc9\x40\x92\x99\x3d\xcb\x39\x89\xad\x7e\xd4\xbb\xab\xab\xaa\x5b\x1e\xc6\xe1\x67\xfe\xe2\xc5\x22\x75\x6f\x38\x1b\xb0\x27\x57\xd4\x30\xe2\xbf\x47\x16\xfb\xec\x26\xce\x15\x4b\xb1\x21\x65\x57\xd0\x74\xc5\xae\xe3\x84\x5d\x41\xfb\x55\xfb\xc9\xe1\xce\x8e\x17\x2f\xa2\xec\x37\x37\x19\xf1\xe5\x3c\x19\xd3\x84\xf1\x70\x35\x9b\xc4\xa1\xc3\x5e\x0c\xd8\x0e\x63\x67\xd7\xd4\xc7\x06\x83\x01\xf6\x5a\xac\x67\xb1\x13\x9c\x45\xcd\x96\x68\xb3\x7b\x8e\x43\xd0\xa2\xcc\x0d\xa2\xf4\x7d\xc4\xdf\x7b\xde\x22\x49\x78\xe4\x11\x25\xe3\xd3\xdf\x17\x6e\x58\x05\x5e\x82\x92\xc4\x12\x24\x40\xc5\x7a\x87\x1a\xd8\x7f\xf3\x24\xce\xa1\xa5\x5f\x05\xae\x8b\xc4\x4d\xb9\xf7\x89\xfb\x27\x71\xe4\x07\x59\x10\x47\x6e\x78\x0a\x0c\xf0\x34\x85\xef\x23\x0e\xbc\x7b\x63\x05\xe5\x6d\xec\x2f\x42\x3e\xba\x8b\xf8\x32\x3b\x01\x99\x02\xcb\x30\x10\xff\x9b\xc3\xff\x11\xbf\xc5\x46\xbb\xb7\xb6\x60\x2c\xfb\xd7\x34\x80\xb1\x17\xc9\x82\x5b\x28\x2c\x49\x01\x08\x69\x44\xd3\x1d\x41\xc4\x4b\xd6\xc5\x99\xd0\xd0\x6a\x59\xec\x97\x84\xbb\x9f\x46\x0e\x0a\x0d\x20\x00\x6c\x80\x57\x43\x18\xd0\xa5\x46\xcd\x71\xd8\xdd\xfa\xb0\x84\x15\x1f\x73\xcc\x44\x28\xe2\xbe\x35\x51\xd3\x18\x76\x3c\x9f\xf3\xc8\xbf\x88\x47\x82\x11\x39\x8a\xd9\x2f\xe1\xab\x4d\xdf\x9d\x43\x62\xcf\xb6\xe5\x8c\x2a\x42\xf1\xff\x4e\x1b\x67\x8f\xcf\xa2\x8c\xdf\xf0\xe4\xdf\xcf\xe3\x14\x48\xff\xcc\x41\x80\x08\x2b\x62\x2d\xf6\x86\x47\x37\xd9\x94\x30\x19\xb3\x61\x1e\xb5\x80\x3e\xdc\xf9\x3c\x5c\x9d\x45\x9f\x79\x92\xf2\x51\x38\x4d\xc7\xe7\xe1\x22\x45\x5a\x12\xf8\xbe\xa1\x5b\xad\x92\x38\x02\x73\x3d\x77\x93\x2c\x15\xe2\x37\x1a\x80\xb6\x21\x0f\xb9\x97\x21\x38\x8b\x35\xb4\x71\x3f\x15\x2b\x81\x6c\xb8\xdb\x64\xbb\x82\x9e\xcf\x6a\x1a\xfc\xdd\x3b\xf3\x07\x73\xe6\x9d\x9e\x2a\xc8\x65\xb6\x49\xc6\x1a\x06\x6d\x30\x77\x11\xcc\xf8\xff\x55\xee\x3a\x5b\xb9\x9b\xb8\x29\x1f\x5f\xce\xe3\xdb\x71\x2d\x7b\x60\x9c\x1a\x27\x0e\x37\xd1\x22\x9b\x8d\x67\xd8\xc0\x82\x88\x61\x2f\x7b\xd6\x84\xb6\xe1\x6d\x90\x79\xd3\x11\xc0\x15\xa6\x68\xc3\x22\x2c\xfc\xdd\xd1\x58\x40\xd9\xeb\x00\x52\x21\x2e\xd6\x2f\x0d\xca\x47\xd9\xc3\xdf\x13\x58\x1d\xd3\xd4\xe9\x74\xce\xe3\x5b\x9e\xc0\x22\x73\x23\xdf\x62\x6a\x40\x75\xbf\x84\xbb\x57\x09\xd7\x7e\x09\xe3\x2f\x1b\xbd\xce\x5e\xd3\x12\xcf\x76\xc3\xee\x35\x45\x0b\x2b\xf7\x89\xae\x7e\xa1\x4b\x82\xdf\xaf\x01\x6f\xcb\x81\xfb\x1a\xfe\x19\x2b\x37\x6d\xb6\xe8\x67\x09\xfd\x60\x3b\xf1\x07\x1b\xc4\x1f\x68\x0a\x0f\xca\xc4\x57\x74\xc9\x69\x7b\xf5\xd3\xf6\x0b\x5d\x92\x2a\x50\xfa\xbb\x38\x63\xc1\x6c\x1e\xf2\x19\x07\x47\xe2\xb3\x15\xcf\x84\xf2\x19\x53\xae\x45\x93\x4e\xbb\xda\x69\x92\xc4\x89\x9e\x3e\x0c\x66\x41\x08\x76\x93\xc5\x2c\x9b\x72\x76\xc3\x23\x9e\xb8\x21\xf3\x50\xa1\x93\x45\xc6\xc0\x82\xa6\x31\x7c\x62\x27\xac\x3e\xdc\x20\xdb\x12\xfc\x07\x57\x78\xda\x11\x58\x55\x34\x06\x47\xa9\xed\x04\x0d\xfe\x92\x01\xa1\x60\x79\x8a\xd4\x71\x59\x80\x6f\x05\xb4\x91\xdc\x7b\x83\xeb\x05\x6c\x38\xf4\xe0\x1c\xd6\x40\x02\x40\x8e\xb4\x75\x1e\xca\x25\x80\x16\x3f\x47\x5b\x13\x5c\xc3\x32\xc1\x39\xb4\x8e\x05\xe2\x3b\x49\x80\x5c\x0c\xb4\x76\x84\x63\xce\x05\xb4\xa3\xb5\x0a\xa0\xec\x97\x3b\x39\x95\xd5\x3b\xca\x8e\xc9\x08\xa0\x24\x72\xf3\x3d\x42\xff\x35\xfa\xec\x8c\x9d\x07\xe0\xce\x7b\x4e\xb3\xf3\x26\xbe\xa1\x91\x4e\x0b\xbf\xd1\x32\xd1\x4d\x1b\x33\x0b\x53\xf5\x84\x66\xdd\x8c\xd2\x23\xce\xfa\x38\x3a\x15\x56\xe1\x48\x36\x53\x63\x88\xa3\xbf\xaf\xd5\xcc\x53\xda\x7b\xdf\xba\x20\xa5\x5f\x11\x99\xc5\xc6\x1f\xb8\x1b\x96\x20\xa3\x84\x50\x33\x8a\xa2\x75\x75\x77\xb5\xdc\x0c\x9e\x70\x7b\x93\x20\x2c\x56\x62\x9e\xfa\x73\xf2\x99\xa2\xbf\x84\x4c\x53\x06\xb6\xb5\xd5\x9a\x4a\x24\xe7\x32\x5c\x13\x00\xc7\xd9\x29\x3b\x64\x1c\x81\x5b\x8e\x53\xe7\x8f\x61\xe2\x5d\x38\x4d\xeb\x59\x3d\xbd\x24\x11\xda\xc0\xee\x11\x3b\x9b\x11\x62\x76\x34\x00\xf6\x9d\x75\x09\xd9\xf1\x24\xbd\x17\x59\x63\x2b\x83\x92\x12\x9b\x50\xca\x07\x74\xe8\xcd\xc3\x1d\x58\x2b\x17\x49\x70\x03\xcb\x84\x90\xa5\xb8\x4c\x0a\xd8\x87\x41\xf4\x20\x56\xed\x97\x5b\xa3\xbf\xf3\xc0\x3e\x4e\x3c\x04\x86\x9c\xb6\xfa\x42\xcf\x10\x3b\x59\xf4\xff\xa6\x31\x0a\xed\xdd\x0f\xf8\x91\x50\xcb\xc2\x3d\x89\xef\x17\xee\x03\xd8\x43\xe6\x10\xd4\xf7\x67\xee\x31\x50\xcb\xcc\x5d\xb8\x0f\xd3\x5d\xbd\x99\x02\x01\x08\x84\xac\xb3\xa5\xd6\xa6\xb9\x20\xeb\xd7\xe2\x86\xa0\xb3\x6f\xa7\x05\x81\x7c\x07\x5a\x86\xdc\xfb\x46\x5a\x94\xbe\x29\x30\x42\x72\xfa\x8f\x22\x48\xaf\xc2\x92\x67\xdb\xc6\xf9\x7d\xc8\xbe\x42\x25\xe9\xb7\x8a\x01\xc8\xb0\x99\x5c\x81\x7f\x99\x28\xee\x47\xf6\x20\x51\x80\xe7\x3b\x53\x4e\x0f\x33\x76\xe9\x01\x59\x86\xee\x10\xdc\xa7\x87\xb8\x37\xfd\xa1\x24\xe0\xdb\xe4\x96\x93\xaa\x7c\x17\xe4\x0c\x1f\xb8\xb0\x6d\x88\x4d\xec\xc6\x79\xd0\xe9\x43\xba\xb0\xab\xf7\x86\x97\x94\x3f\x7c\xf9\xa2\xfb\x8e\xca\x0c\xab\xf9\x47\x0c\x07\xe0\x50\x13\x24\xb5\x19\xf0\x8e\x10\xde\xe6\x5e\x23\x2c\xed\x7b\x71\xa7\x9c\x57\x91\xbb\x6e\x25\x5f\x45\x6e\xba\xc0\x86\xc9\xd0\x26\x3b\x0f\x62\xe6\xdb\x3d\x60\x4e\x96\x72\x84\xf7\xaa\xea\xe8\xfb\x6a\xea\x65\x15\x6f\x20\xd9\xe9\xf7\xf1\x61\xd3\x91\x5e\x4a\x67\xb0\x56\x20\x00\x31\xd6\xd3\x83\x96\xed\x36\xa7\xf5\x75\xd0\xd7\x3b\xb8\x3c\x7f\xc1\xb0\x19\x53\x8d\x17\xb8\x0a\x77\x82\x34\x0e\xdd\x8c\x8f\x72\x36\x89\x75\x9e\x66\x9b\xe9\x30\x26\xd8\xaa\x17\x44\xa7\xa6\xa2\xc0\xee\xad\x10\x48\x47\x70\x0c\xe2\x0e\xb8\xcc\x4e\x31\x15\xa2\x04\x81\xa5\x81\x0f\x0e\x23\xb8\x66\x11\xe7\x3e\x24\x54\x90\x19\xdd\x40\x4e\x85\xf8\xe2\x88\xbd\xf9\xc7\x50\x10\xcb\x28\xf0\xcf\xeb\x00\x14\x7a\xe9\x1a\x42\x8f\xec\x25\xef\x0d\x0b\xbd\xdd\xa6\x74\x66\x1f\x78\xb6\x48\xa2\x91\xa2\x3e\x11\x12\xd7\x83\xa9\x20\x28\x88\x3b\x4e\x53\x9e\x48\x2a\xb0\x90\x97\x02\x31\xe1\x0a\xfe\xf3\x38\x66\x40\x98\x9e\x95\x48\xfb\xa1\x51\x87\xbe\x4c\x5c\x52\x22\xae\x69\x99\xc4\xfd\xbf\xd7\x6e\x10\x72\x5f\xd1\x52\x14\x1e\x1b\xb0\x72\x99\x46\x8a\x5f\x40\x3c\x94\xc4\xfc\x83\xbb\xfe\xa8\x38\x55\xd4\x2e\xde\x04\x69\x26\x85\x71\x9e\x04\x51\x36\x7a\x42\x31\x2d\xe3\x98\xa5\xbe\x60\xaf\x03\xb0\xbc\x48\x47\xaf\xec\x9a\x68\x21\x77\xfe\xc4\x8c\x74\xd5\xe6\xf0\x84\xd0\xbe\x90\x9f\xce\xa1\x62\x82\x80\x16\x19\x71\xc3\xf0\x4c\xc8\x1d\xb9\x50\x2a\x90\xe5\x9c\x5d\xd6\xf9\xb9\xc4\x2a\xb1\xf2\x1f\x31\xb8\xf3\x21\xff\x7d\x81\x75\x54\xf6\xf3\xcf\x26\x14\x4a\xa9\x00\x38\x05\x7c\x80\x70\x91\x51\xf1\x31\x2f\xb5\xc2\xb8\x71\xc1\x10\x69\xe4\x07\xae\x0a\x2f\xea\x11\xc8\x81\x59\x58\xe7\x83\x19\xac\xd3\xc1\x24\x1d\x48\xb8\x5e\x1d\x96\x86\x81\xfc\x5e\xbb\x90\x08\x63\xfa\x22\x19\x38\x8b\x4e\x7f\x8f\xb6\xd4\x77\xf5\x1a\x90\x44\x13\xea\x20\x97\xc3\xdd\xd3\xb5\xe0\x5d\xca\xe3\x03\x8c\x46\x3e\x75\x29\xfc\x90\xf2\xef\x13\xa4\x01\xac\xce\x15\x95\x01\x39\x9a\xcd\x93\xd8\xe3\xfe\x22\xe1\xb0\x2e\x51\xee\x00\x32\x75\x23\x7c\x4a\x17\x61\x96\xb6\x55\x8a\xfe\xc3\x71\x18\x62\xdd\x55\x59\xbe\x0f\x2e\x97\x4c\xe4\xe9\x08\x3c\x86\x43\x5e\x12\x31\x37\x77\xc1\x91\x54\xab\x90\xa8\x70\xa3\x38\x0a\x3c\x37\x0c\xfe\xe0\x28\x2b\x92\xb8\xc4\x12\x6c\xe8\xd6\xef\x74\x94\x20\xe1\x5b\x9c\x64\x87\xc5\x61\xb2\xbe\x97\x93\xb4\xa1\x48\x8b\x3d\x75\x44\x81\x4f\x0d\xda\x11\x25\xfb\x90\x66\xde\x2f\xf5\x2c\xbe\x48\x56\x00\x58\x4c\x20\x1c\x71\x94\x05\x11\xd6\xbd\xaf\x61\x39\xfa\x44\x20\x56\x6c\x68\xe4\xeb\x48\x98\x86\x1e\x2f\x2c\xe3\x90\x9a\xc4\x3c\x68\x41\x41\x0a\x79\x5c\x4c\x79\x8a\xc2\xbe\x4d\x02\x50\x46\x02\x28\x53\x70\xaf\x51\x14\x67\xc0\x8b\x1b\xdd\x70\x59\xc6\x71\x23\x5c\x53\xf1\x35\x3d\x2a\xb9\xb5\xd9\x05\xaa\x33\x48\x11\x23\x2d\x6a\x1c\x04\xfe\x1e\x3d\xe0\x24\xce\x94\x67\xbc\x8d\x17\xa1\xcf\x10\xe6\x84\x33\x97\xa5\x8b\x20\x73\x27\x60\x24\x19\xf7\xa6\x51\x00\x2b\x83\x4d\x79\x22\x8b\x44\xa2\xc2\xae\x79\x24\xf3\x35\xf9\x64\xd2\x80\x85\x61\x2b\x9e\xd1\x0c\xe5\x86\xda\x10\x06\x61\xc3\x47\xdf\x71\x06\x83\x6e\x73\x57\x25\xfd\x0d\x51\x5c\x1c\x3d\x75\x36\xda\xc0\xba\xa8\x99\x5a\x45\xad\x9f\xbd\x8a\xd5\x4e\x4f\x68\x00\x87\x44\x37\xd2\xd2\x15\xde\x4a\x38\xac\x77\x90\x88\x98\x94\x3a\xe8\x32\xb5\xc7\x94\x7a\x24\x9f\x79\x94\x37\x1b\x7a\xc5\xae\xbc\x58\x61\x2a\x90\xe6\x1e\xea\xae\x92\x38\x94\x32\x99\xf0\x25\xf8\x61\xb1\x3b\x49\xaa\x61\x16\xb2\xcf\x30\x03\x13\x10\x76\x3a\x87\xa6\xe5\x90\xa1\xc2\x3e\x22\x04\x04\x84\x80\x0f\x73\x45\x00\xec\xc2\x72\xf5\xf9\x75\x80\xab\x15\xb6\x12\xd5\xe1\xbb\x99\xdb\x9e\xb5\x71\x47\xa1\xc3\xaf\x5f\x17\xae\x9f\x40\x8f\x37\x72\xc7\xed\x67\xcb\xf1\x65\x1f\x36\xfd\x09\x7d\x85\x2f\xde\xb8\x6d\xb1\xe5\x58\xc6\x25\xe5\x09\xd6\xc4\xf2\xac\xa5\xd3\x39\x7c\x9d\x70\xfe\xeb\xe8\x8e\x1a\xd6\xd0\x72\x28\x60\x9f\x2c\x26\x30\xcc\x17\x70\xf7\x04\xb8\x0d\x14\xee\x26\x0a\x39\x0f\x80\x4f\x2c\x77\x03\x81\xe5\x3f\x10\x85\xfe\xdb\x8a\xa2\x5b\x46\x71\x0f\x02\xe3\xef\x21\x3c\x74\xab\x78\x30\x11\x80\x3c\x13\x94\x26\x17\x28\xf6\x01\xdc\xe3\x25\xa6\x81\x58\xf5\x52\xb3\xf8\x83\xb1\x56\xfd\xb9\xe3\x6d\x48\xbb\x9b\x72\x7c\x38\xc2\xba\x3f\x03\xe1\xdd\xdd\xd2\x7e\xd9\x5d\x5b\x9b\x1f\x76\xc3\xef\xf0\xe6\x7a\xad\x31\x6b\xbc\xb8\x30\x44\xd8\xb1\x48\xd1\xe9\x2d\xec\x74\x31\x49\xb3\x20\x23\xc7\x48\xd1\xc6\x3c\x0e\x57\x51\x3c\x0b\xdc\xd0\x0e\x83\x4f\x1c\xdb\x66\xb4\xd3\x2c\x86\x6a\xa8\x71\x80\x0c\x74\x3c\x31\x3a\xf2\x83\x64\x96\xb9\x9f\xc0\x87\xba\x78\x1a\x64\xe7\x30\xe5\xb9\x32\xac\x4c\xe6\x66\x19\x9f\xcd\x33\x1c\xf3\x71\xa7\x44\x48\xba\x80\xf8\x94\x36\x5d\x31\x5e\x01\x33\x00\x21\x5d\x6d\x70\x60\xe4\xda\x3f\xee\x94\xa7\x7b\x10\xd3\x42\xb0\x84\x9d\x2a\x03\x96\x5b\x75\xca\xae\xee\xb2\xc4\x8d\x52\x84\x80\x1e\x6c\xf1\x9b\x1b\x2e\xf8\xfa\xaa\x0d\x60\x60\x63\x61\x57\x46\xef\x95\xf6\x12\xec\x36\x08\x43\x70\x1b\x5e\xb8\xf0\xc5\xf6\x72\xb5\x38\x0f\x5d\x8f\x4f\xe3\xd0\xe7\xc9\x15\x4b\x45\x20\xef\xa6\x00\x06\xbb\x17\xb2\x05\xb7\x9b\x0a\x22\xdc\x48\x84\x7e\x6a\x5e\x50\xc9\x09\x86\x81\x29\xee\x4b\x10\x70\xf8\x0b\x8f\x57\xc8\xe0\xc9\xa1\xa9\x9a\x11\x00\x81\xc0\x68\x4c\xac\xff\xb6\x71\xe4\xad\xf6\x67\x0c\xbb\x06\x4c\x8c\x15\xa7\x0b\x03\x39\xc1\x62\x7c\x39\xff\xbb\xa7\xe5\x02\x80\x4c\x61\x91\x33\x86\x11\x71\x04\x79\x4e\xaa\x53\x8a\x63\xa1\x4c\xa4\x94\x2f\x61\x82\x97\xe5\x83\x70\xff\x2d\x5b\x95\x76\xca\x6d\x82\xf8\x2f\x0e\xe2\x4d\xa7\x38\x3d\xb8\x89\x62\xf0\xd3\x6e\xb4\x62\x7f\xf0\x24\xb6\x3f\x23\x11\x7e\x0e\xad\x2d\x0f\x7d\x76\x4c\x3a\x80\xfa\x57\x10\xd4\x64\xfc\x04\x72\xac\x74\x74\x2a\xdb\x8d\xb3\x7d\x0c\xbf\x21\xc4\xea\xea\x40\x5d\x1e\x39\x6b\x10\x32\x27\xb0\x2a\xb2\x01\xc1\x22\x46\xe8\x22\x8e\x00\x12\x81\xa2\xbf\x9f\xbc\x52\x91\x85\x41\x1c\x0e\xbe\x98\x06\x29\x4b\x39\x9f\x91\xe6\x6e\xe3\xe4\x13\xad\xac\x19\xf2\x24\x67\x80\x3a\x21\x94\x98\x51\x4e\x28\x63\x7a\x3c\x84\x9a\xb9\x2b\x0a\x38\x56\x01\x87\xd0\xc3\x85\x55\xca\xaf\x17\x61\x59\xe5\x04\x0d\xe2\x71\x53\x8a\x24\x14\xa5\x1c\x50\x1f\x48\x04\x09\xc4\x80\x56\x11\xf7\x6c\x08\x84\xe7\x0c\x8b\x00\x94\xb8\x13\x9a\x66\x74\x67\xe3\x52\xcc\x57\x5c\x7f\x90\x31\x16\x12\x0d\xbd\x01\x45\x40\x78\x56\xc6\xe2\x45\x02\xfe\x83\xd4\x63\xea\xc4\xb0\x16\xe1\x1f\x98\x8a\xf1\x65\x22\x6b\xae\x1a\x3c\xe3\x13\xf8\x9a\x18\xfe\x1b\x47\xa9\x0a\x3f\x2c\x70\x44\x64\x42\xd5\x2b\x12\xa4\x9c\x4b\xc6\x62\xb7\x10\x90\xb9\xe0\xda\xe4\xea\xe7\x7e\x5b\x25\x89\x42\xe3\xe7\x7a\xec\xaf\xa3\x82\x4d\x53\x08\xc3\x2a\x9d\x82\xc5\x94\x1d\xc8\x9c\xc7\x58\x6b\x40\x42\xe9\x3a\x4d\xd1\x1b\xaa\xfe\xc7\x38\xc5\x8f\x3b\x86\x5b\xfc\x3a\xa7\x88\xa1\xcd\xc7\x9d\x38\x01\xf1\xa2\xf9\xd1\x56\x23\xac\x54\xca\xad\xc6\x21\xc9\x10\xf9\xb3\x4a\x62\x18\x18\xd9\xc7\x9d\x2b\xc9\xff\x15\x82\xa5\xc3\x52\xb0\x60\x17\x65\x9f\x82\xde\x0b\xbe\x47\xf3\xfb\xed\x2e\xa8\xa8\x0a\x82\xea\x5b\x82\x3a\x59\xc6\x28\x9a\x59\xe5\x16\x64\x98\x10\xf9\x63\x1b\x9f\x1f\xe9\x5d\x49\x29\x41\x94\x66\x90\xb3\x81\x34\x6a\x9c\xb7\x45\x90\x00\x0b\xae\x7b\x99\x65\xa8\xfd\xcd\x5c\x1b\xaa\x3e\x60\x10\x6f\x16\x07\xee\xf5\x3c\x49\x1c\x0b\x77\x6a\xaa\x53\x98\xc4\x2d\xec\x3b\xa6\x4c\x82\x08\xd8\xc2\x9d\x75\x63\xcb\xcc\xc9\x91\x82\xc5\x8c\x50\xe8\x2d\x9f\x4f\xce\x81\x09\x87\x68\x2e\xd8\x9c\x26\x60\x9e\xbb\x60\x90\x92\x1a\x22\x4d\xaa\x88\xfc\x13\x36\xc6\x49\x70\x13\x44\x80\x59\x79\x0e\x85\x5d\x09\x42\x52\x70\xaf\x10\x48\x73\x8a\x58\x5a\xd1\x6f\xdd\xf9\xa8\x82\xea\xbe\xa0\x1a\x93\x29\x8b\xc1\x83\x5c\x77\xbb\xda\x8a\x34\x03\x17\x98\xbc\x91\xc3\x9d\xa0\xdd\xcf\x94\x74\x49\x9a\xe4\x47\xa2\x38\x57\xe6\x06\x47\x1f\x77\x72\x9e\x2e\xa6\x49\x7c\x8b\xdd\xb8\x3a\x16\x05\x8d\x6b\xa2\x65\xce\x9d\x4a\x53\x6e\xc8\xed\xe7\x29\x95\x8d\x7b\xfa\x3a\x0d\xdd\x73\x00\x65\xae\xd0\x2a\x21\x93\xf5\xc1\xdb\xce\x60\x31\x06\x90\xec\xe4\x89\x3f\xde\x7d\x28\xd9\xd5\x71\xb4\xa2\x3a\x43\x05\x82\x1f\x24\x82\x7a\x03\x3b\x11\xc9\x93\x58\x26\x22\xb5\xcd\x71\x81\x82\x71\xa9\xe2\x42\x10\xe6\x6f\x62\x46\x35\xbc\x0e\x12\x54\x5c\x2a\x55\x09\x7e\x5c\xec\xc5\xaf\x16\xf3\x30\xf0\xdc\x0c\x6f\x72\x75\x18\xd6\x21\x94\x0f\x25\xfb\x09\xc3\xf8\x16\x63\xd0\x19\xcf\xa6\xb1\x0f\x89\x59\xea\x25\xc1\x84\x4c\x97\xaa\x7b\x8d\x67\xc3\x8c\x27\x21\x0c\x81\xdd\xdb\x62\xbf\x40\xd2\x07\x99\xe8\x31\x7c\x5b\x25\x3e\x35\xbd\xff\xb7\x7f\x72\x7e\x0d\x11\xca\x07\xb6\xcb\x86\x01\xa0\x07\xd7\xf1\x0b\xeb\xfd\xf4\xb7\xbe\x38\x31\x46\xf0\xc2\xf9\x04\x1e\x3b\xd5\x79\x20\x6d\x5f\xe7\x1f\x4e\x87\xc3\x36\x20\x23\x54\x27\xf1\x6c\x0e\xce\x23\x61\xc7\xe1\x0d\x9f\x24\x2e\xb3\xd9\x1b\x90\x08\x16\x78\x20\x41\xc6\x32\x69\xc4\xf4\x98\xa1\x17\x60\x55\x0c\x76\x34\x8c\xee\x7e\x6c\xb3\x57\xef\xcf\x5e\xb0\x5e\xb7\xdd\xeb\x76\x7f\xec\xec\xd9\x07\xfb\x5d\xbb\xd7\x7b\xde\xfd\xd1\xfe\x69\xdc\xdb\x23\xf8\xec\xf8\x33\xc8\x9c\x36\x4f\x37\x7b\xc1\xa6\x59\x36\x7f\xd1\xe9\xdc\xde\xde\xb6\xc1\xd9\x72\x37\xf1\xa6\x6d\xd8\xaf\x5c\xaf\xbd\xf8\xd4\x99\x83\xa4\xdc\xb0\x73\x0d\x3a\x4a\x3b\xfb\xbd\xbd\xfd\xbf\x3d\xef\x48\x6e\xc6\x8a\x9b\xb1\xe6\x66\xfc\xff\xfb\x5d\x64\x68\x2c\x18\x9a\xfb\xd7\x28\x3c\xbd\xf1\xdc\x53\xa7\xf1\xf9\x0d\xa4\x08\x85\x42\x0d\x04\x1c\xa1\x2c\x1f\x05\xf8\x8c\x0e\x44\xf8\x5c\xba\x99\x55\x7b\xcf\x52\xed\xa3\xd2\xc8\xee\xd6\xb9\x7d\xa9\xe8\x50\x14\x93\x70\x3d\x69\x37\x50\x7b\x0b\xb4\x04\xae\x5c\xf5\xdb\xac\x1b\x4b\x1c\x86\xbf\x13\xce\x48\xa0\xc2\x66\x51\x54\x12\x75\x16\xfa\xd2\x77\x74\x38\x68\x06\x07\x38\xd6\x2c\x6c\x08\x21\xc1\x6c\x1d\x57\xe6\x23\x44\x75\x02\x00\xa8\x41\xe0\x7d\xfa\x9a\xea\x52\x79\x00\xa7\x75\x3a\xea\x2e\x19\x4e\x2f\x57\xea\x9c\x4a\x80\x7b\x45\x80\x22\x91\xfe\x5a\x60\xfb\x1b\xd4\x25\x8f\xa3\x4d\x96\xaf\x4f\x23\x2a\x07\x81\x17\xf5\xc1\x69\x20\x2c\x32\x6f\x43\xfe\xb0\x66\x44\x80\x84\x55\x6a\x6c\x77\x0e\x2d\x11\x8f\xc9\x7b\x4d\x3a\x3e\x33\xf6\xef\xe2\x76\x6e\xc6\x50\x45\xc5\x95\xc4\x2f\xb7\x93\x1c\x8c\x88\xe7\x0b\x7b\x4a\xa1\x5b\x4c\x95\xf6\x63\x96\xad\x8c\x22\x67\xb1\xb4\x5f\x6d\xaa\xe5\x52\x58\xa5\xc1\x96\x06\xe5\x66\x8b\x05\xba\xd7\xf9\x82\x5b\xa1\x0b\x8e\x84\xe1\xca\xdb\x67\xc5\xe5\xa8\x2a\xe6\x9d\xc2\x2c\x45\x61\x79\xec\x0f\x03\x51\xce\x36\x0b\xcb\xa3\xf2\xfa\x36\x09\x2a\x9c\x4c\x50\x9d\xcd\xdc\x05\x53\x75\x1c\x41\x40\x9f\xa8\x27\x2d\x23\xa3\x70\x2d\x65\x4b\x8c\xbc\x85\xfd\xeb\x3d\x86\xa3\xb0\x41\xc3\xcc\x74\x2c\x94\x02\xd3\xc4\xd7\x72\x60\x78\x8d\xfb\xc9\x10\xa3\xaa\x94\x83\xcc\x7d\xfa\x9a\xc5\x04\x5d\x3b\x22\x95\xbe\x01\x3c\x11\x3d\xd0\xe1\xa3\x6c\x45\xd0\xb2\xb5\xbe\xaa\xce\x14\x1e\x1d\xff\x20\x30\x32\x32\x41\x9c\x91\x20\x09\xb9\xa8\x09\xe5\x1c\x52\xb7\x13\xca\x9e\x46\x79\x11\xc7\x6f\x21\xe7\x83\x9e\xb4\x27\x01\x49\x36\x90\x63\x81\x0d\x03\x16\xc8\x8d\x14\x08\x8a\x5b\xd4\x60\xcd\x7e\x1e\xa1\x89\xe9\x8a\xbe\x7e\x91\x3e\x3d\xbe\x4c\x60\xde\x51\x4f\x61\x7f\x53\x2a\xfa\x2b\x1e\xd0\x28\x10\x24\x15\x71\xf5\xf7\xae\x4c\xb5\x55\x18\x46\x4d\xeb\xb5\x34\x85\xaa\x1d\xc9\xd0\x7f\x31\x53\x02\xde\x4c\x55\x12\x9b\xb9\x8e\x2a\x0d\x48\x59\x0f\x5d\x69\xc7\xd5\x09\x89\x04\x59\x9d\x30\x19\x71\x1b\x5d\xd7\xc6\xc5\x63\xa5\x79\x16\x67\xab\x52\xb9\x72\x31\x30\xb1\xc2\xb3\x60\xab\x1a\x09\x99\xa4\x09\xc0\x62\xe7\x3c\x99\x2d\x32\xb1\x5b\x0b\x7e\xd6\x5a\x41\x44\x07\x40\x7b\x07\x8b\xd2\x82\x50\x23\xe2\xaf\x71\xd5\xd1\x2b\x04\x8e\x11\x2e\x0d\xe7\xdc\x0b\xe4\x75\x55\xb1\x0c\xa5\x67\xd5\x7b\x3d\x1d\x2f\x58\x4c\x9c\xbb\xe1\xbd\x7f\xd1\x2c\x5e\x35\x90\xad\x77\x6b\xdd\x7e\xb7\xae\x6a\x5d\xca\x18\xa1\x85\x95\xef\xd3\x4b\xf5\x38\x18\x74\xb1\xf0\x68\x9e\x4a\x53\x9d\xf1\x9c\xd2\xa6\x0c\xef\x10\xba\xce\x5a\xdc\x44\x39\x21\xc7\x98\xc1\x6e\x2b\x8f\x95\x91\xd8\xe3\x39\x6c\x32\x32\xaa\x23\xa9\x40\x68\x93\x42\xf0\x9d\x79\x53\x8c\xd1\xc4\x49\x0b\xc4\xe1\x51\xe0\x89\x53\x15\xcd\xd6\x9d\xa8\xc1\x4b\xb2\xb0\xe0\xbb\xd2\x44\x79\x63\xcb\x37\x7b\x79\xa1\xf7\x7a\x8c\xd5\x50\xf9\x68\xa9\xf6\xb5\x41\x7e\xa3\xe1\x31\x6e\x4f\xd8\x75\xb3\xd3\x98\x30\xdf\x76\x19\x6f\x36\xad\x15\xf5\xd8\x1e\xf3\x5b\x6e\xb1\x6b\xbd\x66\x9b\x15\x64\xeb\x1a\x4b\xab\xbb\xbb\x55\xed\x2b\xe7\xf1\x5c\x3c\x80\xf0\xeb\x8e\x5f\x49\x65\xd3\xac\xf9\x2a\x42\xaa\xc9\x13\xc4\xed\x40\xd0\x04\x31\x37\xec\x87\xa9\xf0\x8f\x0e\x9e\x48\x81\x56\x33\xda\xac\x40\xa1\x11\xe4\x55\xb8\x9a\x8b\x9e\x1a\xa3\x81\x51\xe3\x29\xfa\x85\x9d\x42\x79\xba\xfe\x7d\x19\x77\x7c\x1c\xf9\xf4\xc6\xc7\xce\x46\x51\x7b\xcb\x4c\x98\xa8\x92\x07\x07\x72\x18\x3c\xb0\xc5\xf7\x41\x2e\x78\x9a\xa5\xe2\xdd\x25\x7d\x86\x76\x2a\x8e\x84\x4e\x97\x2e\x7e\xa4\xf9\x75\x97\xd3\xa1\x3b\xe3\x38\x63\x44\xd2\x43\x6b\x5d\x89\xab\xb1\x6e\x6b\x02\x66\x2b\x6f\x97\x8e\x1a\xf0\xd8\xbc\x5c\x0e\x06\x2b\x90\x98\x71\xa6\x55\x98\x9f\xbf\x1d\x60\xe3\xb1\xc0\xca\x81\xe9\xa2\xb5\xd0\xa8\x81\xae\x30\x1d\x5d\xd2\x69\x05\x44\x71\xb5\x70\x41\x9d\x3d\x09\xb6\xdf\xea\xb3\xa5\x0d\x53\x00\x34\xb5\xb7\x36\xda\x35\xf4\xfe\x60\x00\x0d\xad\x15\xfc\x6b\x2c\xed\x7e\x13\x3f\x57\xf4\x09\xea\x35\x50\x35\x9e\x6d\x30\xd1\x00\xc3\xb7\x05\xd1\x13\x20\xcf\x66\xfb\x20\x6a\xcf\x01\x4b\xea\x33\xb7\xa9\xb9\xc2\x61\xad\xfa\x61\x9a\x12\xf7\x99\x60\x72\xf2\x6c\x89\x67\x34\xb2\x74\x80\xfc\xca\x4b\xf4\x8f\x22\x03\x40\xe0\xa7\xff\x40\x72\x36\x86\xc3\x78\xb1\x25\x2a\x7b\x5f\x3a\x87\xb5\x74\xfa\x44\xa7\x24\x13\xf6\xb0\x53\xb2\xae\x91\x41\x35\xfb\xe5\x78\x78\x76\xc2\xce\x86\xef\xdf\x1c\x5f\x9c\xbd\x7f\x67\xd4\x15\xc5\x85\x1a\x37\x0a\xb2\x95\x38\x46\x4f\x99\xc1\xf0\x06\xbb\xdd\x5c\x62\x4b\x43\x46\xf5\x13\x26\xa5\x09\x93\xd2\x04\xf3\xee\x1f\x56\xe6\x7c\xb1\x8a\xea\x88\x70\xe9\x1d\x98\xf6\x81\xa1\x38\x10\x03\x34\x30\x91\x66\xb8\x5b\x60\xcb\x3a\x04\xa6\xf4\x80\xa1\xe3\x07\x9f\x83\x74\x0b\x2a\x41\x7e\xc7\x35\x18\x78\xe6\x56\xb1\xb0\x31\xc9\x2d\x70\xdd\x79\xd8\x24\xbb\x31\xe9\xcc\x0c\x83\x9c\x91\x82\x27\x0f\x12\xb2\xb0\x2a\xaf\xd9\x99\x55\xce\xf7\x6a\x65\x4e\xc5\x11\x99\x14\x06\x24\x16\x6b\xf3\xe5\xa4\xad\x5e\xc4\x2d\x39\x10\xd7\x58\xdd\x68\xa9\x80\xde\xdd\x46\xbe\xfd\x72\x82\x45\x74\x73\x29\x2e\x2f\xdd\xc1\x60\xf2\xd7\xfb\x30\xa0\xa5\x8f\xb4\x34\x0e\xd8\xaa\x85\xb7\x41\x57\x4e\xb3\x40\x56\xe3\x40\xb7\x0f\x06\xfd\x7a\x02\x5d\xd8\xdb\x26\xe0\xfc\xe0\xd3\x30\x04\xf7\x12\xbc\x1d\x2c\x7a\xcb\xad\x99\x67\x62\xea\x75\xfa\x80\xc3\xee\x59\x5f\xa7\xb8\x17\xec\x02\xab\xa7\xd7\x78\x90\x45\x7b\x92\xf9\xe6\x4d\x25\xe7\xe0\x82\x73\x52\x49\x8c\x4b\x67\xfb\x4e\x82\x73\x7e\x5a\x17\x89\xfe\xa9\xb9\x6d\x4e\x71\xec\x73\x64\xf0\xec\x2b\x18\xbc\x8f\x95\x6f\xdb\x20\xed\x97\xd5\x5b\x39\x68\xa4\xf0\x96\x10\xbd\xe9\x73\xd0\xd9\x77\x9a\x56\xf5\x3b\x3c\x06\xe2\xfd\xd3\xcb\x46\x7f\x09\xfc\x1e\x7c\x05\xe2\x0d\x9c\xce\xfd\x08\x4f\x91\xcb\x7a\x64\xc5\x71\xdd\x6f\x23\xea\x81\xd4\x6c\x98\x72\x79\xe9\xb5\xf7\x9f\x3f\xdf\x63\x42\x79\xf9\x5c\x70\xed\xb9\xc6\xea\x75\x5e\x4d\xe5\xe6\x5b\x5d\x7b\x42\x86\xd2\x3c\xf6\x1e\x40\xfc\xde\x25\xed\x5b\xab\xed\x8e\xe3\xa1\xf8\xfb\x05\xfc\xfd\x07\xe0\xef\x7f\x27\xfc\x12\x2f\x44\x18\xd8\xd4\x12\xe8\x1f\x60\xbb\x0d\x0c\xc7\xfe\x34\x12\xf6\x1e\x46\xc2\x5e\x0d\x09\x45\x7f\x11\xc6\x37\x5b\xdc\x42\xdd\xdb\x5f\x8d\x49\x6b\x65\xff\xd1\xb4\x57\x96\x7d\x1e\x1c\x9d\xcd\x46\xf4\xec\x1c\x0d\xf0\x05\xb0\x7c\x0f\x69\x4d\x06\x03\xa4\x78\xd9\x5a\x39\xad\x3f\xbe\x62\xc9\xe4\xef\x5d\x9d\x5e\xae\xf4\x4b\x44\xb5\xeb\x67\x77\x57\x92\xb3\x92\xa4\x58\xf5\xa0\xbf\x09\xee\x5a\x54\x47\x15\xa3\xc8\x23\x02\x5b\x3a\x9b\xfe\xbf\x28\xee\xe3\x49\x6d\xac\x88\x3b\x60\x5f\xed\x81\xf8\x45\xcb\x11\x5f\xa1\x43\xaf\x8c\x1b\x68\x4d\xb0\x86\xb0\x81\x82\x47\xab\xd2\x9e\x28\x01\x7b\xb6\x7f\xbf\x20\xb6\x4a\xd4\x9e\xb4\xc0\x42\x1f\x07\x2e\xdf\x3e\x51\x7c\xc0\x63\xcb\x1b\x0c\xfc\x6d\x12\x3c\x89\xb7\x49\x70\x1b\x97\xf8\x3a\x47\xff\x61\x3c\x6e\x81\xd4\x7a\x0c\x24\xcd\x1e\xce\xa8\x53\xa1\x48\x69\x23\xe0\x01\x2f\xe4\x6f\xbc\xbf\xf3\x38\x7d\x4a\xf1\x4b\x22\x57\x8e\x2d\x89\xec\x3b\x45\x7a\xfb\x95\x66\xfe\x15\x5a\xcf\x55\xfe\x57\xe2\xdc\xe0\xb3\xf5\x67\xe3\xfc\x73\x10\x82\x23\x91\xe5\x16\xd3\x52\x0a\xbe\x44\x8f\xa8\xb2\x1a\x2f\x9e\x4d\x82\x48\x9c\xaf\x49\x17\x80\x87\xb6\x82\xd8\x2d\xd6\x03\x76\xbc\x2a\x2e\x3e\xc9\x1f\xae\xc1\x7b\x83\xd8\xfb\xb4\x22\x02\x7e\x53\x2e\x0d\x7c\x45\x68\x05\x80\xe5\x5b\x45\xbb\xbb\xe4\x4d\x5f\x0e\xba\xcd\x2f\x5f\x64\xdb\x11\x0d\x39\xc2\xef\x5f\xbe\xa8\xf1\xf8\x24\x07\x1f\xc1\xe0\xe6\xb7\xe8\xee\x7f\x85\xac\x4d\x0d\x1b\xd4\x3c\x4c\xc9\xae\xbe\x3a\x16\x44\x9f\xe5\x11\xb7\xcb\xce\x5f\xbd\x2e\x2a\x18\x5c\x47\x74\x43\x4a\x7a\xa2\x12\xbe\x5e\x1b\xe2\xc3\x83\xbe\xce\xf5\xd4\xf3\xfa\x89\xc5\xc4\x89\xcf\x08\xc0\x8c\xde\x01\x6e\x37\x7c\x15\xa4\xa2\x32\x88\x22\xeb\x62\x25\x1f\x23\x07\x0c\x21\xda\x3d\xfc\xf6\xc4\xb1\x0a\x15\x90\xf3\xf7\x6f\xfe\xeb\xdd\xfb\xb7\x67\xc7\x6f\x86\x5b\x2c\x0d\xf2\x6c\x5b\xd5\x6e\xec\x52\xbd\x49\xf6\xb7\x6a\xfa\x8b\x85\x26\x50\xd2\xe4\xd9\xd2\xf6\xea\x2c\x53\x95\x36\xe4\x50\xb6\xb4\xaf\xe3\x18\x24\x0c\xe3\xab\xe0\xe8\xce\x7a\x33\xb7\x1b\x10\x74\x11\x6d\x48\x93\x4c\xd5\x15\xd9\x9b\x3d\x9b\xf4\xd6\xd2\x2a\xc0\x6b\x10\x02\x64\xfe\x68\x56\x03\x72\x30\xa6\xec\x4f\xde\xbf\x79\x73\x7a\xa2\xea\x52\x35\x08\xf6\x8d\x88\x7c\xd9\xea\xc1\xde\xb3\x6c\x6d\xcf\xa6\x7a\x3f\x76\x7a\x46\x9d\xe8\xa0\xb1\xbf\x84\x38\xb2\xb5\xcf\x1a\xcf\x19\x40\x80\x6c\xec\x47\x4c\xe8\x96\x2d\x68\xec\x97\xa8\xda\x92\x95\xd3\x9b\x86\xfd\xcd\x38\xf4\x1c\xcc\xda\x9d\xc8\x63\x03\xe3\x1a\x15\x15\xd5\xd0\xca\xc5\x15\x9c\x40\xdf\xa9\x6c\xd7\x70\x5b\x44\xb8\xbf\x89\x10\x4b\x7c\xff\x8c\xe2\xdb\x08\x4f\x03\x17\xc9\x96\x52\x31\x6c\x5e\x67\xf2\x4a\x35\x7c\x83\x7f\xab\xaa\x25\x0c\x11\xd9\xb2\xd5\x3f\x6b\xad\x6a\xd6\x2f\x7c\xac\x0f\x77\x76\xc8\x07\xe1\x2d\x33\x84\x2f\x8f\x62\xa3\xe2\x6b\x52\x19\xf4\xc8\xe5\x8d\x77\x97\xe1\x29\xb0\x58\xb2\x10\x47\xe0\x38\x4d\x34\xce\xe5\x2f\x4c\x45\x27\x71\x92\x70\x0f\x5a\x83\x54\x7e\x95\x2f\x58\x99\x80\xd8\x80\x7d\xe0\xae\x8f\xf5\x7b\x40\x28\x4f\xa9\x4a\x03\xe4\xed\xa4\x22\xfe\x86\xfc\x85\x0c\xf1\x4a\x8a\xa5\x8e\x7f\x9a\xbb\x85\x7b\x00\xf2\x9c\xce\x9c\xaa\x4e\x93\x05\x07\x8c\x7e\xa0\x0b\x1f\x15\xbd\x4c\xfc\xc6\x16\x36\x99\xcc\xe1\xbd\xc1\x40\xfd\x52\x09\xc9\xa5\xa1\x15\x43\xe0\xf1\x82\xa0\x81\x66\x44\x13\xf4\xb9\x1b\x53\xa7\x7a\xf2\xa8\x14\x47\xca\xd3\x5c\xf9\x1d\x8f\x4b\xf1\x34\xe1\x22\x98\x81\x41\xe5\xd3\xb4\xf4\xc4\xef\x55\xa9\x5b\x64\x03\x35\x6f\xcf\xc4\x21\xb8\xbe\xab\x06\x6f\x19\x53\x2c\x0d\x4b\x7e\xa3\xb1\xb9\xa6\x0c\x98\x67\xd7\x23\xdd\x9e\xab\xb5\xd5\x92\x43\x9a\x52\x58\xe2\x25\x23\x21\xd4\xa3\x01\xab\x92\xbc\x55\x45\x67\x60\x95\xe5\x86\x8d\x8e\x63\x92\x50\x54\x04\xf5\x1f\x16\xa4\x1f\x48\xe9\x07\x2d\xa9\xcd\x82\x15\x28\x9a\xa1\x11\x95\x5f\xb9\xf5\x9a\x3f\x3b\x57\x73\xdc\x43\x3f\x12\xe7\xa9\xbe\xd4\xb9\xc2\x1f\x00\xc3\x1b\x52\x78\xc7\xfb\x0a\xbb\xaf\xd8\xed\x34\xf0\xa6\x78\xf7\xd7\xcb\x61\xe0\x0b\xab\x57\xf9\x3c\xfa\xb9\x3a\xe3\x6c\xab\x12\xdb\xc6\x59\x57\xfd\xe1\x15\x1e\xa2\x92\x41\xf2\x6d\xa3\xe8\x04\x96\x86\xfd\x67\x24\x5f\x33\xaa\x1b\x5e\xdd\x8a\xef\x93\x4c\xf0\xf7\x85\x3c\xf5\x8e\x47\xcd\x38\x18\x81\x6f\x69\x4d\x40\xd4\xff\x13\x00\x00\xff\xff\xeb\x0a\xe5\xf5\xd1\x4f\x00\x00") +var _resourcesSolveM = []byte("\x1f\x8b\x08\x00\x00\x09\x6e\x88\x00\xff\xd4\x3c\xfd\x57\xdb\x48\x92\xbf\xf3\x57\xf4\x24\x77\x9c\x8d\x25\x7f\x01\xc9\x4e\xc0\xb9\x65\x08\xd9\xe5\x36\x99\x30\x81\x9b\x7d\x77\x8e\x30\xb2\xdc\x60\xbd\xb1\x25\x8f\x24\x07\x6b\x18\xff\xef\x57\x55\xfd\xa1\xd6\x97\x31\x49\x66\xee\x2d\xef\x25\x96\xba\xbb\xbe\xab\xab\xab\x4b\x2d\x5d\x86\xb3\xcf\xfc\xd5\xab\x65\xec\xde\x71\x36\x60\xcf\x6e\xa8\x61\xc8\x7f\x0d\x2c\xf6\xd9\x8d\x9c\x1b\x16\x63\x43\xcc\x6e\xa0\xe9\x86\xdd\x86\x11\xbb\x81\xf6\x9b\xf6\xb3\xa3\x9d\x1d\x2f\x5c\x06\xc9\xcf\x6e\x34\xe4\xab\x45\x34\x22\x80\xd1\x65\x3a\x1f\x87\x33\x87\xbd\x1a\xb0\x1d\xc6\xce\x6f\xa9\x8f\x0d\x06\x03\xec\xb5\x58\xcf\x62\xa7\x08\x45\xcd\x96\x68\xb3\x7b\x8e\x43\xd8\x82\xc4\xf5\x83\xf8\x43\xc0\x3f\x78\xde\x32\x8a\x78\xe0\x11\x27\xa3\xb3\x5f\x97\xee\xac\x0a\xbd\x44\x25\x99\x25\x4c\x40\x8a\xf5\x8e\x34\xb2\xff\xe5\x51\x98\x61\x8b\xbf\x08\x5d\x17\x99\x9b\x72\xef\x17\x3e\x39\x0d\x83\x89\x9f\xf8\x61\xe0\xce\xce\x40\x00\x1e\xc7\x70\x3d\xe4\x20\xbb\x37\x52\x58\xde\x87\x93\xe5\x8c\x0f\x1f\x02\xbe\x4a\x4e\x41\xa7\x20\x32\x0c\xc4\xff\x16\xf0\x7f\xc0\xef\xb1\xd1\xee\xad\x2d\x18\xcb\xfe\x39\xf5\x61\xec\x55\xb4\xe4\x16\x2a\x4b\x72\x00\x4a\x1a\x12\xb8\x23\x98\x78\xcd\xba\x08\x09\x0d\xad\x96\xc5\x7e\x88\xb8\xfb\xcb\xd0\x41\xa5\x01\x06\xc0\x0d\xf8\x6a\x18\x03\xbe\xd4\xa8\x05\x0e\x7b\x58\x1f\x15\xa8\xe2\x6d\x46\x99\x18\x45\xda\xf7\x26\x69\x1a\xc3\x4e\x16\x0b\x1e\x4c\xae\xc2\xa1\x10\x44\x8e\x62\xf6\x6b\xb8\xb4\xe9\xda\x39\x22\xf1\x6c\x5b\x42\x54\x31\x8a\xff\x77\xda\x08\x3d\x3a\x0f\x12\x7e\xc7\xa3\xff\xbc\x08\x63\x60\xfd\x33\x07\x05\x22\xae\x80\xb5\xd8\x3b\x1e\xdc\x25\x53\xa2\x64\x40\x03\x1c\xb5\x80\x3d\xdc\xc5\x62\x96\x9e\x07\x9f\x79\x14\xf3\xe1\x6c\x1a\x8f\x2e\x66\xcb\x18\x79\x89\xe0\xba\x64\x5b\x6d\x92\x30\x00\x77\xbd\x70\xa3\x24\x16\xea\x37\x1a\x80\xb7\x4b\x3e\xe3\x5e\x82\xe8\x2c\xd6\xd0\xce\xfd\x5c\xcc\x04\xf2\xe1\x6e\x93\xed\x0a\x7e\x3e\x2b\x30\xf8\x7b\x14\xf2\x3b\x13\xf2\x41\x83\x0a\x76\x99\x6d\xb2\xb1\x86\x41\x25\xe1\xae\xfc\x39\xff\x57\x95\xae\xb3\x51\xba\xb1\x1b\xf3\xd1\xf5\x22\xbc\x1f\xd5\x8a\x07\xce\xa9\x69\xe2\x70\x93\x2c\x8a\xd9\xd8\xc3\x06\xe6\x07\x0c\x7b\xd9\x5e\x13\xda\x2e\xef\xfd\xc4\x9b\x0e\x01\xaf\x70\x45\x1b\x26\x61\xee\xef\x81\xc6\x02\xc9\x5e\x07\x88\x0a\x75\xb1\x7e\x61\x50\x36\xca\xbe\xfc\x35\x82\xd9\x31\x8d\x9d\x4e\xe7\x22\xbc\xe7\x11\x4c\x32\x37\x98\x58\x4c\x0d\xa8\xee\x97\x78\xf7\x2b\xf1\xda\xaf\x61\xfc\x75\xa3\xd7\xd9\x6f\x5a\xe2\xde\x6e\xd8\xbd\xa6\x68\x61\xc5\x3e\xd1\xd5\xcf\x75\x49\xf4\x07\x35\xe8\x6d\x39\xf0\x40\xe3\x3f\x67\xc5\xa6\x72\x8b\xbe\x97\xd8\x0f\x37\x33\x7f\x58\x62\xfe\x50\x73\x78\x58\x64\xbe\xa2\x4b\x82\xed\xd7\x83\x1d\xe4\xba\x24\x57\x60\xf4\x1f\xc3\x84\xf9\xf3\xc5\x8c\xcf\x39\x04\x92\x09\x4b\x79\x22\x8c\xcf\x98\x0a\x2d\x9a\x75\x5a\xd5\xce\xa2\x28\x8c\x34\xf8\xa5\x3f\xf7\x67\xe0\x37\x49\xc8\x92\x29\x67\x77\x3c\xe0\x91\x3b\x63\x1e\x1a\x74\xbc\x4c\x18\x78\xd0\x34\x84\x5f\xec\x84\xd9\x87\x0b\x64\x5b\xa2\xff\xe8\x8a\x48\x3b\x04\xaf\x0a\x46\x10\x28\xb5\x9f\xa0\xc3\x5f\x33\x60\x14\x3c\x4f\xb1\x3a\x2a\x2a\xf0\xbd\xc0\x36\x94\x6b\xaf\x7f\xbb\x84\x05\x87\x6e\x9c\xa3\x1a\x4c\x80\xc8\x91\xbe\xce\x67\x72\x0a\xa0\xc7\x2f\xd0\xd7\x84\xd4\x30\x4d\x10\x86\xe6\xb1\x20\xfc\x20\x19\x90\x93\x81\xe6\x8e\x08\xcc\x99\x82\x76\xb4\x55\x01\x95\xfd\x7a\x27\xe3\xb2\x7a\x45\xd9\x31\x05\x01\x92\xc4\x6e\xb6\x46\xe8\xbf\x46\x9f\x9d\xb3\x0b\x1f\xc2\x79\xcf\x69\x76\xde\x85\x77\x34\xd2\x69\xe1\x15\x4d\x13\xdd\x54\x82\xcc\x81\x6a\x80\x66\x1d\x44\xe1\x16\xa1\x3e\x0d\xcf\x84\x57\x38\x52\xcc\xd8\x18\xe2\xe8\xeb\xb5\x82\x3c\xa3\xb5\xf7\xbd\x0b\x5a\xfa\x09\x89\x59\x6c\xf4\x91\xbb\xb3\x02\x66\xd4\x10\x5a\x46\x71\xb4\xae\xee\xae\xd6\x9b\x21\x13\x2e\x6f\x12\x85\xc5\x0a\xc2\x53\x7f\xc6\x3e\x53\xfc\x17\x88\x69\xce\xc0\xb7\x36\x7a\x53\x81\xe5\x4c\x87\x6b\x42\xe0\x38\x3b\xc5\x80\x8c\x23\x70\xc9\x71\xea\xe2\x31\x00\x3e\xcc\xa6\x71\xbd\xa8\x67\xd7\xa4\x42\x1b\xc4\x3d\x66\xe7\x73\x22\xcc\x8e\x07\x20\xbe\xb3\x2e\x10\x3b\x19\xc7\x8f\x12\x6b\x6c\x14\x50\x72\x62\x13\x49\x79\x83\x01\xbd\x79\xb4\x03\x73\xe5\x2a\xf2\xef\x60\x9a\x10\xb1\x18\xa7\x49\x8e\xfa\xa5\x1f\x6c\x25\xaa\xfd\x7a\x63\xf6\x77\xe1\xdb\x27\x91\x87\xc8\x50\xd2\x56\x5f\xd8\x19\x72\x27\x8b\xfe\x2f\x3b\xa3\xb0\xde\xe3\x88\x9f\x88\xb5\xa8\xdc\xd3\xf0\x71\xe5\x6e\x21\x1e\x0a\x87\xa8\xbe\xbd\x70\x4f\xc1\x5a\x14\xee\xca\xdd\xce\x76\xf5\x6e\x0a\x0c\x20\x12\xf2\xce\x96\x9a\x9b\xe6\x84\xac\x9f\x8b\x25\x45\x27\x5f\xcf\x0b\x22\xf9\x06\xbc\x5c\x72\xef\x2b\x79\x51\xf6\xa6\xc4\x08\xd9\xe9\x3f\x89\x21\x3d\x0b\x0b\x91\x6d\x93\xe4\x8f\x11\xfb\x02\x93\xc4\x5f\xab\x06\x60\xc3\x66\x72\x06\xfe\x69\xaa\x78\x9c\xd8\x56\xaa\x80\xc8\x77\xae\x82\x1e\xee\xd8\x65\x04\x64\x09\x86\x43\x08\x9f\x1e\xd2\x2e\xc7\x43\xc9\xc0\xd7\xe9\x2d\x63\x55\xc5\x2e\xd8\x33\x7c\xe4\xc2\xb7\x21\x37\xb1\x1b\x17\x7e\xa7\x0f\xdb\x85\x5d\xbd\x36\xbc\xa6\xfd\xc3\xef\xbf\xeb\xbe\xe3\xa2\xc0\x0a\xfe\x98\xe1\x00\x1c\x6a\xa2\xa4\x36\x03\xdf\x31\xe2\x2b\xaf\x35\xc2\xd3\xbe\x95\x74\x2a\x78\xe5\xa5\xeb\x56\xca\x95\x97\xa6\x0b\x62\x98\x02\x95\xc5\xd9\x4a\x98\xaf\x8f\x80\x19\x5b\x2a\x10\x3e\x6a\xaa\xe3\x6f\x6b\xa9\xd7\x55\xb2\x81\x66\xa7\xdf\x26\x86\x4d\x87\x7a\x2a\x9d\xc3\x5c\x81\x04\xc4\x98\x4f\x5b\x4d\xdb\x4d\x41\xeb\xcb\xb0\xaf\x77\x70\x7a\xfe\x80\x69\x33\x6e\x35\x5e\xe1\x2c\xdc\xf1\xe3\x70\xe6\x26\x7c\x98\x89\x49\xa2\xf3\x38\x29\x6f\x87\x71\x83\xad\x7a\x41\x75\x0a\x14\x15\xf6\x68\x85\x40\x06\x82\x13\x50\xb7\xcf\xe5\xee\x14\xb7\x42\xb4\x41\x60\xb1\x3f\x81\x80\xe1\xdf\xb2\x80\xf3\x09\x6c\xa8\x60\x67\x74\x07\x7b\x2a\xa4\x17\x06\xec\xdd\xdf\x2f\x05\xb3\x8c\x12\xff\xac\x0e\x40\xa9\x97\xae\x21\xf4\xc8\x5f\xb2\xde\x59\xae\xb7\xdb\x94\xc1\xec\x23\x4f\x96\x51\x30\x54\xdc\x47\x42\xe3\x7a\x30\x15\x04\x05\x73\x27\x71\xcc\x23\xc9\x05\x16\xf2\x62\x60\x66\x96\xc2\x7f\x1e\xc7\x1d\x10\x6e\xcf\x0a\xac\x7d\xd7\xa8\x23\x5f\x64\x2e\x2a\x30\xd7\xb4\x4c\xe6\xfe\xed\xad\xeb\xcf\xf8\x44\xf1\x92\x57\x1e\x1b\xb0\x62\x99\x46\xaa\x5f\x60\x3c\x92\xcc\xfc\x9d\xbb\x93\x61\x1e\x54\xd4\x2e\xde\xf9\x71\x22\x95\x71\x11\xf9\x41\x32\x7c\x46\x39\x2d\xe3\xb8\x4b\x7d\xc5\xde\xfa\xe0\x79\x81\xce\x5e\xd9\x2d\xf1\x42\xe1\xfc\x99\x99\xe9\xaa\xc5\xe1\x19\x91\x7d\x25\x7f\x9d\x23\x25\x04\x21\xcd\x0b\xe2\xce\x66\xe7\x42\xef\x28\x85\x32\x81\x2c\xe7\xec\xb2\xce\x5f\x0b\xa2\x92\x28\xff\x15\x42\x38\xbf\xe4\xbf\x2e\xb1\x8e\xca\xfe\xfa\x57\x13\x0b\x6d\xa9\x00\x39\x25\x7c\x40\x70\x99\x50\xf1\x31\x2b\xb5\xc2\xb8\x51\xce\x11\x69\xe4\x47\xae\x0a\x2f\xea\x16\xd8\x01\x28\xac\xf3\x01\x04\xeb\x74\x70\x93\x0e\x2c\xdc\xa6\x47\x85\x61\xa0\xbf\xb7\x2e\x6c\x84\x71\xfb\x22\x05\x38\x0f\xce\x7e\x0d\x36\xd4\x77\xf5\x1c\x90\x4c\x13\x69\x3f\xd3\xc3\xc3\xf3\xb5\x90\x5d\xea\xe3\x23\x8c\x46\x39\x75\x29\xfc\x88\xf6\xdf\xa7\xc8\x03\x78\x9d\x2b\x2a\x03\x72\x34\x5b\x44\xa1\xc7\x27\xcb\x88\xc3\xbc\x44\xbd\x03\xca\xd8\x0d\xf0\x2e\x5e\xce\x92\xb8\xad\xb6\xe8\xdf\x9d\xcc\x66\x58\x77\x55\x9e\x3f\x81\x90\x4b\x2e\xf2\x7c\x08\x11\xc3\xa1\x28\x89\x94\x9b\xbb\x10\x48\xaa\x4d\x48\x5c\xb8\x41\x18\xf8\x9e\x3b\xf3\x7f\xe3\xa8\x2b\xd2\xb8\xa4\xe2\x97\x6c\x3b\xe9\x74\x94\x22\xe1\x2a\x8c\x92\xa3\xfc\x30\x59\xdf\xcb\x58\x2a\x19\xd2\x62\xcf\x1d\x51\xe0\x53\x83\x76\x44\xc9\x7e\x46\x90\x8f\x6b\x3d\x09\xaf\xa2\x14\x10\x0b\x00\xa2\x11\x06\x89\x1f\x60\xdd\xfb\x16\xa6\xe3\x84\x18\xc4\x8a\x0d\x8d\x7c\x1b\x08\xd7\xd0\xe3\x85\x67\x1c\x51\x93\x80\x83\x16\x54\xa4\xd0\xc7\xd5\x94\xc7\xa8\xec\xfb\xc8\x07\x63\x44\x40\x32\x86\xf0\x1a\x04\x61\x02\xb2\xb8\xc1\x1d\x97\x65\x1c\x37\xc0\x39\x15\xde\xd2\xad\xd2\x5b\x9b\x5d\xa1\x39\xfd\x18\x29\xd2\xa4\xc6\x41\x10\xef\x31\x02\x8e\xc3\x44\x45\xc6\xfb\x70\x39\x9b\x30\xc4\x39\xe6\xcc\x65\xf1\xd2\x4f\xdc\x31\x38\x49\xc2\xbd\x69\xe0\xc3\xcc\x60\x53\x1e\xc9\x22\x91\xa8\xb0\x6b\x19\xc9\x7d\x4d\x39\x99\x74\x60\xe1\xd8\x4a\x66\x74\x43\xb9\xa0\x36\x84\x43\xd8\xf0\xd3\x77\x9c\xc1\xa0\xdb\xdc\x55\x9b\xfe\x86\x28\x2e\x0e\x9f\x3b\xa5\x36\xf0\x2e\x6a\xa6\x56\x51\xeb\x67\x6f\x42\xb5\xd2\x13\x19\xa0\x21\xc9\x0d\xb5\x76\x45\xb4\x12\x01\xeb\x47\xd8\x88\x98\x9c\x3a\x18\x32\x75\xc4\x94\x76\xa4\x98\x79\x9c\x35\x1b\x76\xc5\xae\xac\x58\x61\x1a\x90\x60\x8f\x74\x57\x41\x1d\xca\x98\x4c\xc4\x12\xfc\xb1\xd8\x83\x64\xd5\x70\x0b\xd9\x67\xb8\x81\x89\x08\x3b\x9d\x23\xd3\x73\xc8\x51\x61\x1d\x11\x0a\x02\x46\x20\x86\xb9\x22\x01\x76\x61\xba\x4e\xf8\xad\x8f\xb3\x15\x96\x12\xd5\x31\x71\x13\xb7\x3d\x6f\xe3\x8a\x42\x0f\xbf\x7e\x5a\xba\x93\x08\x7a\xbc\xa1\x3b\x6a\xef\xad\x46\xd7\x7d\x58\xf4\xc7\x74\x09\x17\xde\xa8\x6d\xb1\xd5\x48\xe6\x25\x45\x00\x6b\x6c\x79\xd6\xca\xe9\x1c\xbd\x8d\x38\xff\x69\xf8\x40\x0d\x6b\x68\x39\x12\xb8\x4f\x97\x63\x18\x36\x11\x78\xf7\x05\xba\x12\x09\xb7\x4c\x42\xc2\x01\xf2\xb1\xe5\x96\x08\x58\x93\x2d\x49\xe8\xbf\x8d\x24\xba\x45\x12\x8f\x10\x30\xfe\xb6\x91\xa1\x5b\x25\x83\x49\x00\xf4\x19\xa1\x36\xb9\x20\x71\x00\xe8\x9e\xae\x31\x8d\xc4\xaa\xd7\x9a\xc5\xb7\xa6\x5a\xf5\xe7\x8e\x36\x11\xed\x96\xf5\xb8\x3d\xc1\xba\x3f\x83\xe0\xc3\xc3\xca\x7e\xdd\x5d\x5b\xe5\x1f\xbb\x31\xe9\xf0\xe6\x7a\xad\x29\x6b\xba\x38\x31\x44\xda\xb1\x8c\x31\xe8\x2d\xed\x78\x39\x8e\x13\x3f\xa1\xc0\x48\xd9\xc6\x22\x9c\xa5\x41\x38\xf7\xdd\x99\x3d\xf3\x7f\xe1\xd8\x36\xa7\x95\x66\x79\xa9\x86\x1a\x0f\x90\x81\x8f\x67\x46\x47\xf6\x20\x99\x25\xee\x2f\x10\x43\x5d\x7c\x1a\x64\x67\x38\xe5\x73\x65\x98\x99\xcc\x4d\x12\x3e\x5f\x24\x38\xe6\xd3\x4e\x81\x91\x78\x09\xf9\x29\x2d\xba\x62\xbc\x42\x66\x20\x42\xbe\xda\x10\xc0\x28\xb4\x7f\xda\x29\x82\x7b\x90\xd3\x42\xb2\x84\x9d\x6a\x07\x2c\x97\xea\x98\xdd\x3c\x24\x91\x1b\xc4\x88\x01\x23\xd8\xf2\x67\x77\xb6\xe4\xeb\x9b\x36\xa0\x81\x85\x85\xdd\x18\xbd\x37\x3a\x4a\xb0\x7b\x7f\x36\x83\xb0\xe1\xcd\x96\x13\xb1\xbc\xdc\x2c\x2f\x66\xae\xc7\xa7\xe1\x6c\xc2\xa3\x1b\x16\x8b\x44\xde\x8d\x01\x0d\x76\x2f\x65\x0b\x2e\x37\x15\x4c\xb8\x81\x48\xfd\x14\x9c\x5f\x29\x09\xa6\x81\x31\xae\x4b\x90\x70\x4c\x96\x1e\xaf\xd0\xc1\xb3\x23\xd3\x34\x43\x40\x02\x89\xd1\x88\x44\xff\xb9\xf4\xc8\x5b\xad\xcf\x98\x76\x0d\x98\x18\x2b\x9e\x2e\x0c\x24\x80\xc5\xf8\x6a\xf1\x37\x4f\xeb\x05\x10\x99\xca\xa2\x60\x0c\x23\xc2\x00\xf6\x39\xb1\xde\x52\x9c\x08\x63\x22\xa7\x7c\x05\x00\x5e\x92\x0d\xc2\xf5\xb7\xe8\x55\x3a\x28\xb7\x09\xe3\x3f\x39\xa8\x37\x9e\x22\xb8\x7f\x17\x84\x10\xa7\xdd\x20\x65\xbf\xf1\x28\xb4\x3f\x23\x13\x93\x0c\x5b\x5b\x3e\xf4\xd9\x31\xf9\x00\xee\xdf\x40\x52\x93\xf0\x53\xd8\x63\xc5\xc3\x33\xd9\x6e\x3c\xdb\xc7\xf4\x1b\x52\xac\xae\x4e\xd4\xe5\x23\x67\x8d\x42\xee\x09\xac\x8a\xdd\x80\x10\x11\x33\x74\x91\x47\x00\x8b\xc0\xd1\xdf\x4e\xdf\xa8\xcc\xc2\x60\x0e\x07\x5f\x4d\xfd\x98\xc5\x9c\xcf\xc9\x72\xf7\x61\xf4\x0b\xcd\xac\x39\xca\x24\x21\xc0\x9c\x90\x4a\xcc\x69\x4f\x28\x73\x7a\x7c\x08\x35\x77\x53\x4a\x38\x52\x9f\x43\xea\xe1\xc2\x2c\xe5\xb7\xcb\x59\xd1\xe4\x84\x0d\xf2\x71\x53\x8b\xa4\x14\x65\x1c\x30\x1f\x68\x04\x19\xc4\x84\x56\x31\xb7\x77\x09\x8c\x67\x02\x8b\x04\x94\xa4\x13\x96\x66\x74\x66\xe3\x5a\xc0\x2b\xa9\x3f\xca\x1c\x0b\x99\x86\x5e\x9f\x32\x20\x7c\x56\xc6\xc2\x65\x04\xf1\x83\xcc\x63\xda\xc4\xf0\x16\x11\x1f\x98\xca\xf1\xe5\x46\xd6\x9c\x35\xf8\x8c\x4f\xd0\x6b\x62\xfa\x6f\x3c\x4a\x55\xf4\x61\x82\x23\x21\x13\xab\x9e\x91\xa0\xe5\x4c\x33\x16\xbb\x87\x84\xcc\x85\xd0\x26\x67\x3f\x9f\xb4\xd5\x26\x51\x58\xfc\x42\x8f\xfd\x69\x98\xf3\x69\x4a\x61\x58\x65\x50\xb0\x98\xf2\x03\xb9\xe7\x31\xe6\x1a\xb0\x50\x38\x4e\x93\x8f\x86\xaa\xff\x29\x41\xf1\xd3\x8e\x11\x16\xbf\x2c\x28\x62\x6a\xf3\x69\x27\x8c\x40\xbd\xe8\x7e\xb4\xd4\x08\x2f\x95\x7a\xab\x09\x48\x32\x45\xfe\xac\x36\x31\x0c\x9c\xec\xd3\xce\x8d\x94\xff\x06\xd1\xd2\xc3\x52\xf0\x60\x17\x75\x1f\x83\xdd\x73\xb1\x47\xcb\xfb\xf5\x21\x28\x6f\x0a\xc2\x3a\xb1\x04\x77\xb2\x8c\x91\x77\xb3\xca\x25\xc8\x70\x21\x8a\xc7\x36\xde\x3f\x31\xba\x92\x51\xfc\x20\x4e\x60\xcf\x06\xda\xa8\x09\xde\x16\x61\x02\x2a\x38\xef\xe5\x2e\x43\xad\x6f\xe6\xdc\x50\xf5\x01\x83\x79\xb3\x38\xf0\x68\xe4\x89\xc2\x50\x84\x53\xd3\x9c\xc2\x25\xee\x61\xdd\x31\x75\xe2\x07\x20\x16\xae\xac\xa5\x25\x33\x63\x47\x2a\x16\x77\x84\xc2\x6e\x19\x3c\x05\x07\x26\x02\xa2\x39\x61\x33\x9e\x40\x78\xee\x82\x43\x4a\x6e\x88\x35\x69\x22\x8a\x4f\xd8\x18\x46\xfe\x9d\x1f\x00\x65\x15\x39\x14\x75\xa5\x08\xc9\xc1\xa3\x4a\x20\xcb\x29\x66\x69\x46\xbf\x77\x17\xc3\x0a\xae\xfb\x82\x6b\xdc\x4c\x59\x0c\x6e\xe4\xbc\xdb\xd5\x5e\xa4\x05\xb8\xc2\xcd\x1b\x05\xdc\x31\xfa\xfd\x5c\x69\x97\xb4\x49\x71\x24\x08\x33\x63\x96\x24\xfa\xb4\x93\xc9\x74\x35\x8d\xc2\x7b\xec\xc6\xd9\xb1\xcc\x59\x5c\x33\x2d\xf7\xdc\xb1\x74\xe5\x86\x5c\x7e\x9e\x53\xd9\xb8\xa7\x8f\xd3\xd0\x39\x07\x30\x66\x8a\x5e\x09\x3b\xd9\x09\x44\xdb\x39\x4c\x46\x1f\x36\x3b\xd9\xc6\x1f\xcf\x3e\x14\xfc\xea\x24\x48\xa9\xce\x50\x41\xe0\x3b\x49\xa0\xde\xc1\x4e\xc5\xe6\x49\x4c\x13\xb1\xb5\xcd\x68\x81\x81\x71\xaa\xe2\x44\x10\xee\x6f\x52\x46\x33\xbc\xf5\x23\x34\x5c\x2c\x4d\x09\x71\x5c\xac\xc5\x6f\x96\x8b\x99\xef\xb9\x09\x9e\xe4\xea\x30\xac\x43\xa8\x18\x4a\xfe\x33\x9b\x85\xf7\x98\x83\xce\x79\x32\x0d\x27\xb0\x31\x8b\xbd\xc8\x1f\x93\xeb\x52\x75\xaf\xb1\x77\x99\xf0\x68\x06\x43\x60\xf5\xb6\xd8\x0f\xb0\xe9\x83\x9d\xe8\x09\x5c\xa5\xd1\x84\x9a\x3e\xfc\xc7\x3f\x38\xbf\x85\x0c\xe5\x23\xdb\x65\x97\x3e\x90\x87\xd0\xf1\x03\xeb\x7d\xff\x97\xbe\x78\x62\x8c\xe8\x45\xf0\xf1\x3d\x76\xa6\xf7\x81\xb4\x7c\x5d\x7c\x3c\xbb\xbc\x6c\x03\x31\x22\x75\x1a\xce\x17\x10\x3c\x22\x76\x32\xbb\xe3\xe3\xc8\x65\x36\x7b\x07\x1a\xc1\x02\x0f\x6c\x90\xb1\x4c\x1a\x30\x3d\xe6\xd2\xf3\xb1\x2a\x06\x2b\x1a\x66\x77\x2f\xdb\xec\xcd\x87\xf3\x57\xac\xd7\x6d\xf7\xba\xdd\x97\x9d\x7d\xfb\xf0\xa0\x6b\xf7\x7a\x2f\xba\x2f\xed\xef\x47\xbd\x7d\xc2\xcf\x4e\x3e\x83\xce\x69\xf1\x74\x93\x57\x6c\x9a\x24\x8b\x57\x9d\xce\xfd\xfd\x7d\x1b\x82\x2d\x77\x23\x6f\xda\x86\xf5\xca\xf5\xda\xcb\x5f\x3a\x0b\xd0\x94\x3b\xeb\xdc\x82\x8d\xe2\xce\x41\x6f\xff\xe0\x2f\x2f\x3a\x52\x9a\x91\x92\x66\xa4\xa5\x19\xfd\x7b\xbf\x8b\x02\x8d\x84\x40\x8b\xc9\x2d\x2a\x4f\x2f\x3c\x8f\xd4\x69\x26\xfc\x0e\xb6\x08\xb9\x42\x0d\x24\x1c\x33\x59\x3e\xf2\xf1\x1e\x03\x88\x88\xb9\x74\x32\xab\xf6\x9c\xa5\x5a\x47\xa5\x93\x3d\xac\x33\xff\x52\xd9\xa1\x28\x26\xe1\x7c\xd2\x61\xa0\xf6\x14\x68\x01\x5d\xb1\xea\x57\xae\x1b\x4b\x1a\x46\xbc\x13\xc1\x48\x90\xc2\x66\x51\x54\x12\x75\x16\xba\xe8\x3b\x3a\x1d\x34\x93\x03\x1c\x6b\x16\x36\x84\x92\x00\x5a\xe7\x95\xd9\x08\x51\x9d\x00\x04\x6a\x10\x44\x9f\xbe\xe6\xba\x50\x1e\x40\xb0\x4e\x47\x9d\x25\x43\xf0\x62\xa5\xce\xa9\x44\xb8\x9f\x47\x28\x36\xd2\x5f\x8a\xec\xa0\xc4\x5d\xf4\x34\xde\x64\xf9\xfa\x2c\xa0\x72\x10\x44\xd1\x09\x04\x0d\xc4\x45\xee\x6d\xe8\x1f\xe6\x8c\x48\x90\xb0\x4a\x8d\xed\xce\x91\x25\xf2\x31\x79\xae\x49\xe7\x67\xc6\xfa\x9d\x5f\xce\xcd\x1c\x2a\x6f\xb8\x82\xfa\xe5\x72\x92\xa1\x11\xf9\x7c\x6e\x4d\xc9\x75\x0b\x50\xe9\x3f\x66\xd9\xca\x28\x72\xe6\x4b\xfb\xd5\xae\x5a\x2c\x85\x55\x3a\x6c\x61\x50\xe6\xb6\x58\xa0\x7b\x9b\x4d\xb8\x14\x43\x70\x20\x1c\x57\x9e\x3e\xcb\x4f\x47\x55\x31\xef\xe4\xa0\x14\x87\xc5\xb1\xdf\x0d\x44\x39\xdb\x2c\x2c\x0f\x8b\xf3\xdb\x64\x28\xf7\x64\x82\xea\x6c\xe6\x2a\x18\xab\xc7\x11\x84\xf4\x99\xba\xd3\x3a\x32\x0a\xd7\x52\xb7\x24\xc8\x7b\x58\xbf\x3e\x60\x3a\x0a\x0b\x34\x40\xc6\x23\x61\x14\x00\x13\x97\xc5\xc4\xf0\x16\xd7\x93\x4b\xcc\xaa\x62\x0e\x3a\x9f\xd0\x65\x12\x12\x76\x1d\x88\xd4\xf6\x0d\xf0\x89\xec\x81\x1e\x3e\xca\x56\x44\x2d\x5b\xeb\xab\xea\x4c\xd1\xd1\xf9\x0f\x22\x23\x27\x13\xcc\x19\x1b\x24\xa1\x17\x05\x50\xdc\x43\xea\x76\x22\xd9\xd3\x24\xaf\xc2\xf0\x3d\xec\xf9\xa0\x27\xee\x49\x44\x52\x0c\x94\x58\x50\xc3\x84\x05\xf6\x46\x0a\x05\xe5\x2d\x6a\xb0\x16\x3f\xcb\xd0\x04\xb8\xe2\xaf\x9f\xe7\x4f\x8f\x2f\x32\x98\x75\xd4\x73\xd8\x2f\x6b\x45\x5f\xe2\x03\x1a\x85\x82\xb4\x22\x8e\xfe\x3e\x14\xb9\xb6\x72\xc3\xa8\x69\xbd\x96\xae\x50\xb5\x22\x19\xf6\xcf\xef\x94\x40\x36\xd3\x94\x24\x66\x66\xa3\x4a\x07\x52\xde\x43\x47\xda\x71\x76\xc2\x46\x82\xbc\x4e\xb8\x8c\x38\x8d\xae\x6b\xe3\xe2\xb6\xd2\x3d\xf3\xd0\xaa\x54\xae\x42\x0c\x00\x56\x44\x16\x6c\x55\x23\x61\x27\x69\x22\xb0\xd8\x05\x8f\xe6\xcb\x44\xac\xd6\x42\x9e\xb5\x36\x10\xf1\x01\xd8\x7e\x84\x49\x69\x41\xaa\x11\xf0\xb7\x38\xeb\xe8\x15\x02\xc7\x48\x97\x2e\x17\xdc\xf3\xe5\x71\x55\x31\x0d\x65\x64\xd5\x6b\x3d\x3d\x5e\xb0\x98\x78\xee\x86\xe7\xfe\x45\xb3\x78\xd5\x40\xb6\x3e\xac\x75\xfb\xc3\xba\xaa\x75\x25\x73\x84\x16\x56\xbe\xcf\xae\xd5\xed\x60\xd0\xc5\xc2\xa3\xf9\x54\x9a\xea\x8c\x17\xb4\x6d\x4a\xf0\x0c\xa1\xeb\xac\xc5\x49\x94\x53\x0a\x8c\x09\xac\xb6\xf2\xb1\x32\x32\x7b\xb2\x80\x45\x46\x66\x75\xa4\x15\x48\x6d\x62\x48\xbe\x13\x6f\x8a\x39\x9a\x78\xd2\x02\x79\x78\xe0\x7b\xe2\xa9\x8a\x16\xeb\x41\xd4\xe0\x25\x5b\x58\xf0\x4d\x35\x53\xde\xc8\x9a\x98\xbd\x3c\xd7\x7b\x3b\xc2\x6a\xa8\xbc\xb5\x54\xfb\xda\x60\xbf\xd1\xf0\x18\xb7\xc7\xec\xb6\xd9\x69\x8c\xd9\xc4\x76\x19\x6f\x36\xad\x94\x7a\x6c\x8f\x4d\x5a\x6e\xbe\x6b\xbd\x66\xe5\x0a\xb2\x75\x8b\xa5\xd5\xdd\xdd\xaa\xf6\xd4\x79\xba\x14\x5b\x30\x7e\xdb\x99\x54\x72\xd9\x34\x6b\xbe\x8a\x91\x6a\xf6\x04\x73\x3b\x90\x34\x41\xce\x0d\xeb\x61\x2c\xe2\xa3\x83\x4f\xa4\xc0\xaa\x09\x2d\x56\x60\xd0\x00\xf6\x55\x38\x9b\xf3\x91\x1a\xb3\x81\x61\xe3\x39\xc6\x85\x9d\x5c\x79\xba\xfe\x7d\x19\x77\x74\x12\x4c\xe8\x8d\x8f\x9d\x52\x51\x7b\x03\x24\x00\xaa\xcd\x83\x03\x7b\x18\x7c\x60\x8b\xef\x83\x5c\xf1\x38\x89\xc5\xbb\x4b\xfa\x19\xda\x99\x78\x24\x74\xb6\x72\xf1\x27\xce\x8e\xbb\x9c\x5d\xba\x73\x8e\x10\x43\xd2\x1e\x7a\x6b\x2a\x8e\xc6\xba\xad\x31\xb8\xad\x3c\x5d\x3a\x6c\xc0\x6d\xf3\x7a\x35\x18\xa4\xa0\x31\xe3\x99\x56\x0e\x3e\x7b\x3b\xc0\xc6\xc7\x02\xa9\x03\xe0\xa2\x35\xd7\xa8\x91\xa6\xb8\x1d\x5d\xd1\xd3\x0a\xc8\xe2\x6a\xf1\x82\x39\x7b\x12\x6d\xbf\xd5\x67\x2b\x1b\x40\x00\x35\xb5\xb7\x4a\xed\x1a\x7b\x7f\x30\x80\x86\x56\x0a\xff\x1a\x2b\xbb\xdf\xc4\xdf\x94\x7e\xc1\xbc\x06\xa9\xc6\x5e\x49\x88\x06\x38\xbe\x2d\x98\x1e\x03\x7b\x36\x3b\x00\x55\x7b\x0e\x78\x52\x9f\xb9\x4d\x2d\x15\x0e\x6b\xd5\x0f\xd3\x9c\xb8\x7b\x42\xc8\xf1\xde\x0a\x9f\xd1\xc8\xd2\x01\xca\x2b\x0f\xd1\x3f\x89\x0d\x40\x81\xbf\x93\x2d\xd9\x29\x0d\x87\xf1\x62\x49\x54\xfe\xbe\x72\x8e\x6a\xf9\x9c\x10\x9f\x92\x4d\x58\xc3\xce\xc8\xbb\x86\x06\xd7\xec\x87\x93\xcb\xf3\x53\x76\x7e\xf9\xe1\xdd\xc9\xd5\xf9\x87\x1f\x8d\xba\xa2\x38\x50\xe3\x06\x7e\x92\x8a\xc7\xe8\x31\x33\x04\x2e\x89\xdb\xcd\x34\xb6\x32\x74\x54\x0f\x30\x2e\x00\x8c\x0b\x00\xe6\xd9\x3f\xac\xcc\x4d\xc4\x2c\xaa\x63\xc2\xa5\x77\x60\xda\x87\x86\xe1\x40\x0d\xd0\xc0\xc4\x36\xc3\xdd\x80\x5b\xd6\x21\x70\x4b\x0f\x14\x3a\x13\xff\xb3\x1f\x6f\x20\x25\xd8\xef\xb8\x86\x00\x7b\x6e\x95\x08\x25\x20\x37\x27\x75\x67\x3b\x20\xbb\x31\xee\xcc\x0d\x87\x9c\x93\x81\xc7\x5b\x29\x59\x78\x95\xd7\xec\xcc\x2b\xe1\xbd\x5a\x9d\x53\x71\x44\x6e\x0a\x7d\x52\x8b\x55\x7e\x39\x69\x63\x14\x71\x0b\x01\xc4\x35\x66\x37\x7a\x2a\x90\x77\x37\xb1\x6f\xbf\x1e\x63\x11\xdd\x9c\x8a\xab\x6b\x77\x30\x18\xff\xf9\x31\x0c\x78\xe9\x23\x2f\x8d\x43\x96\xb6\xf0\x34\x68\xea\x34\x73\x6c\x35\x0e\x75\xfb\x60\xd0\xaf\x67\xd0\x85\xb5\x6d\x0c\xc1\x0f\x7e\x0d\x47\x70\xaf\x21\xda\xc1\xa4\xb7\xdc\x1a\x38\x93\x52\xaf\xd3\x07\x1a\x76\xcf\xfa\x32\xc3\xbd\x62\x57\x58\x3d\xbd\xc5\x07\x59\xb4\x26\x99\x6f\xde\x54\x4a\x0e\x21\x38\x63\x95\xd4\xb8\x72\x36\xaf\x24\x08\xf3\xfd\x3a\xcf\xf4\xf7\xcd\x4d\x30\xf9\xb1\x2f\x50\xc0\xf3\x2f\x10\xf0\x31\x51\xbe\x6e\x81\xb4\x5f\x57\x2f\xe5\x60\x91\xdc\x5b\x42\xf4\xa6\xcf\x61\xe7\xc0\x69\x5a\xd5\xef\xf0\x18\x84\x0f\xce\xae\x1b\xfd\x15\xc8\x7b\xf8\x05\x84\x4b\x34\x9d\xc7\x09\x9e\xa1\x94\xf5\xc4\xf2\xe3\xba\x5f\xc7\xd4\x96\xdc\x94\x5c\xb9\x38\xf5\xda\x07\x2f\x5e\xec\x33\x61\xbc\x0c\x16\x42\x7b\x66\xb1\x7a\x9b\x57\x73\x59\x7e\xab\x6b\x5f\xe8\x50\xba\xc7\xfe\x16\xcc\xef\x5f\xd3\xba\x95\x6e\x0e\x1c\xdb\xd2\xef\xe7\xe8\xf7\xb7\xa0\xdf\xff\x46\xf4\x25\x5d\xc8\x30\xb0\xa9\x25\xc8\x6f\xe1\xbb\x0d\x4c\xc7\xfe\x30\x16\xf6\xb7\x63\x61\xbf\x86\x85\x7c\xbc\x98\x85\x77\x1b\xc2\x42\xdd\xdb\x5f\x8d\x71\x2b\xb5\x7f\x6b\xda\xa9\x65\x5f\xf8\xc7\xe7\xf3\x21\xdd\x3b\xc7\x03\x7c\x01\x2c\x5b\x43\x5a\xe3\xc1\x00\x39\x5e\xb5\x52\xa7\xf5\xdb\x17\x4c\x99\xec\xbd\xab\xb3\xeb\x54\xbf\x44\x54\x3b\x7f\x76\x77\x25\x3b\xa9\x64\xc5\xaa\x47\xfd\x55\x78\xd7\xa2\x3a\xaa\x04\x45\x19\x11\xd9\xca\x29\xc7\xff\xbc\xba\x4f\xc6\xb5\xb9\x22\xae\x80\x7d\xb5\x06\xe2\x85\xd6\x23\xbe\x42\x87\x51\x19\x17\xd0\x9a\x64\x0d\x71\x03\x07\x4f\x36\xa5\x3d\x56\x0a\xf6\xec\xc9\xe3\x8a\xd8\xa8\x51\x7b\xdc\x02\x0f\x7d\x1a\xba\x6c\xf9\x44\xf5\x81\x8c\x2d\x6f\x30\x98\x6c\xd2\xe0\x69\xb8\x49\x83\x9b\xa4\xc4\xd7\x39\xfa\xdb\xc9\xb8\x01\x53\xeb\x29\x98\xb4\x78\x08\x51\x67\x42\xb1\xa5\x0d\x40\x06\x3c\x90\x5f\x7a\x7f\xe7\x69\xf6\x94\xea\x97\x4c\xa6\x8e\x2d\x99\xec\x3b\x79\x7e\xfb\x95\x6e\xfe\x05\x56\xcf\x4c\xfe\x67\xd2\x2c\xc9\xd9\xfa\xa3\x69\xfe\x31\x04\x21\x90\xc8\x72\x8b\xe9\x29\xb9\x58\xa2\x47\x54\x79\x8d\x17\xce\xc7\x7e\x20\x9e\xaf\xc9\x10\x80\x0f\x6d\x05\xb3\x1b\xbc\x07\xfc\x38\xcd\x4f\x3e\x29\x1f\xce\xc1\x47\x93\xd8\xc7\xac\x22\x12\x7e\x53\x2f\x0d\x7c\x45\x28\x05\xc4\xf2\xad\xa2\xdd\x5d\x8a\xa6\xaf\x07\xdd\xe6\xef\xbf\xcb\xb6\x63\x1a\x72\x8c\xd7\xbf\xff\xae\xc6\xe3\x9d\x1c\x7c\x0c\x83\x9b\x5f\x63\xbb\xff\x17\xb6\xca\x16\x36\xb8\xd9\xce\xc8\xae\x3e\x3a\xe6\x07\x9f\xe5\x23\x6e\x97\x5d\xbc\x79\x9b\x37\x30\x84\x8e\xe0\x8e\x8c\xf4\x4c\x6d\xf8\x7a\x6d\xc8\x0f\x0f\xfb\x7a\xaf\xa7\xee\xd7\xcf\x2c\x26\x9e\xf8\x0c\x01\xcd\xf0\x47\xa0\xed\xce\xde\xf8\xb1\xa8\x0c\xa2\xca\xba\x58\xc9\xc7\xcc\x01\x53\x88\x76\x0f\xaf\x9e\x39\x56\xae\x02\x72\xf1\xe1\xdd\xff\xfc\xf8\xe1\xfd\xf9\xc9\xbb\xcb\x0d\x9e\x06\xfb\x6c\x5b\xd5\x6e\xec\x42\xbd\x49\xf6\xb7\x6a\xfa\xf3\x85\x26\x30\xd2\x78\x6f\x65\x7b\x75\x9e\xa9\x4a\x1b\x72\x28\x5b\xd9\xb7\x61\x08\x1a\x86\xf1\x55\x78\x74\x67\xbd\x9b\xdb\x0d\x48\xba\x88\x37\xe4\x49\x6e\xd5\x15\xdb\xe5\x9e\x32\xbf\xb5\xbc\x0a\xf4\x1a\x85\x40\x99\xdd\x9a\xd5\x80\x0c\x8d\xa9\xfb\xd3\x0f\xef\xde\x9d\x9d\xaa\xba\x54\x0d\x81\x03\x23\x23\x5f\xb5\x7a\xb0\xf6\xac\x5a\x9b\x77\x53\xbd\x97\x9d\x9e\x51\x27\x3a\x6c\x1c\xac\x20\x8f\x6c\x1d\xb0\xc6\x0b\x06\x18\x60\x37\xf6\x12\x37\x74\xab\x16\x34\xf6\x0b\x5c\x6d\xd8\x95\xd3\x9b\x86\xfd\x72\x1e\x7a\x01\x6e\xed\x8e\xe5\x63\x03\xe3\x18\x15\x15\xd5\xd0\xcb\xc5\x11\x1c\x5f\x9f\xa9\x6c\xd7\x48\x9b\x27\x78\x90\x27\x68\x52\x7c\x1b\x85\x73\x3c\x1e\xb2\x48\x1f\x45\x25\x1f\xae\x3c\xba\x1f\xfc\x46\xe3\x1e\x32\xb5\x23\xcc\xe6\x4a\xce\x93\x4b\x8a\x4f\x00\xc8\xb6\x91\xac\xc5\x0c\x03\x3e\x85\x46\x7f\x6f\x6b\x2a\xa2\xc6\x84\x5f\x92\x10\x00\x0b\xbf\xb6\x5e\x8e\x44\xf6\x33\x22\xa2\x66\x25\xc1\xd2\xcd\x95\x2f\x37\x5f\xfc\xdc\x4e\x69\x76\xcf\xac\x87\x01\xd4\x5e\xba\x15\x5c\xef\x85\xc1\x64\x5f\x69\xf1\x60\x3b\x2d\xf6\x5f\x16\x24\x5c\xc9\xaf\x05\x6d\x03\x7c\x50\x45\x78\x4b\xf3\x19\xc2\xda\x4f\x35\x7d\xbf\xb3\x5f\xa0\xbc\xff\xa8\x07\x7c\x39\x64\xd9\x43\x41\x3d\x4f\x63\xd8\xce\xd6\x44\xa3\x86\x67\x1f\x10\x9a\xfe\x9f\x86\xa2\x97\xad\xcc\x25\xed\xff\x2b\xa1\x48\xaf\xf7\xcd\x00\x03\xf3\x19\x5a\xb6\x23\x6e\x3c\x4f\xb6\x7b\x4e\x01\xcb\xd9\xf5\xb6\xe1\x4d\x9b\xe2\xa5\xf9\xec\xa1\x61\xce\xa0\x6d\x3d\x43\x7e\x1a\xcb\xa8\x26\x89\xd9\xbb\x75\xd8\xe8\x0b\x47\x2c\x60\xe8\x6f\x8f\xa1\xd1\x45\xe1\x7b\x7b\xe7\xc6\x43\x30\x6c\xa2\x96\x82\xf7\x6f\x69\xe3\x74\xef\xec\xba\x81\x1f\xdb\xda\x4b\x9b\xc5\xa8\x76\x76\xbd\x5d\x5c\xeb\x56\xf9\xc9\xc1\x1e\xa8\x19\x59\xb1\xe5\xfc\xdb\x4e\xcd\x0d\xf7\x5a\x72\x73\xdd\x18\xd3\x65\x21\xdf\x1b\x93\x17\x3d\x91\x2f\x44\x6a\x2a\x3e\x63\x0e\x51\x3e\x81\xbd\x9a\xc2\x9c\x32\xc2\x1e\x2c\x57\x2d\x61\x93\xbe\xb8\xdd\x13\xdf\x05\x90\xf9\xff\x50\xdc\xe9\x5d\x80\x93\xb7\xda\xb6\x6e\x9d\x9b\x56\x29\xc9\x26\xc5\x49\xaf\xfb\x4d\xd4\x5a\x07\x5b\xd4\x84\xdb\x4e\xb4\x3f\x04\xe9\x06\x7d\x99\x0a\xda\x13\xf5\x4b\xb2\xb7\xfc\x46\x96\xbc\xa3\x9e\x5e\x77\x2b\x15\xda\x3d\xc4\xbb\xbf\xa5\x12\xff\x54\xd6\x88\x33\x7b\x0b\xd6\x28\x99\x59\xa9\x6f\xfc\x31\x71\x6f\x7c\x1c\x70\xaf\xd8\x97\x7d\x1c\x50\x77\xd5\x45\xdc\xcd\xb9\xd0\xe6\x4f\x02\xd1\x1c\xd9\x4b\xe9\x9b\x17\x5b\xb8\xb5\x9a\x78\x1b\xbf\xfc\xf3\x44\x9c\x99\x9d\x53\x82\x40\x14\x2b\x67\xbb\x30\x27\x27\xbb\x9c\xea\x32\x0e\xeb\x18\xba\xa9\x53\x80\x6e\x82\x2c\xf4\x65\x6c\x62\x46\xd9\x50\xeb\x65\xb3\x1c\x91\x51\xd8\x7f\x04\xe1\x7d\x80\x47\x11\x97\xd1\x86\x73\x2a\x90\x00\x9d\xcb\xf7\x39\xe1\x0a\xfe\xa5\x55\xf5\x83\x31\xe8\xa3\xd5\x3f\x6f\xa5\x35\xc5\x03\xf8\x59\x1f\xed\xec\x90\x21\xf0\x15\x17\xc4\x2f\x40\x6f\x83\xfc\x37\x1a\x12\xe8\x91\xb5\x05\x7c\x71\x12\xee\x7c\x8b\x45\x4b\x71\xfe\x16\xc1\x44\xe3\x42\x7e\xde\x36\x38\x0d\xa3\x88\x7b\xd0\xea\xc7\xf2\x52\x7e\xdd\xc1\x44\xc4\x06\xec\x23\x77\x27\x78\x78\x08\x08\xca\x23\x72\x85\x01\xf2\xd5\x88\x3c\xfd\x86\xfc\x3c\x9f\x78\x1f\xde\x52\x67\xcf\x9a\xbb\xb9\x43\xc8\xf2\x90\xa0\x09\xaa\x8e\xb2\x0a\x09\x18\x7d\x1d\x18\x6f\x15\xbf\x4c\x7c\xe0\x17\x9b\x4c\xe1\xf0\xa5\x25\x5f\x7d\x26\x91\xf4\xd2\xd0\x86\x21\xf4\xf8\x76\x92\x41\x66\x48\x00\xfa\xd0\x1f\x53\x47\x0a\x85\x6e\x69\xa4\x3c\x4a\x2a\xaf\xf1\xac\x26\x1e\x65\xba\xf2\xe7\xb0\x9b\xcd\xc0\xb4\xf6\xc4\xc7\x72\xd5\x2b\x2c\x03\x05\xb7\x6f\xd2\x10\x52\x3f\x54\xa3\xb7\x0c\x10\x4b\xe3\x92\x57\x34\x36\xb3\x94\x81\xf3\xfc\x76\xa8\xdb\xd5\xb1\x99\xdc\x19\xad\xf1\xcc\xcd\x5c\xd3\x24\x01\x1d\x1b\xc5\xcd\x3e\xbd\xe8\xd4\xd2\x53\x66\x69\xb5\xe4\x90\xa6\x34\x8e\xf8\xa2\x82\x30\xe2\xf1\x80\x55\x59\xda\xaa\xd2\x8b\x6f\x15\xed\x84\x8d\x8e\x63\x8a\x9c\x37\x3c\xf5\x1f\xe5\xac\xed\x4b\x6b\xfb\x2d\xe9\x3d\x39\xaf\x53\x3c\x43\x23\x3a\x5b\x65\xbc\x33\xbf\xb1\x5d\x73\xb6\x8d\xbe\x88\xed\xa9\xbe\xd8\xb9\xc1\xaf\x1d\xe3\xeb\x20\xf8\x42\xeb\x0d\x76\xdf\xb0\xfb\xa9\xef\x4d\xf1\x45\x47\x2f\xc3\x81\x5f\xe7\xb9\xc9\xe0\xe8\xdb\xdc\xc6\x41\xbe\x4a\x6a\xa5\x83\x7d\xf5\x27\xf5\xf0\xc4\x28\x4d\x00\xbe\x69\x14\x55\x30\x68\xd8\x7f\x07\xf2\x9b\x0a\x75\xc3\xab\x5b\xf1\xe5\xf9\x31\x7e\x4c\xd5\x53\x2f\xb4\xd7\x8c\x83\x11\xf8\x49\x8a\x31\xa8\xfa\xff\x02\x00\x00\xff\xff\x17\x63\x1f\xde\xbe\x5c\x00\x00") func resourcesSolveMBytes() ([]byte, error) { return bindataRead( @@ -1161,7 +1161,7 @@ func resourcesSolveM() (*asset, error) { return nil, err } - info := bindataFileInfo{name: "resources/solve.m", size: 20433, mode: os.FileMode(420), modTime: time.Unix(1523142050, 0)} + info := bindataFileInfo{name: "resources/solve.m", size: 23742, mode: os.FileMode(420), modTime: time.Unix(1524345277, 0)} a := &asset{bytes: bytes, info: info} return a, nil } diff --git a/expreduce/resources/solve.m b/expreduce/resources/solve.m index 0214e01..f909e7d 100644 --- a/expreduce/resources/solve.m +++ b/expreduce/resources/solve.m @@ -394,6 +394,50 @@ ESameTest[{}, Solve[x^(1/2) == -2, x]], (* Probably needs solution checking for this to work. *) ESameTest[{}, Solve[x^(1/4) == -2, x]], + + (* From Sympy. *) + ESameTest[{}, Solve[False, x]], + ESameTest[{}, Solve[False, x]], + ESameTest[{}, Solve[False, x]], + ESameTest[{{}}, Solve[{}, x]], + ESameTest[{{x -> 0}}, Solve[x == 0, x]], + ESameTest[{{x -> 0}}, Solve[x == 0, x]], + ESameTest[{}, Solve[1 + x^(1/2) == 0, x]], + ESameTest[{{x -> 0}}, Solve[2*x == 0, x]], + ESameTest[{}, Solve[x^2 + -Pi == 0, pi]], + ESameTest[{{y -> 3}}, Solve[-3 + y == 0, y]], + ESameTest[{{x -> -a}}, Solve[a + x == 0, x]], + ESameTest[{{x -> -1}}, Solve[y + x*y == 0, x]], + ESameTest[{{x -> 16}}, Solve[-2 + x^(1/4) == 0, x]], + ESameTest[{{x -> 27}}, Solve[-3 + x^(1/3) == 0, x]], + ESameTest[{{x -> 4}}, Solve[-2 + x^(1/2) == 0, x]], + ESameTest[{{x -> 1}}, Solve[-1 + x^(1/2) == 0, x]], + ESameTest[{{x -> 2/3}}, Solve[-2 + 3*x == 0, x]], + ESameTest[{{x -> 2/3}}, Solve[-2 + 3*x == 0, x]], + ESameTest[{}, Solve[1 + x^(1/3) + x^(1/2) == 0, x]], + ESameTest[{{x -> -2}, {x -> 2}}, Solve[-4 + x^2 == 0, x]], + ESameTest[{{x -> -2}, {x -> 2}}, Solve[-4 + x^2 == 0, x]], + ESameTest[{{x -> -1}, {x -> 1}}, Solve[-1 + x^2 == 0, x]], + ESameTest[{{x -> -1}, {x -> 1}}, Solve[-1 + x^2 == 0, x]], + ESameTest[{{x -> -1}, {x -> 1}}, Solve[-1 + x^2 == 0, x]], + ESameTest[{{x -> y^3}}, Solve[x + -y^3 == 0, x]], + ESameTest[{{x -> -ProductLog[-1]}}, Solve[x + -E^x == 0, x]], + ESameTest[{{x -> 0}, {x -> 27}}, Solve[x*(-3 + x^(1/3)) == 0, x]], + ESameTest[{{x -> -2^(1/4)}}, Solve[2^(1/4) + x == 0, x]], + ESameTest[{{x -> -2^(1/2)}}, Solve[2^(1/2) + x == 0, x]], + ESameTest[{{x -> (0 + -1*I)}, {x -> (0 + 1*I)}}, Solve[1 + x^2 == 0, x]], + ESameTest[{{x -> -y*E^((-1)*y)}}, Solve[y + x*E^y == 0, x]], + ESameTest[{{x -> 0}, {x -> 1}}, Solve[4*x*(1 + -x^(1/2)) == 0, x]], + ESameTest[{{x -> (a^(-1)*y)^(b^(-1))}}, Solve[a*x^b + -y == 0, x]], + ESameTest[{{x -> 0}, {x -> a^(-2)}}, Solve[4*x*(1 + -a*x^(1/2)) == 0, x]], + ESameTest[{{x -> ConditionalExpression[(0 + 1*I)*Pi + (0 + 2*I)*Pi*C[1], Element[C[1], Integers]]}}, Solve[1 + E^x == 0, x]], + ESameTest[{{x -> y^3}}, Solve[y^(-2)*(1 + -y^2)^(-1/2)*(x + -y^3) == 0, x]], + ESameTest[{{x -> y^3}}, Solve[y^(-2)*(1 + -y^2)^(-1/2)*(x + -y^3) == 0, x]], + ESameTest[{{x -> ConditionalExpression[(0 + 2*I)*Pi*C[1]*Log[3]^(-1) + Log[3]^(-1)*Log[10], Element[C[1], Integers]]}}, Solve[-10 + 3^x == 0, x]], + ESameTest[{{x -> ConditionalExpression[(0 + 2*I)*Pi*C[1]*Log[3]^(-1) + Log[3]^(-1)*Log[10], Element[C[1], Integers]]}}, Solve[10 + -3^x == 0, x]], + ESameTest[{{y -> x^(1/3)}, {y -> -(-1)^(1/3)*x^(1/3)}, {y -> (-1)^(2/3)*x^(1/3)}}, Solve[x + -y^3 == 0, y]], + ESameTest[{{x -> ConditionalExpression[-ArcCos[(1/2)*y] + 2*Pi*C[1], Element[C[1], Integers]]}, {x -> ConditionalExpression[ArcCos[(1/2)*y] + 2*Pi*C[1], Element[C[1], Integers]]}}, Solve[-y + 2*Cos[x] == 0, x]], + ESameTest[{{x -> -(1 + -a^(1/2))^(1/2)}, {x -> (1 + -a^(1/2))^(1/2)}, {x -> -(1 + a^(1/2))^(1/2)}, {x -> (1 + a^(1/2))^(1/2)}}, Solve[-a + (-1 + x^2)^2 == 0, x]], ], EKnownFailures[ ESameTest[{{x->-2 I},{x->-2 I-2 y}}//normSol, Solve[Abs[x+2I+y]==y,x]//normSol], ], @@ -412,6 +456,9 @@ res = Solve[testp[[1]], testp[[2]]] // Timing; isCorrect = res[[2]] === testp[[3]]; Print[{testp[[1]], testp[[2]], testp[[3]], res[[2]], res[[1]], isCorrect}]; + If[isCorrect, Print[ + blaESameTest[testp[[3]], blaSolve[testp[[1]], testp[[2]]]] + ]]; If[isCorrect, nCorrect++]; );