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 & l T ]/ Heard_Of:threads=2elapsed=39.148cpu=62.984gc=2.444factor=1.617zXZִF! ]ŗXf[&pBccL=ܣh+ՆHd jTw^Z#7`O w~'7<دߌ$dLEejg֕ȞMf^R0=3T+TB#(-yB(c40tlIx| ZmvI0B==fH}0Jv X~P`d,^^?:^HXոyW8<7Wfgv3Z0`B 1rZP@-|qHkSH ]t7n;-P@t   Heard_Of  k@Q1ŊkMZm㱬|6:mJe%,RIƕ 9I4FԛN ٯ(Mҽ&|d)5u1Ro<2ûw?\8zێ'ցUئ´3\߅T6Q)W f 26NwCsʨ)YdjgN9l3q$y쭙Vԃ8?(6c~UGa5*/> VO@k{W?fL>OLi(u>&Aqϝ0J5cfxZC?YUjy{ɎV-U,$.of=RhWCOũEְoxeUeˉn73uA]v k-[lϱG;ai z4rkGK_E ~o\0*sh1(^%~%K.%se+52.४ExjAe^]Ј;䛲9'qE(@vÏPW505%ok1ŤJ;K5@3eҕ 2oz?93^ Ϊ截&S|Z4Yc[ZCv?>?ngYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14l8yc$j@ zˋI˓8 T҂M(]羉9sB;ixWNJs?>`+SA7e5[!l[ "ۂ2k5l{T(iG>ۢFL:"A.ApZǀ67};3؋/)[eCh?E>d'x@cO>>cX,{3(o8Cf%[9y)9pͫ2U14g9k]}sgˍf;u>db*M^辰 /dj}WV,ݯA_8c O5?qcEB˃,2K;HP/?!_j `#~1д8Y ^ 57fIPPbX+G`: B#:@yňE&0a Dsv;g̋[P ܌-![QNrhРpma-DgfO҉{!UдےL rZ"޻˺Of]x8۹EZA MG){}M^T$SFY ٍfybW؄ ʮ얤ךAqF_O: K|'LN)87N8ͳ9AM`JٷVܓFҔ( 4SNnipXMoXQr2s wd:j,,( B0;YHxcrQ|#8qڢwDXZ˷q*vcʁki>qVqޡLO1F?kf![+|HfRbm+.&F ;MK} %c3'(MgAfb0^Ŭ6К0(dQz]u8aHm>6wGg8tۨiٗy?!>hsFMW6}^:sn7S $O$TH& / }b şSsVc]]VmY?ߜ7jza4;HvKX@vhD ՍIg#8i:X5o%]c(oNQ{q&SO, [4 X6.pH:(9'ȩ9!uી P2Νm3씌ە5+Pigdw0wٱ] v0h͊j$s{ wN߮!PI hý~wOgrte<8|6jiðE3g6u=K >R:F} T$] d ~9Z# - BhYէY@O QRK'ʲR=ʛiߓ#is{ t 'EC `ݪu  6K٠ 9] V cFܤ#5FsP-Z=KGN^YJOù=_m'V D64Gtv XXhW8(닡>d@#@~9Y $Ӕ )w?,$7pϨ?y8`,)q]6eh;_6R5~s@n\UBp)OA?vÙ٪$Gm b5sjX61?z2ڪJREd!ܛm06iPrЀd-[Y/}F3M-xlg^wɨ "58,.ڤdx?Du 7E)Rҥ8oqEW4,W.HJ~dctVP,;)=l/-nʜIW;NZ+$Twqkt3X)otkMӶG$EM)M)٭zœ&QNE;w%Y) Er~ΩTVX!>|~S3޸rl5hZp32yTv8bTwp:P#Q02˸`ʲ܅=A"qr ~spD ZqzT@_0zKk&<9ұh:t9Iz]MUrQϖޣѳ 4>Bl ް baf*YpFznq=CF^ ~;gn&y.sB{}Gl6OY~v^ J3~>Z$ 3sdͶ?~#} rPX .tnq#mQd{"uS.<Uf ȚįJ鸈[w!9ʻxFKQW#ʑʢl 6n~.H:}@{PEGl5ţlNՏʡ|P9 =5G@Bg*`Y@:q(\#whFR ʬ:epcjEQuu` iQk1>e!&p}bFW`p*