SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 HH-)D ww MFMC_Countable:threads=2elapsed=65.110cpu=115.964gc=4.912factor=1.787zXZִF! J]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%<ܔ׳̺RЊ~F?K@_"q^xĂYG~+/XSJӢ3KְJSFyxA2$\ǒJOQҒUQL&vz{@7J|aiQC?6G mehWEZ ~0#6z;:BϣESF &EA;D=|@g,z$7{Nh`6d*_ci"v1CB pqk0⊚59Z׮ rLvO B]#"Qf }bs1k m'Ksh@w;Zk;'CC{k!_J=v2-@eE-mcg Q^Ulljf5Lc/2L%!mv\6TbJN_J@WNu-kHj (Hyrv@Q`'ΤmNs kQLiZ.3lrU;[I!jorc8/iD`sNBL3n[j`ԉG n>T$ÒM u0ԷU6Ga,Z ˘\u.L͵qt6 [3O9іR3໠[| Ыcp &jE|uDvG'(nY+G[Zxz32D Pa+:ѨdRU VgVE6uĚ+M\3 qؾ&Q\HBM?ǶbZ?K@<˺P.6Ucw*$^JA>Rްb1|R?ۡ-:4{(ylW=p2#A._mm&-awq_cE!Q3~ѓxrwh(̿Rg#f:|r /Tj*liKz|X6.Կq C'_æӗ[@MxG7ّn{իSO?QTr31 X*BUwVpq֮}0`Ho_N0#8i8^AqtgBMǠÑL)SuS-0N; .)\~&&}l`dUħ nrS]y~C?/k݀V($k&U|j}kw.ktJyn,4c[BrSPŠ!_ JhX.#uA촒lE.d҃n$k )<¹vD2h{H.spPb,;%~bIgb+WB`U.9mB 1rF  ^ق5gYZ7zXZִF! F]ŗXi%6y2%yLHvO’#}z雖\O?Ә)9딃<1+RQe쯘?۽7/cS!U8q:P~ GE FnJ!qQՍe+y*8:q9+{zo; X$ ]RJr:4 ܾ \϶Slej1cRFGhNcYe&AͯT6@aT5ts QC,ȁ0";#4n4>x ) MFMC_CountableP3#rj}ja;.E ]硞K(UA J]0{? tmYQ2*cpһ1"{l [ .\wa}ߟ?q*輴|x!ࢃ}/u甜]d =qg,gyy$LA2PhGZ4QD;3'ـM7 :O23*MZK2Za/fnk1?2%;λh]0Ip3{OM\Y;N= 5N}$KO*#>Kυ2 V d7%~qX]8꼦< ~,'_wK: S/Y]hobth b}ap>-{IBPV0zOwj1Գ/TOμ/fD݌FL[>ZfA"yq覩K-QX6R̘$,}za?Axc| غUMBb-|;SafĖ[CIկ:18@42&ɐ5BBJ@y2_![j*yŹ)9h-1.c:fP͚h:x"߿ʀG)!$Ge aw}Ed$Ģ$چ=,x,HcAoLPQ|B@!# ְz<}ƒtg"S_IB݄y kOGtGBaR˖~1fiJr0=7ʗ ѓA%{F4- P4uaVXi$c+x-> }C:U  p{'&0?0%{_e`JaNW  YL3)M37 v x/22cimX~Q2l64&կ-q÷{'XܻuQa]}C滫 ̼RoXkO/U(˺zU wRSe_u73Pn'{(HԏrBU+z\nYr. C{At M75XK4 PQ&p:~^/`y'?+ON}@m)R"o6[v <6Cͷrq4WqNDD}im/BpC0)| 3k!¿&x ?S|/uXP!;zno?:g-ޓRU`,f@Ԝo~p#y0LSO=SdʼnG2C(ʧʩfOHqfjX )nHxll&1Œ( L=,h+8v>nKAHTX{Olz231-hӜ&XX/*_{8`}(^:2x޽p~"+vŅ ,F1 ;J4q[hևp-!+}WEկPmIqǗeK&RPEdUWʐR"hg+.@<! y \,/ [4o3P v.s  hHԮf:.h3;<kH{Z RPx^dsSe1DE,B[礇YPLp%e:"VKm#\%!vկݹK2X00;A{AYS^ ?/N6 =RH1Q^,s@Ը !SZZM€VhYc^Yз ',Yi}yHI./UcE9Jm23oh)l#qͲՐ[tA4䭥;\J[:ֶJu!+#YOd/!n߫=3WZڀr=~|4jsa3C"$/^S8 ĨkQX{Yu*5/W0j&FX= /l  a Cɖ58f:@"#'/QbH.Aq@'ǍywT=kNE,n%j8G5o.TpG !=.v%=5o|7G*vxl%dn+jx4M~7fJA[\] fWԔ 0vZH8$TiC-A ɏ|'-P aǁt 8H7a!_HPO}%F; '!!E7gZn8UU푟3BQO:O!|'ή\y2 F?"wX{B;U?4}}/Jo6LڣcXO=̴>f3ʢ Yu/ikO m]Qx?9}8˲V@4hւ &O=`A',Z.ݜS8"˾_".`1-Ws_N ]@ܜDk!Kט#,ne-N".桀ԇOSvUY ( u 5=/k YefɢS1sf(jf[DE>2B@*f1UT3s)[\esgph!w8z>wŔ٭B9k;X{ark6Ӄvc62/ʨtU9yeOо<'t&,۶ OfUy+g,)o!D a.y,Ͷ:k -鄒<^pqM$+v6?^c-ų"05y*+{%܊D|fȲH]6+8 vO -j99p*ђ隺*)Zdhߠ ytU[S@X̣S @"!~)/BVKh^Sy-#ΉN%P.s$g"6 >[4%j$Yŏ3r @q>O&G}[gYZ346146238c66aa3e706857a5da86223bedd0d725 5e2886080de1faa06657d403497f877b8013669e 68868f13b448aa6ef9d76ca42418b89ab30a2176 727a3bc73d01adf44a32e16a42e3681b2739013d 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4c