SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   LLd ]S HOL-UNITY:threads=6elapsed=20.187cpu=99.656gc=5.180factor=4.947zXZִF! 6 ]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx5r5Q+,/'Gw4)*YP*G׋ق۸t߫3nTKyB qy/˅)߿Y@C2981%ѭw=>p7@{&yy4.&[L9). :vrnz#Y_˺4-읇wN2Oif{&z+A8e,ҷ^gC87gsZ_reƠqB`|IM{6OEiR4oQ)r!txEq7 X_Qtprs<,E   HOL-UNITY  D^:S?+FMln hA,%ߐ:RҋZfgB{`kT#,Ƙ!CBl-ţc^KDGu t(Auދ\Љz4xt3+*rsHbX*ce8!ֻY n=.nu}(M0HIܓy|čy[ XDoyK;+!u*)Q.^.bfTfD^%d"c8JnO&aPFq31u)4dn %3p6Zb fٙp 3  'Ys>;wy1sOGB'c7[y+kq=0gh ~A֩3tL E4 CVAol`ob03i&3-irևAw4}W.>}<ϾґLy mMII sf >Ed`VXs[)")d?DSOvȍ D(v΋4u^K@㮏TT+eݎ>{]T$TOYW0w\&C3-*}Z*RGq-\+MCG:CcW6)]asl*|Ak#%^:[? L$.V`omxj:qAt#IQKxC$/ [` zzאOSZbE[흱`xKaS<#OەDKlXxսM#,9+bV`j:J7rV6SZb H*jkw/ZnHVC!פQ>*f(aYZMbM K4t*I0!S|Ҋg.)$)0붰[ n,&n=2ڳ ιA'HT,C)h{D}bF6{V OoZJH9)/7W:g @Ζ7OT*Vcl`_z%(T!%:yg|阞[U2ZE%k$͝.1-;# }n:˄X".~Q* hY"V]0l*9X(P 2M\6vbgr;jZjI [T?ڝBBUnv#*|[l#MM.IF~ vӘn7mA: bJIDM:[kW,WF&テoZ|V,cQ z1>!aDbcO^S1ąָꎋ&?|~֦`'O ŀ$p2-*[}`,mvN,1#6E긢/Jy\۞}ZU$x{Ymd)7.u)pXCh%ϩȽ*gC Êlݟjc;PVfxghRI̥ =(<~Et׸bftɴ:و(=Q 7Bayc>آUl8_;L"ȑ6^fFTr6RC30B !G>gG1|(ذ!ZqcWsc&#+FqJFK>W"0;EwEۣWQOoAY-b@|5Eo%QXJ WQ9{|鵋v7WQP4 rxhlw\t@J \Vd&?UoO1p3Ѝɛ €j }}wQBP}$Jd\35A+$6Ċ%Iќ~C3~.ວ'l Upb/З2R 'NOH=@ WI(7VS?G23Xyl{[VT+_Jdg%͓/_ w_" bZIx U_%j5K%7^j2G(1-(DV<@w Lb8v `UgLb՚OGUaԔlS>g,%".bR+/Y߿FNtom{ka&MvV^q(ql Y|R &ƵoGd<,v]mEhqT:pV}u7%9ͳ*?ROf+Vc qgi #ŧ@32u5闗8?7A4֜)* -7(/:p0J*_g@vœ${s7ɚY@JM0 7S¶6 w\6r#(:ۏ$Z}&_O@ _5U+6^Nd yg\Fe'AHz?YA&`HObVu#O #/m?(G?Q%~[*o#NQ{~' U# \KgYZf57225d56d381533a8d99136fe8fd6ccbc80bc94b32ce723b0c0669b9208cb20425fe0e449964a29 c8cabf77ca89781c09f0ffe7bdb60b594b63f54a 73d2440a63a8e1c384f5312f8260099dc1aa58ff 0752bbaf02068a4743a0c9c43e4c3e6adc6da676