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|\ ]/ GraphMarkingIBP:threads=4elapsed=14.478cpu=43.936gc=0.768factor=3.037zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rokxhwok_iB-ƠvDt>BqrBM)sEtsԷ6Ee0NZZUaFqTX`E" oM 싽sv,WhaݢXU!Xp_;* ůHvi3ݦ"Y$bRRtP5\d+@k>h-MB"8xz.*x[k-4=V CR|Ӵ-8A0шĘ,.2]t+6'h0AE{ǕFf 5B:H6z/P_SwR2;$bCk i͗F hS r[doV>b^<򝦸$;%\=K:~2=vtB] b:9`/ 5ɂ1l4R*6 'f`T\IU\J岽1O&TrOH97C'|$qXuMUM~IVAu䣕q굑GY1- F27x\boqcGܢq@d=ToC&3w%Oh+eL¸b1xIj,,BQ;H/dԦ'>4~8E64T c/h+]3''VHjK{c'\={ HL| lHI8 d =jx#'"y*ݽ< gx5&%TV0X)0umЉi^} o='˜3~Ulz 8"oXV.ye\HګJCE$Q%1.wE'1`d/0v4ϰo-gx x .voz91w@~%>WBMˏ}htZ83" O(n@t;j]{+Ab|Mo;Wߍ՚hI'= НsF M< WNcU9ts.Ȯw7> o{{ՄGMuؒE8vլ mIV`>v3ܮȼ%iWUhluw}P}f/*/7&#/ "9eXcʹCDB~X:>9[Y7 [ '2g, E,x"J 7o\gYZ6dd2edc01c4fde189223c6c1eb07f06200fab997d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 + GraphMarkingIBP