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  DD ]S IOA-NTP:threads=4elapsed=6.435cpu=14.824gc=0.580factor=2.307zXZִF! Z]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_wSN]ե9ZnD FU-@~Ύgr#7 ߱NL(;B]C:= aK},F\;N@/'XڋT~ˁ¹VgΦ 6' F06"{zu$CPl{yqD}⬡@iPRzazy5?{֒ʱq8ep-C#bcК l;_gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz$5+97/Z/.k^VR0(LN$`] { =( Z!lq9d1z޻KXw c!۫7M*6xna>[oUEEB G[gG!e;~v54sVLKs_@rvq>gYZ7zXZִF! &]ŗXi%Bj_ sTjf2JaXIm܏ Spp%ۚ:B ֩'оw &?_n 6{*%Ѣ]#p;u@\T´g0}$:e L=5ޝ:4obnȢ:"qS`YIDrMq81_8N*nJքOPB枫`FjCe{=AAp:ѻ\4q:)y. *(tUI"{q1V)Tܥ$L<C?5?>L; NmL. {IL'n|/L%oqƑġ;*]ۯeSE8vTKvt UDRuۈqKcs) gT{y{exA@6gflԃhjh&WB=Y+~s?0>D.Ǧ[MFÄgYZb33409e1a92bfee7b037d978dd04af7f49fc227a3853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 9d45b45b04770ad8f814958e40d780ac8d52e233 4b8e17d1b2931e7b223e32dcc9541ba4feceafd8   IOA-NTP