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 ~ t44 ]S IOA-NTP:threads=4elapsed=6.320cpu=15.368gc=0.284factor=2.437zXZִF! q]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_dsh;| KVrfmMvr#CXx˧o"YU2Xvno!J*~c!hDU2"&!Gz=O v Ci9m|$rgLi _X$s ̎s̃MML"sF|P~ݤlCu!C5gv" q"^reOz]cŏpC v>jƨ#6":󧝪#WG55Lc]*Rbuv3CykgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#D`@_7R5|(iHPƔUqHuqOͼl'xQ& EY~>Yzr2]80CZG@."疏*.j~ wTNZH/ec{\ݧDT")j M<f"#=gYZ7zXZִF! &]ŗXi%GЛ{f<7Ap-ŠR4-P͡{lYꈧ p WB@i5<Ұ5#rgX[lƏN.NdZgbpP[guqsx sOX"]_~_SD+_'pab-s=-dR uZXո O|Dd`2E׾!^z33MrU}H*4`b]AViV6?\й֛D7_G: (lVA[Y)poAeͥbE(fT3)Jbo Kq4]{ jTŜ=<)ч[q q3<ŷa2iԖ'f%VE֨/yrvNhAԇ ?{0SXF-ѡwFʰ`淙 g5 lmJ9vm_PZ8/cs8XđD=B0Gaod6 hTA"^ژy3.Q!dyb-ϲrYXx=&yN H5Zg{213ggſIUת5m0y8X_P$0z;?AJ*/θ7{W=|eX<ЙƚF^ECx .OqNJvw~W~2?2-Wah$Ã`TX;lzNc(^%_1殻&(V70Ch~;JHeaIyk NlA)7Zn3WÄ7>Y?\Aw.%}mÑMrgYZ941da0e886f21a8aac06205a9d60402461b018f3a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 ca15bea6ec4025d00c2fa7ca9546369b40a90b90 ce923525d0c359dcade6cf0e09fdf0b47871a6c3   IOA-NTP