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 55H)  \ ]/ FunWithTilings:threads=4elapsed=13.107cpu=43.544gc=0.360factor=3.327zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀HZ4B|Wۂ8t$s8kE(j.!8$-勛OmԏzN>ؔCr3w7fu2BH5>P^+Ifco$4Y8t-~9A`iHȔ GhlDT9 %E\ bƬ{'maSlnX(.)0V.\{z`ˌ.(Pd{V @gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`&W+:`;^NjIYAyB`KFu}YZ7zXZִF! ^]ŗXi%I o7n/G\53~Z`+x6?]{睾^=l?+v|Z[o?&H/ #&vW8 k5hDkj݋ߺfJ+؞$}#o@ Pw&E=[^ #/Pg,{v/,nj5\بN/~<+hZa;e|ho#hNQ~@ B/|_m}'uOvpݙK< a&-~?ir QEZW7Ă0'ZZ%껇W4M㬫PHoF7>`szX3W.?O,';p'U:{5.&)$a_)@ޅڑCxo;[Lf],0`#>=HKWKmfǦA~rOWILo|<CW̉'d}6 X{n CTv4x<#+8GظY8vIP.yPD>rnjrPdgPO+w:o7oT}|> & g%r0T\@'[;\lsW=uQAA7y_IcXܐr|)R[Tks e:D07vr[,~wS*4v5^IؚڐTc&&W߳a@lɋGs:i|!t+TL!XE(u TĹkz㕏~>%W,d_$#t: %p'q'- ¨(da>߆ mx$w+P') SO#րV0='UZ4%J1ʆ ƣR?oN uPռ~8-i؜w@nNKEt(h!&@h l4,v96 3tX}@({Z#< d7ro[1 ܲBK?#! +}h12VO ɽ\\gYZ143327fe33b10f57b8165d63c26d7a42c7cc0d295a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ) FunWithTilings