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 M?\,L ]]HOL-Computational_Algebra:threads=6elapsed=34.173cpu=103.432gc=4.600factor=3.037zXZִF! +[]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AKR 7x*hZO$b~?t. ,ؽ@NWKV%󖆸/[S4/$:nƨ~8!| \qm /l* 7Hv!V8 |:pfEHXzm&/6`"L8+1ZQێ9Lq9I ]ZLmd+^ٝ`4c<[VDF/j Id)-a ? HOL-Computational_AlgebraY8/ mJ=CՃ.fuˏ /E$.`TJ83mz܊^q6%/mxUɡFI6vlMp|CᨒDqsœ9ZYݚN~v#q`f$M֘@7 SKȎpW7 z I W4Mʮi@AV5J[E*쀡-Py]Ѧ2WzǛEЁ $Ze:*\ZfCm܌4yv{A.a{!Z=-UqOR#MF1ov1Af7pd<5z?Rf|"q#X_[jZFڬzs$8ptPp5,RO}",sVB@d5bzWgΌ z,РEP岴;G*Ѱ)q@#/ ~ЭlMm1ٹ`9|u\/0[y/]AE PA T50vb1 U8ݑS5V+$׹ kn4i6Ij[HMs;}A%7,OXnelTD(,,I`zQ'&FE&]x$>Pe~9yȲTE w|r\\),1NEçUYƏT-* Sbܛ$|A!vU4 I窴 \GːS?F*C\Qrĕ,'n:o #+j_];4;?%+#&?hF DWix 7i+vXxrfVKXat͏1W4豄' O̞Lr|wdOc7jRlH [ aLYbWə4ݦd'{`\QXgw@1.`9*JҸdPX٬ی}+T NAE4,+8:3l*==X9N,J9*gGD QzA M<<83\] i.@z0Wm^ `p>ɰ#VA,NXXz'YK])eWxF/rTNUNw WGmK45Cیu<`Xʿ0dv3kļ#c~=j>5xh`a36M j,ߎ|)-u>8DRckr$H|5=C)p wu-rl_1Zg#E+|0XӊO?4 PbI73l٘|B37AO}9d='@Z*n%zsoN@Zꐉt?&qͶ(';lxy{ޥSB*oPÆj$̔(T<Pݔ&Zt$v^.%[k ܅S& D/⦡G2&ivM3Gǩ|S U)Vg)WM@NR {k8qIW!kc9c$Kϔ3O1aI]>f_YiՎWyoڃ?el8@USjm֨^8E͸*@R8|uy󂶔FLB5>KGik_h+SL;^o S$Oxjƨva'곆ȴr|7ʹ);q$ߍh'겚ƩߍbFg:xD?1!&[W>8| qpk.H?gBC!K{IcI<|cRqD\Xrb̔ܝX#nT[ aVkCٰe F$űäK ٓA-z 4"\s)v)ߜ$4!z+qNܰ _Wy l̞L}Υ=V/ꑉC4iN:l-uTI=R@8dzɆW+|$Ki_+ GD%3-${y;9Nȩ"0(7 VTc6 +5l7mqo[t x1zOqOU~gbփq<D^6T p9Q]aȊV>m=?׸G-<$ewg,O?"z o#~TYb| ~h_/4e&_a!j@Kmp`m$KfU,ۮW8/|}kPga-ǽkA1CA 5kGd䝨] rC?[)s$[q١k*^5%HQ/T&aQ[)W ww%>k(d ;҅sD镰V  x}5`ˌ8Ϛ/y.j.w0C.PgBʛ. *e!E^x>}x$ 3J29W 8xOM&; GP:Xp=A®ALZJq">kben2ɪ1l,Ի'Z 6c3DM?#}J4P,=lO@`VL%Tz[T4J"ikQV ]2 C\8Wa[&|T:PnL@ bjӜ RܔNE<^ܜC]'XPcZ&XR]hOaBsݸAjBt7{ٌ6o  CUzCYstG;AFr<ՓZyUeɛABuPo5=RQ^h_F)řqf/8:n^۰(N"P\,Qbkrb,PZL= Mo\?PB Xڐ{g,_1ToqHͪL{W_uwv5?H` gYZb4d232f2971f127e1fc1e590d5bedebb689d3f22f854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93f81ab2e071bb5a4ec4097fe1a613616b92b25dfa