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 UU(% TL ]S Sturm_Tarski:threads=2elapsed=17.752cpu=26.648gc=0.360factor=1.507zXZִF! P]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}r_Mxvɮ>:-n#S##G%vVπOmWy$#O賎5nhn1koz] Cʽ{S[Bt.BOh[pUm`ޞpA swAfJ4TFr_tċvz3Ǥ^ෆssHM')zD5pV"JYᏂfnI@ifgז1f#NwHM۞6kv|CY/79XnvhXFu#Gɧ]@djR/,1pjE 4 ~*`բDy+ Jdg*ɥ8n0vq(юFp"18/JeAV$ UgYZ7zXZִF! ^]ŗXiɟ==M*]0tI'ZbrCǖPm g >mkŶ02z)Z NLؖP(z&0gYZ7zXZִF! `Kz]ŗXi%9(P jsܺũ[{q@2B¯Cgr^ZK~HJe+k"e+7Fhok[az B~[]dwV3%L<"ssOOUanaVs\8YВ(v"s;^i4G:g$!eMֲ̀cʇ&׮11S}N"ۘked +2W9mp+V&W ?Rj_SFcHEYƗpŵDirZ3&V,@? دMz MҶjlAŒ'R?uFV<̨K=|P: P=O>bX 4A0o 4bם|i_ <qF䟭ҖSۍN߇!SvT%ʟ"ibe%@/6>OiDDQyxM|8/p: }Rl Cu%lǘw X2{ 'mOwkrDiTS,Ie\Z/D7g U 8 oQoM'z{ʗవW/p?Jv3mD&ot _M?4jCf-i.o!"#@( -A .0[:tn!1 f?̘ 9~l[MHRD"ʞ`A{S8>}9wNi51d@1FNҲ]~M*b`2n5_fҳj#`ĔCeGC{;fVw~ȶ3.fŰV:}G汎>F'9n۳VJwA^_ ۜLʕmʱW{l+v506@G@@p];$U Eya#);[yx9>y-wV`󡾆 UEetK*0Cau ,uLEsۤ !MHQ\B!~-#>U6ƠT=Ε4G^ǔK121Π{Ihu;-- 권\' i_14?|r[XyV?LfnwW4+?zC.ؼŵsΉ_*PH⣖ΚgTVU{s_{.L嘻m}Lb]:xjX9> ʙMn =.'JU!rtpgBN( < O ) 6Yd8+nў&(7Ţ;>ۺ_8&^tD~bN1{7Tj7 ײ'\20.4m'X -˱gYZc0e16971c0af414b5bfe3caebbac9fee94185a7b620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 3347854b84efe13904c04d83cf7d9253205341e3 % Sturm_Tarski