SQLite format 3@ . BBh77otableisabelle_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 B1 |L ]S HOL-SPARK-Examples:threads=2elapsed=16.695cpu=27.152gc=0.936factor=1.637zXZִF! Jv]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)BM=P33K"Kt!MdRRa("(&"=y?km|3R?J/W SEPe}^>r7i^wƨbC D*VrtՎ.Ц[l^ }±6Ez9c Roh`U([xҲeάYt?T1 c= ~VP&,LL;LJ~ K2ER' BI@Y),YѴ6l4Sfbtlja)t-:dAXKԩ &sΰ{RΎm5W#ioZl0ø"\$2E{SsQ=FwfH`ՒZ\aVoZMdhU#fgbJcg~d-"td` X慲:T5ʓ `{FB*FϱgYZ7zXZִF! <]ŗXiɟ1'HGu C),_=g~ {^}挋g])-pwn>}Dq"mYi)aڴvOdySfI2ܱP96}܍l|H2$} s6Dn+$PʁFҶJR a/Np)b6JKqo@^BP$.9Sv38E q(ZLڇSqv_A?6b`U Kִǣ?9Ob]$ 脼ПGlz]6Kxdl9&!?(uSiǚ_ESRkᏒd#KiRʴk ]_jyt~LffGf68I\.QBw+0!KwpKY?'~ яEr^o{1>umD_kN u g3Fz,z]Z4xqJw;`|T`%Aw\1­’'ebeZTksuxu |^V(S8l5]tćSPJzLq@k1ft02ANv+ .*@S"(t6#[g'Pq o;<ĩA(aX"zd:mMJJꡉQ:2Ulhn V|ErB_/CG0e6}@cC>ZÔ aU~|?Wq##pAabk< w#Qls =ڏӨgQsݚKNp̻/ڢމj]` mtÞ8 zYwȞxC,Ld듶e27QX1Js$9Thöu}ިK r`q7P{ٌLBJWPhȌ8"w ƩS>2&̂wZ" .\4.el QʢJIړu:Ҟ%8JbǮ/v7m밍ȴ4\Zt]z+Mϊo(jm)(uoj뷨 e\AgYZf3f974688295d8249468cfb236890a0d903f15a37a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 aba78d33bfc5a996ba90892c61ed35483540b5e3 349fcf1008cbc0c201c4a8be5a5ac3741b5eb5ed 1 HOL-SPARK-Examples