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 ~# 4L$ ] Rewriting_Z:threads=4elapsed=26.229cpu=69.124gc=2.648factor=2.647zXZִF! G]ŗXf1-q恈NucvAݪ4 c?i|֒]d0(q!%400o*H+tw xT7E^) G@u)P M: ,Z kdIxVI YέGV 'j6oLn5}d o!cs-iS;YU6EqDu֛$;GQpzw&S'Q?(Q:vBc!r3w.) %|^j|A # Rewriting_Z  `H歬[+8K0kҳA+.쑤C"/]$m '%w˷ux&@Gee3s(Kju;BiTLӔd\<`p66Y pK %2i'h/V^5K ~3=z H%[\zm&wXNp.pfʤy(Ji S_X̱Vr Hm!e839S6p0to24w3MςozS >8W_09=1W`JtE&?@ G*$)39΋e+ú@+0h{Fpx_E4AC=A<ӹ(yhe_Z9 1Ӝ0hkvtdU]@,J۽W*heO $%j<^cĜB/s%GEҽ, .S*4y>YK&Y@K~f Wm<>@9;7Ruc}?̕Avx§u'F^b~ƀEܵ! nK:>AgYZ7zXZִF! `]ŗXiɟCrhi^IxDY?Av|4f4R_RH;lw2z@R`|08r2oS%fvlƊdd0[hG w@5)& ma-l8vxU{$LFCҥ:ÛhÒ &CAM"x}3|a&| r?ϣ$C_3zD}L'a 3y2h P蘳ɎױgYZ7zXZִF! V ]ŗXi%L 0/лWb?TAmQ 6%Lk Kq n<[Aa)$Uj,Z)*Z=rW Eqș1ZE .;\t9ϱZP ` ԺFTyݒ?jKJpA^K`y^Ĭ : T =7G@t$>dnvƆ[y7"!gW&9HS(h) RF}Tڋ@^xCdTg&/XYă/AF{y}.k$E Er& w9MaYr_c0j ޭN qM3(렑iuUOhbG; 3^\qG:'?r xѰ9W '& L "wy?dB#5"ZG]|6v@5Īºj<7 2W2_:ERYYm'h2db/KKmOY{li!w~0q"Oc|zUCa 5'\$%ZF,LMpqxOh:5s2w5UPOђzpD{,G^a4%5K`(8|fRrG¯ vҾU$b=0BKؕlH6k8fc'x"AaM2/C[M|n4h]ߜJxDǷۋMIZrɟۑ~gA[uY]]("Y- +-Ts!W$&8f# |cxT(@dfT*9ZՖ]~*b^bǯlZy) $/\ DCd~.Ѐ%;`O%n?eI#֠v t\{#Y|BB Ltp*6t~_+g<i]nϾDtWܬ/Pp(S-;FCLYo$9(,XZť=_ IYo1o-nR0=bZz\Vܨo@ ܨezNj AwU !%ʟw&S}9Gɢ-Ɨ:rY .`#$ FΗ3q"_ f$= oATE܃7p_%_86rNe6InfR3ERZʰR.j/!kM Dxj2P&) S>^G..fEheԇka+wuն5hq8RA5;xxc$OAoH霨f;H O&I{=LEJ2]SeFB$R<F3C~=_F5M("-)ZS86)ޔHUF5OYzY2eo&$wFOy:lCgZ)"OQF,g `Jx'jzZzXUyrQ̯9k!vMSng)2$\aQxU5N6،US HiA\(!%FaCX%)X y _:R|Ƕ{$j7sا@-j7 }OsA,Pm×޼#@ 詽>=StbK*dssԤ#tKTd"mLQGyvX$RқJGdcAdCi gYZ037a3efad1e44bfe87142a0d95b6b31212335a26d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 c1222ee6ef2fd26daa3bf6c770e744bfa4aaa8c9