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< ] IOA:threads=6elapsed=7.007cpu=31.456gc=1.180factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K, #AS[a)ҏfaJAᗗ(r?75Q(:h8(p5ц%Gc@I~ 'WҶQEom|No)kH8}NJ)AT[e Ub]5rFΰۮ$\ٗ`; ,u UQOʔ;L&-|tܵF+bjς$m8Y'*!fSɫM:7 [4t6WX<跖U|T#-?|#$(D~7)0)N3Ok|o%-` L7X O0%͌L?W؇XyEBmnݐ$Nv!Jl5#Co]S-YF)KӻM7tx3zgYZ7zXZִF! `q]ŗXiɟdN'LvH۹Vf+yט< h51/0m̆8Jܐo̚M—E}iM~F}>k99B@qd_"q*<+e`P15+zHDs?\Q#N5*C++G`B(>+ق+w S B@_^F(VX{nnS 7{ K'R0mw_ !^=MatwH;pB.b>A%B-ۻ⋁Q)2f 5Ӝ=uW|Ɯ~.{J2cl{K=n~G7oVs{z+i -U]9- EgYZ7zXZִF! &]ŗXi%ES- !-uR~ 60t[V/:~W 6l)/Kٲ8 (,n׺ 4ǴdT+rR|$+^ͮŸ| PF};V`9ٿ聑^1j;gVB!rʏ8kQe7YH^_l09/5-D"Z\]WL@:K YS3 z fN.E`,hj1m4f=h)/{τ&MY@4K"Ma!c P^>.7wx>gz2Hv@2$ڣqUSG,j([`_M- a.4D<@dDu7s+OKګNC6&qe/}ݖ>+kq^:H@' R099xz™+g?=_n'壂ڜn lxݮS*!,kQ^\p0 UfqOr\|XRl~xO6/rZ€;>g޼a[CuX\퟈XI6j¢ {&(^hKICe|g`&~C0M`+2BB%ηihE -k[ Ʋ(iG1^ibVI&@*| bH1gn4l״#2+5_^x#H{7>}zibuaS^-v7v&J`0iSAqOW)H(G6kF(,B I lA8'hC8ݓ9/pRm1*cɝؚݐ?' GȆ;`pjI{ۛH@ԅLNPx(YzmMn34Qu9#ÿuXNQlc0'g'Bjr IV=&DNaH.M<ɱgYZ789b55763680eb4fe4e79c419c510c92464ab08dd9aab2f0eb07e313f7e1d8ac809bb79600fae4cd bedc0de0e02c39d3dd892b5a6a25063c7496d425 3f69be8fc9e3dde08df89abaed6adf2b51c4ffd2  IOA