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  U1 L l ] HOL-Imperative_HOL:threads=6elapsed=34.796cpu=82.112gc=2.856factor=2.367zXZִF! .]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøa,2KͅJRϵ4D4Ͳ 7T'ez$%t}<(GNɪI]^z'|Y{?yv\ɛKǡ|HSzo^ R~v2!c6u 'İ@S-^ QY|3(:{1ƜX?)J23𠀆=ǽr{V7ɲl^>, b&c'F>rVV=}m]R}dށLk BM`SGX%NFjjXG'[LJuCeH+ y4r̚n+ބ $Hho)C(f7'.ff*bZ4s$=h=/qlzȈ?V@0;Nsk6T.l1\{C Y*x6εm734w=j|(kL]s-:TZ"f]ٜa7sen!E[, eV3&Oc=o0Mk[&ڮ4*{9kK)8j[ x_Pυ\GyP=Eoeb[˖fr QVbLOV3w>&m@m຅6}/cex G;{4.` {=J_G}MLb~hM 4$}E}a+P5b; h"\Z5S",$4ףے/>'i%T[))Һ|Q [:=KF ]M gYZ7zXZִF! >]ŗXiɟ1nhЦx"n_8N]( eOtd7d}N 醋NC="g f੍&y;-BNÑ!>fdyo=1= {} . Qû]W}6qUUJRk$ܱ#5o=95ֿR5SZϨ3B Sb jGȉ,P8=]AX>:e7W7:Ts:5*qq*`6,cЭ;;@~K+ NյMW2y.X(,mŸ|E gYZ7zXZִF! /]ŗXi%G+-lYzӎ$_v0͓I6ŌVŦ -mFު$lE?ׯErټf@u}`{-6l ^Nu'PM~Z=a htl V 2M10.@3@4p?/ޠWq\Б&ީϧK|:;[_<}D aCV2Ho>d:R(q.iH蓼o8Bd`l% X|Pl WF?٠y-c} ьߵ<%) I%*SC*I)hjRePBvI" 0  6zwHkTɩ(_\AՖ}*8"-: r+ǰZA%FOZe5xrh=vf6v?ΕpFi)25O'! M$r#Neo^a#io-!'!8@BC$ktMFѢ;n,Lyxaׇ ,?`CbXWub@Rs*FUH w3 >#`laV34ZTLSt\k 3 ed~|E\(S|~&t^ Q9R)Ise_b~%4i#+1& EꖎUYlWDLJS о8$D/$,IR%v-S{>,b:=hcŁ3^%,̷u EAS5}a3KXR2ȮNŵdvPr.N=^?mUs)KS:[<.vy*af@om*Ki *uG붎hef!wbz䡠{xm 7$gB_.arYx_G&0Q yr&;G*}.cZD&ʰ/zj,^$z+7rAVY$NG[RTO%TUm(/](C{M rG̨zА>2X/hS.g_\ |r#D5T L&s*4U8^lDQMcz_jZt0 V0d}og"TP0Tt&ݝn oگM֛Do莲znD~3 F)63o5lD:DᅑZRo:)zLlҥH$En 9?'jDumXԼ5 i $#lQ\W &3=^2i:i(jOm] ףJE^ H*=e ۜPGNڑd/ZZY\UsEamxoJwpt (%aM߈c-EF,e1q6bN&Vz*'VAsA GWmsp# J0eSL̄~?Ѧ3G4ؗ`y_ I5D%O/gO웲0 Gh~47JL#` \jg@^,̄#8:5Z؎x&M\|vNH=@T]c_q;,ȉ!gYZc55910c351b657855aa77a0180d5516e0f1ff38aca6ca63703b7463f34152f8ebb45f6a008f4a8fe 54f50399e87a773cc8b9758fca963ce4bc667198 fc34e090861f45d52d6b5f73ab3d925107324dd8