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  H H-1 d  ] HOL-Imperative_HOL:threads=6elapsed=34.616cpu=80.732gc=2.512factor=2.337zXZִF! / ]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø9;L ?\t%l92HhIrtnIokv6&>Y0azKXՉKސw0Hix=u=QGB;"\!~(>x=#$D޿D;e\V6 %`Ex4W%j!W^m*ݐV$TJ+{ ]LIZ莨O+CҵaxMr=eozdc{ <"[i=Hz-KPwrW ^yUgYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd7Ad}N zbբrRk_d,Cje!pڊɺVHLxaD y3|sA42*KgfpQc##!< ve7~*hȉTsX '^C z%߾w_wp\y]Nj 3m@SyX`f[DAZ~z_%Éن>#,&<.Bus‚g A˱gYZ7zXZִF!  ]ŗXi%GP!U몳g!o\mkFq+[^Kiɓ4GdIƸHNeD/{!)JwovQr SoHF$>pVoK9bCGrJ.gbDĘܘ9zЦ ^Kkov}'|'mRTr@\ךE boK?I!\RP9A@| m LGB^7[ͽ!z\zrs[[T-G&ʴ /tk@]QxOg2LF@_8w~;q P)75~rIwSOm}M~o%g&û] ʃ+i=C}\G39 fc?hK e FS.Xze!xh[[hHzQ~]~8w%nK^ &\> ^㜛 S4e617Kaj[xW&6](߉$1zDzj;O Nn\4g?jKaz@l:Uh>CKYVIx ~`-g+@ nH12wr8 BҦ[uC9Bn p0x6eZK.8kj no Jo5IЌ؟h(8{)$==m06mxjP<͹u4C٩2ϻe-DYA/@E/Qv#0.''B.ʊAE)9>+~8]0J+нɝXY;坝{x*u@? @ tLI-!C K72>@",?1N ZGw iouU#Qp ŃN̼2ܛn4?h.J1sl=w1a%W`͐5<%:^gMDmCAȔ}@uk_ ;-!x4Q`` T{=RQSI`I? Z:9J n/^ wJÒ U֏q.^+R2VZI|5 c4(]t I)k]dO8bS}*ͩ%SW oF^p^S~agAԁ cv+SK_Ɨ^ѽ6y Ҥ]Y.:9~XIL$w9n>"=I JyU_!rn =`囧MUʷѵ0d_xRa1PiUPRN`CO[(`Z+Kru=wյ/F`%ʑ|_ VE'XM]_ -83M8k%^PԚuFv.%Х^)^g$F3ޞZߙ%>[) u=7[3Kږؚn[i"n:N쾂9љ.]`$-!!(j~K1O_@#q Cz61V+CgjT_-'.ʹ2;ՁeukGb.zemSCs{Tq Xn?'sqI^Jj=k9paJ"`l-%)0z~WھB(3H)]\!(*x[7{z<3( ! jK_$ 5cjiU==U܂+9526Sؼ)h~@DBG@_XԪ%swuRGs9-6_wIџECeVrL. f%T=z bW<0Tڪ 0:g73HנkS4k/Xxvbq,Sc Flo@ڼr]б.X׳ + Z͕?. $*DAw1sl#mP)q/Ʊe /C z72[*F4؀~0gm^U]l=fvrw=G93Cym'~f{ ֆ2:cmgYZ1437d5262b0fb5dc59daeb99d3409ed973517e3d5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc cbc18ad7ee89e59ca90d637affa8dadaa40daad4 04d402b0247d83750fec84a56120558bdc0bc722