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$T ] Trie:threads=4elapsed=23.116cpu=26.864gc=0.952factor=1.167zXZִF! []ŗXf[&}ynZyI k|KEw^]am܅j?Y(~PHY / l~C^kⷤ-b֊ .1J] ^r[x 4rB-C]?0>\_((ɶFvn68[zk(Nli!@y~=Gj@fAjezy{gYZ7zXZִF! |M]ŗXiɟl٢ :}*FuH@Ѝw1:X6++F.e^si}Dh }YZ7zXZִF! (b]ŗXi%L 0璄pZ-E8wc߉Y={V 71%Z^/Hk\8h'0* ;3)hřqڜ;+5d $w\rX!z J> 0Wu"ѯR<#O5VL_H߫-'d]aVRtP~{=sN%U]:Hk,3 _a lK30ǐ8L${Q덴 3-SZ2(fx܂DP{ "/Bt*d>Nf4P2؂t^ق+zOxm)GVf4ɯ%F3QTqziA#޺JX ":ghő:O97aq'"I /b%ڸU60p0My=tms}cIj9o^~@X2)<1C 18.D|O ݮq(2Vat#7l,'s]Y>^=5LIT`l7ס\:1 HM 5Ab!2k0(w-̮CPcbfy?Xna̝HLcǽߥ@4_}o0[B gL%)^ 5saRvt@{ȗ(Ρ[6cTt(>zry[m<?[lއ@IB mU*1čY/m1=<14ҌI`h3b2j> ٣.ev=d[mHe,9= ,hv>iU47|dFW'y$!H25©rSćµ}UICsq☧pi/=I x`[C=U40:3cEcX Q bVTu6zX1{*.&F*)Zb{ۆpY,f-iqW9Ka^1 sm+~ѳ< Gx/(4xIo3&oLe`Wvs6{],k|@ 9W&܂ʁgYZc8badaa0976e5de365ed5824f6a5354b5757d23cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b  Trie