SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C# l|  VectorSpace:threads=2elapsed=52.860cpu=97.160gc=3.676factor=1.847zXZִF! d ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T{RL|q\Y@[F ~+IZIw4+FA vkP#Ƣښ7+2l19m[\ld0}a~|a'3a(wU,YHgɋ?$qVWcۘ8o罧&Q r3p X mieSvSfif*@7 K'ZgP55:7vm}ՙzv)Ev&` zAm]"Ip†f*!*KhcF̀_aӄ:9V9=|MӖo Ko?#"9d4#.j:e64±ˆ>i;۲O~q,+

Jn"Է[`JT_mՌpAFT'ĺN5CcXa %!)sP!(V3""DFRR%|"c_dVNtC:tb(0+J>ָڱ~gYв !p`%Fɞl|RՋ'Q+ŸcHXW~A:~l>_|" p8k{EɊUGޅ{35ܲ;_n(LJ-}LX=,5b'Gb@X\z_U5bx=.%Yd3& KJt 9e"o+FW74ѱ c)b? ^SmP0JR})^)Z,T9]aA3ј}ko*>GH᪎J6F.}D9`\LW]hw>>CWd).ck'g:Q \eY$祚+?L2sݯ7vW_YƠ7 anr}xց~2;HYˎO=+PX0j6Z 8fY^"g6u6,ɪ]s۷ ƹ$pgco&w? 8Hdy c=~bBJܻܭʝI8RڇӪ~j_rW~LaH\*oUv:ďT 1xŁhݦU2% N1Y9,`M^ T[4|UlketA: ?c<$OcTsV7nЫr*HzWb4>Ͳ6/8rV>ks#E\u|C)wzbEq&T]Z߽Zl2N}MŶ>mL:oݷR#7T7;?VyA^'\ɫc845p̲sw?F)ˁ['?I N h|d1zQɉh+sHV~1A:ߣEԽ\mtb}IY 'L+" #;GЪi|[[CZZuh6=yh?e/f(E5Pi͓0Tʂ/~7rxZpr=/IOu=˅pPbJ 31{#FP|7<)MHxg-X ObڶX0K!K1|'uw `GfE0&ܑ\lh% ay&t\ ZhcPPYn@Nv<:򠚬K%.DMS_mNvŎkـvtGm ­d)iH8~0b۞' ^jV=PQ9K:@Fd JwE854vIg-RX=\}LdPAL[XH aнU~B=>Q{B5!9O΃[ӽvGzmeCf7Yw;#23y$!ڋʤFE{O\F)o9ta YVT Ϟ\#\dj%Ҁ_BeBM3mڤeQifeM]xwInPD|)!ik1v&7'@e{h>BI_&iwL ?]3zg~/-^ßVANOtN2 5?ɿ*/vڛ ҭT ɳ]-R|:`VUYɩl23bKk=h`SzYJ.WAD ;EWѷ@%֗EHrBdC(*'f@I>g/0r@ v!?[:%LxkR~75t<ʩ˰Ǻz>D_BNp:PyGh"·$NUuIM(Bnϭ#3A-D~Ȱ>8T ApƱgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 90776f6063a3dc68f4b9fa1c02ad97ba91b0d822 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c