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   p7 $4 ] HOL-Word-SMT_Examples:threads=2elapsed=73.706cpu=92.708gc=0.844factor=1.267zXZִF! T]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ2<[w-X B,X uC |?EĦ8Mu ܒS^Our;A/ ٵZYk|茆IDK:PJ⾟ewCa( E ]Oi^ϱ }&azerŌLqf†n+ BjgF@6,;|/AOw'9j}?VP_+=ш 4> $,PRy%CcCZlU0b*,׃B5uN!.\JS2 DB'jy@-_(7O0BǂZȖa6g:QwQyN4?mtivD)F#1vxMTkRi?D-Fa#q?|d0B4)Jbg`b}d &c!Bt0 C͍<4K3Ou~zixޘ-H#{1FG®j TuIO:A-]ɬϼ/q$!QL! ܪ7cJLk۝Qs7<VgYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss(}@^/˃-vIKy,r<·N ?dn?s?՝"ZCX;w[D9S&)- J+C7o }ّ)1b:ᡲLaNsz 퍴krښ0vf縬)CjC \A,t#c^aM^$,3X͒v)JYQBG ;l=!R cK;8A sG$t Z޼"R9Y1k'rmc6z#UAC-Pm.jFLL@#{@AlL&,"uypKhQasV* \_<'s ~*ώ+7x^?Ir=L EzSWF*5bX(rG }石@.9)Uh_bM.W5 RΆq1a,)GnZԉ4 NX,]e#:o鞽*XgZǕs6IǪg[HtJ {7Q7 :M꿃?!ҟ Xq8|Ma<9'!h{#`۪ͷm-ȈHc<])K=mJ;1,ښ %ƟU1 [-(غ/?Ę .~N9 Rkw24@Ej4Xcf&EJ/m^X_b +tIsƌg f;Hyj6ڙid*䮛9 ckE>2cwQc:nŪLDa-~ E|(]͌<yf4̽!g/+B,!]ש~bs͙f^|{ć.Qv@ *-OY5Ʒc[9@![; "c793{ȝe,cW߮2h]!M]||HGn& c '{q!oFԣCxQp2MrZ!yvQd!)n:)/Yg6wy]۬:37o'ytUuЉ/׷Sٖ%IB3 & H,I?=gQSLᅬF82޴g7UߵDȦH~^ө!6y@f%[&.+[K"(L"ܠ_JAq_3OH0xO W ^;Y[eSK6 *o׮usISvUh2!V yB ~!L۸k^ M^97VŸHz- [TVf)O-z3UL ~]X[@;m#D!NSBM0>dw4`gT7VrB0s7E;ǫcL?aRO0mnk2,Ȩ.]V}ϳ̜CCV(8hMSSuA#sSUmRLQFp$c{ϯϬW9:UU,q=]Z2G Y8{ ^fQHRL?"9x@ S]To[P~\LǙuA[՜Si}_0QHjmxAmzq6f;Bv 4 k1E5F`-Ÿ́\;EdT !@=, Z(֪>CxumE nv.d"ʺz^i"ߊ5?as$hbgn} dߘBOLWcׅsu K& c2\\tT j b['Es9H,X|e0z,s.*{Yx+N-d[W!QK2pLk" ?+4xA}*ȄkPfTiM@6LI V W:%B~.(e[a!'?}>FOi0¡v$f!70։{ cVCP=I4F9X&;ZP|B[‡~}ޓOBmʟHAAi=VÏP.6C.VZhPA%yuT{;(E{:cDOu;vK<3yN M˙p~#H,}9Mj8R2s8 /I>[Ỏ^NfS!ۓ!}> IAkHgk9adts5o~:OƉPŻQyB\Yfq.C||VzS? T/D6i2Ӏ OinnshwViU-bfB0ů=xx6cr.[#Ko.U\f1Jn Ehvmޏ3`˹<˕˴d7`|@-P)lr3Q"Xd;0Ԛ}:`dE)ҰKl$85nY\h ӃM|zhyAj~@Ud7Whej/+t#H_pE͐>IBFacZg5\mӂ](▾H=20?_nb:D+eYA]e{o˲;Ÿ~sL( Z~{[ys=`ʚ~+bnt9ң#ufhae$v3^sQ&)GG>J;.b:tLY@Se]e m+=vہwkl #P J/U8`᎟O*u6E|/A.FLG'4gg¿{sն7UgYZ1d51444253089a4b2a652696d89993e012bb4f3ce42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 f8615e0f9fd21380a30b77b96f61289100ca82e9