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 U?|d ]]HOL-Computational_Algebra:threads=6elapsed=34.621cpu=103.584gc=3.996factor=2.997zXZִF! +7y]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(tFZjY+ JXsDv$ׂI}RP~OԍX)7gS F[v1 }J|sY{XqTڄɦ9{ܳݞ s p4 hM|opI|Uzpo'kܹcg-sjӢ8$ĸQNum } 2Ž ³p)? w<1\5ɢqi+b ? HOL-Computational_Algebra+žVQB @`B&,::gtMIB)E&F4~_iȠr)o ((Ez1L$/a#V朗 Ҟ`Cz@$6/4-z|U~i|`Y\#&qaUP;h7)_ >):w,&FBw xyS+1ZTB&$KAmѪ2+ Bm]0ɉ`,ykzA@ x'UI jvѡiwvՒFzm۽dGicxJ&." -n`/)ل9^awV+HN2 B>fnr4x)k/cjOzx;g:tM)GZ;m(tMTG݂mkup޶Ǥ\+ nu{ڊ{TsP}M]2((sѦ"%8FPXϚ{?yG3c{MR Lzt{#Z 46Z6TG2yFH+PD7Tm:W槷Y%RV۶emE}r(|R+rdey%2N*; fGory. [zsgu-Ue ҷEmCg'K;19e["Ng!Aqeҹ.""[2sX݌x瞵 UQ``؆sߦ@Nˊq}MYw V+3gYZ7zXZִF! /w]ŗXiɟ1& [p42*f4򠔧O[mDZͯĆpf`ޘJ[MzMv"kY苕\H02[ȋ v=}\ŋfZ9)rG5UZ ZMp5]|'RYKqNy~2VW;gaoئĩ+k5}~5;b~y8Fxުi1lJMI gYZ7zXZִF! ࣏ ]ŗXi%6[XaHe,aȽpi2pR/}& sxWϒׯ+> VzX&FKgr?&Fh-GE2{-L;`\'[ERD Ts/%d:?IfpR12Vzɤ-~H^{amyݗU^&_+pXQZ!tq"w=IYV1I:pa.^ ՠU$[ Ny'5:w KQKEΎx %h {:`جF.Һ郍#u#MCw*K6ݗdoyEV[xlA`OVg1iG0%kb$_wNߠr^nhG1HFuSHNe/Jڗ|܌ttz|_{L€|ߗd1$YV6} J$JfY$+W66N@A}|E[{991\\C IKk6M14w wtoV^W}C1r:U:.5 g"?/wםD]0MnvY]FNecNi+8&ꍆ{u =P5K=?Ǧi? :RG{?W==\d0 i}s/oHA6us_CKF 4S v-[ߵ2A 8,cYG!)xb &*^%NЍvM0ʼ_yh1ޕ!o5V`D~D^#gfPM o*|5Hݡ0lW^ SX1|P4`n5 ]SAy/V݌ ܅&/;aƊ F՞W=H#8)ؽFo(^N=;)oD- i2݁ןí:!DT'Zߣӄ4rVm1Z_S'MOO/+ojx*vn+;-Ȼ`Vk.#xԭD~M$6vy9^ůD5MZ=Ϩ3Sk_xo*M~}{sjX"M1=n;@ g6Fj.A~f;JuĪ)-\ֽ̔1jqJJOWN>5Ld'?;]rr CcmIE\1 cL\=h>JFOx}A (2pg"![=EtbToiIYD>' 9VQR#Sa&^lf1 Q UI&PWnK,{)]]s~1c8k/ԋ:ozQks]Z% F#[,;d/֦tQ1촁y=ʻ>]0„e"'`LٸOIX_ 5潏| (țd)63aqՁD.gkӹ+vL;8o=aO|PDxŖ!-6eY $'do ΘVa_9/0ߊC͙)| W9 iYBܾqEY?=la5&at 'ny5;Z.w'/B&s1.%+/9aD7qO\v3o#\Rj;[igzԲ`1= PzsN|\>/kfsffST)UriB!_FOVa1[h^~-_IHM L*yl2?O2ߚQUNxaX*/0χI(\ ,A~glG5fF__A2 'd8 6/fGp '*'cäOLԣn1rf~Q&N=q | Ϲ_!P-r c = X=- Ϭ%QGBg{7{ J @l>zĘyF:Y7|tq³?9MO}5-qy\y]SPpQ+4l? <9ɘ[W uNk$Fur B9*cw=⬤2:lx}G[D܁