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 1# <4l ]/ CISC-Kernel:threads=4elapsed=12.888cpu=43.532gc=1.212factor=3.387zXZִF! U]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdg"OC[ Π)cv9bf Sewa-wy&%bŇrej"T/6YkS ^D[h(0Mka+4<`ZBjok. ]طpv rgch%9/o6gK+}m߬q#H`0,e70VUM/Ƽ.p\_Mr4A4qQj*TgG>lpP@L d[]S0:mHsİu\Ή էVvۏ†c ;VD =W f>I> ԾjLZ7*, " n 0)S  ,Gk*t~fqTŸ*83xyRf4yLC}pCj S*U}K +=N:y5R?\1P3BDU$}`t6]Ϝ1LOꆓ~#Vqs= n OoM/ߎ28~rʩeG>[ \!JϨ P"/?8" /gYZ7zXZִF! l]ŗXi%B)!%atEtŒӴm3-ł#ڄ!F^9ǫ$%Z⻞["ΰV,sXy^8\f<`"jAt5iT5>4 .\{a.< jm4biId^`}  nr>afyٔ=1ځvG IaDa;нW/tRH|V)Zr*f?X%%q.gug9y6yQ4UѤrpnK5E_Y}h:CS{/[v'9X1pE>T[V<HGIOhS2G }VfMN~.|I"mNUrZ:ݘs X&NDS_e.s?Dmq @ zKEfֳeTsC?MD2?},5Qb=\j}+\11;nE/^1(QD=2CC~LHR$|(Lo{gL ]Uf-!k#Rc:"׃BBd FyTl ,^UZ2{l2(l-~lO;d'ml~" ԿS{q@AQOGIhl-)5B_xHHQ{#!XkCs"Pc޺25ZfO $0?te_dvY"O S^͋ #9G'aRgOfpafO!ȴ mѯ;Dq,k1ticyE+9v)Rg'tW;z)RlK!0rbfyd,5}<(åLsŐ%B?Cs%R􊐯f,$PEH|lL7w}>Cm6]P̌.H}?Mуv#;BFI,Vҭ"7_ݾ2?q^( re!w1)-bnv}#5{[G,vLB1=߆= ,m[ê6U3-i"OJ4/fuD!JOz*/\plδ<k* :Y?yilrD>!]}[ǍE&pꂞGαgYZ4220eca9b314253778176787944db4757bd58e7976b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 # CISC-Kernel