SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 6) $d 5% Jordan_Hoelder:threads=2elapsed=19.682cpu=36.044gc=1.340factor=1.837zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃'X>ڦEq 4|&Y%bFWfY %قN5l>=ƲEy(ѷZ{%gp# |SPtoDZ/Rw4-~ا=9iN4!iZ1P~ۥ_fURq&og+Nz(@:fd5a}}ȺR1Au5%0Ds"}ԊMQmiIu %ޔୄ,nfJcޚPo0D%މd '2V,;Ŧ*Xuj+`VM$`1qxB (Fߡ>(##"~wy[6'CĖzfκ9h&bK3 m fo .ߙ)Ɍ*TTʡqPQE fېlqJI1mB7]}f_*[#F Zꦎq>V|(_B'0|hm1@{'*7Z㖯Pȷw ne0Y:X7FbӶ]8AFcE+7ъihdgeCU˓& ~-Ww@%]gA#2G+ aVՌsTIkq Qa'(qYg0rvw~W|F/. @2'U'q@ K3Cnz7ALi}&IxQ0}u)[=(B^UϩyH[zox#8WqoY˨Cv +9:VYav# yף63zͰ"kj sh~e?%(ֶӑFϲ.B˳mCIl W4&=be $O[˶aG滢fP.2J#)ʋzQþ Ek@q K7@T GJZhK1T>|z9:!ٳVV_{ `!PӢo 7,rm#l)GTB_q2Ѫ*@Ji\ 7MG[ZyS3W=0M;u]p L"YLeLH\?"Uj2vMgI|EN="͇d܏)'_Ƅ1{Ӑi^ MZP,R?kAKe:G;k)DV@@O$H Tko)W--?SӜPGRi8RO9LzQ8'p1h0jD)os՜(sB;Ǣ)4^C(lr|;tiZ'7.3Sw ߦm+ gUAӁ=sNʵBs@=@Ra,2uTDnPa>, E ʣ0(nn[ݵdu(domejJw4՞`(xt~8jfݬֽcu{'=eOxF]) |l߱Tn6Cf`QK%8}c߱,G؀!35X=F!?[1 ұgYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8d413ec5196fa7479220c95ac4f71bbac2b0d693 8ff15cf0c89f5527625eb90484af1729d9d15e0b b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf4e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 628f88d13b21360fc0948bfd7de8b3d5d6795cbe ) Jordan_Hoelder