SQLite format 3@ .;  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 &&W L,l ]/]HOLCF:threads=6elapsed=12.943cpu=41.280gc=2.948factor=3.197zXZִF! B]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V@fuG#pv:hDX`GWwe'ygƛ#A0'oߐnVgIoBw a;+1hAlc2KvW/崛8O#l$q &$L:QD htu\> 4V3*t=yB+hRYFxr2sā9 H;|IͽD. f g-OYPi]y VL,:XOPKI((>-(v6d[_{=erŝx@w`V&^3Y ̄7#IFR4&ѶC7C/2jZtYTlr5QHEž.&#E4OISLaXҼ7Ag(p2__ͩI-"w gYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]mUOi7|TR|/pɖ /BqBۙjmQ &mũt$ZK3K8W2ֆbfV FmD){Y+;Whz$طƼO0PzMgy'#5}JCWzT'`I|`ܹdMb4b7#w]&!iZ̾AW`DaSʙ,㎂-Oa&n}e~2@dn -VGnҽCNɂHʹ)Һ>/uEs eoZX[2ݚR2:tYƌ vKdx>(,@XT K8!NL$|A^Fٵp7Q`(œon`ցZ6w_~ 4=π1dô`{^d*~_;kó')y:8V5dߧ,@lK5u1+gYZ7zXZִF! H.]ŗXi%I sc˽q4dKQmMVءؿ@ncRǂ'0>N!!jdO㎺\Ƒ@fUUR'H+.syBbm߸ {Nx<@$rk>ǍDgҬ|h6Nj`衚Y" ~®3:ۆ"CMw#)="dQqD.ELKLk#A ܉n58]% ̹ ︍FhF%0Gn٬<.-|Ɯ<: mEGpc]ľt܋&=Cku‚魉N"cBՂߩlq338r `tԔvBRRMikWa)3 "ufZl@㰨|L^)R;%"`e<zd7^BROȮH74s3cbLEo 8CG>`}ecԛ=ŘƧ8b"m~r2osZtꭂ.M2;6AՍ Z .*0QBpCO.I1,wad|+%-i}Ey7\&fJᙱNpUGBώgG5ߣM,xʖ]b"BDziPKjPs}3 n d5;]nTHnR0{K_6ejMK{̪wA/$p<<f[#j}я{z]j7QIgGgO FVnO,*C`Rj9dd,xiK90y9 KK1n#$z0 Z T5 at(zќľ/U2n ME^!*7NW*渀&}ńS>v^z(>ɜLG-K͘Ze-qO@&O7%B$:o- 쎢K @~ )GLy5A-<&9 P{;;)}ƶ4Y7׹pۘi =!.o|2E}`tԔ"#zm7sR͌zȱ^}Jg+ 2dT6.!⌏sF,OPrOO_g :;a2 1_FX^5awu-6jʍA.>OVMr|g=Fdԑ/e