SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 9 \,D ]S HOL-UNITY:threads=6elapsed=17.917cpu=85.160gc=3.472factor=4.757zXZִF! .f]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Y 89!90&c2ܽ$C3T-Q̗'( u]"T&698|d@_d8:_JDwRQkUȤ#:UX̡̒E+!(nx&Q[ ۦB`KE3cg@Ts}eDNÄV'*vs)2G6/Qh o^.%^B$bרm2{9}%8gxPTUn^heIL   HOL-UNITYfv@?.;4/j& *;4{e=~UgAN`tuEoGU}MvY^Qsa_$@`Nr{b@[u= DoS+*y^R~P_gUE |o^Gsb(b&_|ҿhI%MK&MyzGl}8~+x.2ᘕ<@XH $֮\Lim`cS$os ۯ3o\,eѝz$ e꺓hbX\F x%+d13zOۗ`1!FK]@p"7q}L IVuE;9Z"#U@* ~m5=!iBm5>taK*o( cB7k |ȳL™n^MwW|w Ee܃H!6ƒioEWF5.򾁢0Дy!n K}}ڡo!ξv&s#}$@VN8]-*Y@MZ':R@ mC~O3J%v'& 5]C.9A9q HbFVؒ 1euwk-8<ȫh w-_?CELR1q7ſ9kD"NP;H[#Pb4 lzlO3褤bi[BxkX[+S Z.EVXdg~oe]WL4Okt= ]AK$gYZ7zXZִF! ;]ŗXiɟ1'x^܎8W/{*Q|qt_fB4zWo>jm0a BD@U=4fOj ӁQKcmIqjJqL<)Mw&vHLtFC"A PhF*#ѵ7虭em.„r-g+֬=՟R⨣Yl_ oȭDAÌUE4 y$db\UY8b#/FN=H@| #8 @xCS_FGB^R{:JGߊ!w x0^#Rִ(4Z+aqYGflAk y4UH6 ɟ˜ ɅEutqLtt6漆ѕ oPd6x+óv8W[(q 5PxoZuOF6HS+|k1{=DW7e.O;aI\<:9zt^7T>DHJ6Haax!qKc͕fwr#P%2+nk5zgYZ7zXZִF! U]ŗXi%9,{S' 'dR0}Q|  6x9㔰?tH{ZxzN󂜣W.5*-ɟm+GPT|a\<}XYDT D`PU+{>SvH)h(S@ʹ 7̫BcaD`ڹIb>㕀)Z 0A8E_p !?Oʼn寁9>h (ch΄liO:~-wna9Lw/6O/ lm),2 ,ǎ_ Ii*V[!WB]`poj@kL%3.||*oBeK^VFzH>)[Ch+q_Wa4ʶx3j,$$En4͑%M3tWɾc?~C7X|]bYtj{5uw8"aO%KN&V(W X{BL}W9$[[QGv玌 $vJiUYF[*eG%ab6xė 8 7mR6#\5-+bzbKlj\ ~DovDM :Ϗm?Sх  \ P݆Խz#Kzz2R1+m 2#.5΅8YjdJ2m)X agYZb3e9de3f8e6d810cd8c38957991c2ab45ae6b467f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b 967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0 1fe34ea21356145ab2f2914ebcdfc72821d8b466