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 II4% TT ]S Posix-Lexing:threads=4elapsed=14.268cpu=30.600gc=1.268factor=2.147zXZִF! L"]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}C:\Py^(+Mo_8aUeίMfˬ℞C-3rϹ^\˜9CY X3IC"dm?5'_Pm4 .%> Ui̺g'5[_" +BsHdь@z?HS(p#3m}{ݘ W~Qxɀsv]CcˆI!Mwj &BZ`~ gYZ7zXZִF! d0A]ŗXi%L SA;#|}- Z3{`o"s=n송 &,v}B /NJe0KBƎB^oy%m02a1Jw՘HJ:>0_H6:*Ҏԃ)~0=4 (FuMf[R8ֲAsj*2R A4vPf{_+b5q\\fI.@S[&4kpTaqIQ:&mpXsB,qx\ńvC-@,<-Sjnݭ)a7!G& >.{KfiTy/BJir( v*|ӭE+Pr,%w' /SNȚ==zkPM nA!о܀Q,Dvg8aiXѝ@8$Bѭmx6V ?Aמ3[#HN*lx] 4{Rvgvy6=Ԏ?Gd]p MX@зɌ09VzE׏P=L/fS;TtRAX#R4whwPVH>F𗐑IǨ Oδ xkh b}@Sց j2m^dwnʪKmHO( ;`rH.䏕ͬ͵ 9Ѽ5^nXܮ\=Y"z}@Gu`;]h3OXK1w #o;ޝ!++ _!#I/n8ӷӽ5\ai>T}rTk/1*Ju Ҩ Wv¨(,;kAwmzR|r IoOT _*.gYh 6y!=ݩqMGp&h{AB$AhavWBXh`~}eYϺqT@4q{V)ii頏2,i ұ_`,LLjEy pw݁4UNNϳj&O$u綾isj"dq= c!# S7lbs7ecٺ>vfkyv蔝bDfd(j5%\I:Amk"ÿi.rʪۤLJ%y_ӋsWd>|St*CPm2h(ET',;z-!ٙ5d9 qpxTK=|qdi`-mQP|+)v׶ dhmv;3Rn8 @gq*."J vB#PiH'r+|B,MB+^1Pj5="+"/\;"_3O" klgYZ39fd5b064fd579575d07acf3dcd97882678bcbc3d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c e0998cb22b4e50a330e4eace3820224198540e46 % Posix-Lexing