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 _ 4t ]/ AVL-Trees:threads=4elapsed=11.817cpu=43.980gc=1.488factor=3.727zXZִF! ]ŗXf[&(tw`)F~{Q$؄F;snzaaѦY5bw&Ċ>%/A ܀d]䟪l4>·1oI w:+L/ P{R/MűY2/ ν;J(%Nij҆M_pC;L :#l 4(Bagk[I9>}G&4 (,RĚ}{횵TLcwR%`9LŏU} ڣg\՜vVҴb9梘_)$?m0oӛ4e .UP]Vf%i}C}+mj݅Dq-P%dimfR5 ^:gN/0 {KMj4˹\Շmn^:?`hS[(AΨTT!xr빱gYZ7zXZִF! Q]ŗXiɟy)j sC: x䛖-o) `*Đ<]~eL}m0p/,>R't @O/mQ9ȿmސgYZ7zXZִF! St]ŗXi%G>=ƸpU 4E˩^2' Fv"u40^ N^=DF?][OxsI-3)fIӿbFiPfVE?>$PS\Ki'OAfoMXR $C yhڿjJe X]0a&4~'/@` S͚fHl(Z@YWB'ޥ4 gv`F`И q=ynR#[ &v?Bϭ9˛WSQǗ V9YFS7sos95F,|fřG$Q @~۳099uHf5^>Xאڡ]Y %y-LBSFwW4ߠ\xߨ嗻 UBj &/ .UzfRģ qMxP9huGgxa:l6+m9!@ ayӇ&!> &e= {u-K/{ sLΏ8E#o~>5ᨥi pOAu >N x0n,ɣ%f1!n719b^>tL:(e zrZKϔi='%pY \5goZ:@~Y?0 P~%SA< bwtR/L1{^E-n5u,c1>? FŻ"^Q kfEt Jޒ8wU謉䉖bwACE-LڜӒR'uҼ({K4O|ॳ/7"B1dzWkdB6;^O{wXuL1ĺZ4_p @.}#pVCNfuD`Gܘm;mAPQGH0B[*;h@}7$nL*npMN6o5AB2cPتS*qdŰXVtX+N:ecEm5aƒFdVOYse+fkr Ue\.|%lmhA{LK?r}[-(O-sNFFIsH嬾iK طZ3^O~]s64Ȝ-JPč$W,%>آh34O/e5ج30 618RevZ=\$'OCfy%c 1E9ԹG; 1^V^e_ 33% *@_F}3=IaX:_\6N NݪEfv=