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 ' <t ] WorkerWrapper:threads=4elapsed=8.330cpu=24.048gc=0.892factor=2.897zXZִF! |]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v (-XcGPWmTm[VL7Tˍ"358^?_<yXrl97֠ aO :>u|~FmDeJM N=ΤYk_ۗYŶvv> /˞xEDL?6X 1-/[8G{h~W,j==+"^.R؟H,4&4SRxK,vPB)<LQˈGמ1}%TeggYZ7zXZִF! BN]ŗXi%L 0/{SzW ӸtK(N`؞ E6j|,l}& c鸑k"uc،@0}bf94ةJdYhQ* ;&wZ^|.GYg/O5cv~@b^=zp> (@,7>(^ zMd8NjGR&=wfK-gk[t7.d&GI_>l,3}ƕ/Ov,uFCӣ1ҸyXGIq_"ވ ˺͏Weji|+nED-Q O3F@&l $.#'f,1%]'[ Fׂ76.Ԗw^{bZN;%Qel{ǜR~សkvIaD&XV7MrQ?ϧ%3RM͇ͦ5Q8S6c2Ư,<7#ȿ{QTEG?cEF ,p-oYrk$^;sm`)B_}_jOob~M\pWPAi8DGo0W.օ,^m0K6:U8VU"\q*"F/ߍyp~K{Vr?A5GaL_n]Lz%})>ۏBKˏfNH a\$y`p1 خ ܔ"$(nэ?%M㎬7L-]UV]gt$+vs[jbZ[insf6mFq~=Gmjsߚ=$ORNҜKP߈ӶZSOC'2 ͆mR-gʵv1n"v]Iա{MݵoسQdsAĦboaS/ Tw9D{ߒZV{L!mCyVc}m΁ըӕpf. ic$>Q4sEQt%s i:z6>0HztpIaf[ӫաcoU)5uYrAH#j\l# τV|gYZ3415a03fffc81e4ffe54e5292cce6245ab334536d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 128a88a5eac78b7d575bc8110eb39ce5b5078fbb ' WorkerWrapper