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 F d ]/ Heard_Of:threads=2elapsed=40.587cpu=66.548gc=2.480factor=1.647zXZִF! "+]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐhk3[,72&L0(zQ,n1J$#;f`#U31:!R54b*JF1iɹ#X m/b͠j^I࿅*fAWrvlEhy F*)4fI8|sP U=6F bܟ ie [mTIUEH[5~&^!|͉tNf[a4dHsU?V )Z lrcEc0NڦrVOz![_3C%\jG&Ӆn%(? =ӑBB~֑2`nobЂS (vmUuGJ [x @>ū׏b"l5E <4ҩD6[bgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14j5R2]>ˎ6 Ή^{>اew%3KwIDĀ,#9‚ [yh(uY͊RE W^c w"?> R]Έl"w|U7CNnoH?v r~s8'h:~aCTT.ԡ:ҺJXq?X0PO`;| k"Ңqy8k4Ra793/9iHڭ`gfnqc-6A-s1Y#usLa-lP V~hVAI5=>جN1V %LgYZ7zXZִF! * ]ŗXi%>g9DzTbL%0ޅqg94)kg'T0BmzK0u*CeD%UW[$Z rhڵ9ͭV̶!;ČN `>߆װ]TE}q?TULw+H!o-AxA!DQEYBCb=\[/y8b$=;v~r™,pmMS^#h^NP<5w-u{MD^ ZؕYTO0XJ U=@Xpj❇) Jr(u##z>-'LzGy;߭忛蝝 Ȟfy>޾ Vr%%6̓B,s!$Wg}₨-9?Ű D1fBpޡ~H -2,g^LÅ+1ڃY\9L +#ji)ғټi4{AŖɥC x˕<LŔ|C2>ҧ #'$v# q"v"Y-#GW(]+ɅxBͷ-2Fo %?dj[QPE􇹻 n@:'I -atKXc4>pUknKHlaů,`n &I^'Sl8ou%-H:?~dg:p4-L/3(qް]|.2lJl>Vl!}(c4#z+l< YNE sD>汤*"Q d\EQV4 _b ~UDI}I;)>iϮ>21 GTsUUB5Mk*U|X0N5 j2fx;J ց43R}\G\zِEsۧ_V'v2:-F,?ʬmǘ!ZR`N|l1j6 yGʷ)ޮwNpbcCXo$X'DacPA"cSGT3#0 ۱04۾7ryւa\ʩAՏjf+A\H Lʭq"Y7n .:?ϞI!B{j:|}[tXlSaDD}iJE|S9ɥwN0FeL~ǀSJN*:)D!Qxu^Rnb}$lUm}{ :`~Ẏ.@Jdǣ@ΪG  6ZZ#e YK37ArCP/Nݝ-ܛqQ{h\DQ3l5\{'#pH+ b)8wes>Ll+a.,aP8LFBKM} bybԿ5\J L!Z^E?wg8JfIJd8D/d-a)~Q?n,Bpof0XEG׃;^ TvUkv{ߌҵZ+8VHu^qvH/ :(Sl2{=,( 4n<R,42"d5y>3oe2;?qAo~[]N̙z79﯒0:,VCo `< *a0eN\ ÌL#nd}>5(eKg+[kS*EK5G_D]yfEvۑ56h,HEӴ]|Δ~S)mRMq#k}Z .8)CD )ou-S$tOx*l (f+tr ܄f ow_ s.܏${QuyfOvN7)o]݀R["ҨN \c) 2$g5R<9w/LhH,3r@mVnZ-KxqwC43kOC:n1ZrҭD|¯ 3j /<:k$7*}T$+EiKPh)%6{^/WCMg. jd1s98XL]c06F/3YziKhZpa p+΋1fQ(=QTԴl;nCRM޷ e˴Ueaf!e91n]<#aAPNj{G $teI`Luf)9' AZ/rߍTIsp71lkzm 0F84-A\AGB0h5i F)Ģ-$2r/Wǧav|[:bxJBG(ygYZ7818760ace08a320869c5d0b0686a7f56b8c99ba665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7