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  4)  ]S Mason_Stothers:threads=4elapsed=2.888cpu=7.192gc=0.108factor=2.497zXZִF! ॺ ]ŗXiɟH)0%o|WCz53ZXN&yTS0-leId='~ku*4'kĴnf9[78ʇ{om03fɑذ_y_C&.ւt7+~G`_ 2o5J]]{`di ,pivXm<Kf~J%Cr2hX<^b{5~)'Q rK J)KqXɴ&W/GR&K mk\)ϼvw e8E؏jud&䙌+J|̎$1m(o5Pb34]ve\/y6aD,FUظRZyvD꺻qLJFPoR1oD&:=tҜZ#z8!C2ߏ8=tauY^3LVW2Lsave c}u7ȿbo(Nm"2%rvB 1*K[ kmKWxsχپ?*{D;%k m1,x5($֚%U ) Mason_Stothers  %y^#3)]c>AOƺ=&mX+lbS@T| k0B S\ӳPn=@{p>|,pH"q:%_O#-YOٳe[Rep*Y܃{mu־MMN˵\ŗ 3'(p ©Zi ,PygSu>%^ƈfӧ,1Q~ֵ@-&"?93k)?#{C 7=JE)/#ul{9TY֓M2+|b=/oPy'er!R_8H!P\B y6"lƼP:H>[7>}gc)M9 b<6Kn7$ cpZߘ5V:l*/lpm7k~cW>ÝqgP~bȢŃ|/h_:& i7 )i0EaM%&}:n h.5#-1N*G:`ILhݻE3'dX,r;{,j*zq~%IkFW0.Y9Q`ǏCyoh(_P+)X"B5&i 8al@rM  @o5_XiE:2!6Ix* ohV+,gB6іAgLt}_`ҋty?DMFH>ѭ`Ď؋s;GK"-aOFR=NZj6cZ?ME#1,1ߍ_ol|Z 6ߦ⾱n*}Xbԣ.9:כwkxXFΈPe ^Ey&N-/x2N ۋ1FuDZYPx @fJRGĞZ8^ B7ϣRU˓mWfyK#0DE2S fKAŔAe-e;pHdX s> bM:V~I6[D˚Sp[!O( *Tf=<BAhE~Y=gBhUnص;P$i/pC^ T-Lvς˛6Ӟe-ke >|o5gmeتcƞlz62p#WO׼RmљБfgݢRSyb#5.]XxDv_I%@ E69ksD̒`%.Mp‘A dУ !b FkG+[R~A'o5Gl5^0vnylE,21<ۨcÎg =hmpL1풎@H1N3~o7on5Q"^2~Tюy֍T6 ~0ܖ~p?4@7>o=g&Ew1SEÂK1fVU>h~'&b0XE2UѴ&~H;5^n9sO=`j^ڰHG,(oBC^gav:LFi%?JNS$֑cᓋ&*KnK.Srwb\؞\Ю^Je+o\yL?^4rWNVh8Ҫ Λ2{NR ߍ?͏ra/@0lV(ͱŽ|"+ }1e>ɢLb+.x mx#? iC@\~HVKU% jF\h0hٶdf:l/kޘe;PGxn' !K[{\@&o5jKP 蒽 )]yZ8`N14ljwq\-!*I^YG+"W*G(cDFg@ dY}xV`)2MA`RT}YZ7zXZִF! &E]ŗXi%L!l0 "4}#G'E=4=' sX?DgCKf۰xxhVyxD -+.p#AG%EO^1-c-&}&DǼ| Y XVȇeIe^*wrFI;fc0|5>,}/;sͅ54"&cz*}ip"7^5`* **2~!%,I\ǝyb-!f;bxNjY% ,B4譪Ƃ}WQ׆vρM]#+eĚ7(os 4ݧmy~|Int֮Jn`(xa\cdB/:`PV Azz) ++@B&%a#9@=բٓ9C;.ݻb-d} yފ zry72y$ AYawyLid0`5&WE\4n ")ZgPi~xI <;ԙ!bU1Rދ 痹b1M2Jք͎uT8