SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  + T, ]/ GraphMarkingIBP:threads=4elapsed=13.892cpu=42.304gc=0.668factor=3.057zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok tO/:W5.S'-IO\/WPrnʂLQ>d9u^?V_qbE~s /WtnjRMtc!=`|oy,E `^֌(}gԬajU:1{cw܈]'s/U׬8W̊6sj~j,q{7Riv tٍ. Ix8WBoōjCv)ꨰǀS'; *RYtcЗ%t]BB͸I+T #˗M㴺64=֘J7c+GfW:Āƻn]GHW(|cspFQFR8CB!Pl%-&(f$p:ʐ⍲R}S{>rpv\~#lJ#?nؠS%܏ɳYCRp 8B 2T {A۟xq/$ eԙ a6w?ښh\ Tttm-W>|1~.la@y)1COO_-l--Q`zb +2RϕO@*g궦k.`t+p1 y/ǫgYZ7zXZִF! ;]ŗXiɟoptB"5`'''?.SQh8k̯K URKϊBk'o]0c$m&1KƗyXd($vwyLuke"=lvn}9mL뽞ͼf ̺d(gPW'6Ӹ*tGj@𬌳ھ%{Z uC'2/Ey͙Jq-1kH Nw۸<9 ֨HS-ҭnw6…W1d&fF[7ɱNزbEΰ9kp3rdTxgYZ7zXZִF! aM]ŗXi%G̉Srۅ|XZ,m  x8=Q75 3SBWC,,jYje<4j̐sk D&-ix͈]KhS|k.$(FFD8K>1p+O4ǝ[G^544Cz/TUqKW8 yT;plaiYLQRmZ~>DcޖP) f8 .#Ms F(aaά.o }__ePrR1tț kGHW5-BdBv#8`5 w1Z hi\|Q7]ByЙ0K7%\X>In&{^W͗s/{h7zbƿ{Yl,:PS&i4S=tsU79t\Hi Y t.$@bbx[K^{5q; Kt!-RVM±n*&c"VMN:Ց8~=Ex})(?Kj.sZպDZwMqudPGqsyHLhLfP>Son5'C 7#gsn{U:O>Vp~Dت % !r W _Cr %v |2H\83*PB(@iI%WxR:KH&Y$C#τ~0Fb3<KGrk~Ba'wxcW_ -ԛ![K>`8?>3X=+˲侮E*E"N/n&-yī|/bOF풝!ڂib8xY6I7U(C02HQYCZ&~v[<=Rb.۝|@iB!.˔ GY?wOc_%B׎,f*ly^*xhAH j|V FApR4G(t*UT891Z+!iW_7& gg'2^ j~f\}_+'wx௥F -vJӕ"{|,U)6q.ۜil PN^9i?]h>Rɦ&(iUwľby2_0N+Ճ ߑPjs*j{t\( bBƨUKt:UK 3m)n2 e5jT#@at@(b%& u=MЭ|.d ]nlpO8̐!:Yf ^k̋F[c5 M-gYZe5fadadaa204d2bd5b00f51881e804a20e79a61278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 + GraphMarkingIBP