SQLite format 3@ .0:  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 qq ) D < ]/ FunWithTilings:threads=4elapsed=13.810cpu=40.400gc=0.312factor=2.937zXZִF! W]ŗXf[&-? 4gD6 HƙzSbx U׀Mv1i=нAP0#AҿH3=e6X9  V |:^,]J9I Vjr03;$Iz>ܴxrx̭ 漋_'>Y"av)hJ ͽgb#^W,7pm46C ̨vޖrTY^\-LlT?mۭo:ndgP THc3 [ R=~"EK=ģ  N&#!WNlskO`zc%ս*N F:(w ?6߻F~+֛5 #"?wܣo{:<~CLZRDAAXM(tNdžЄsZkK-oYj"[CgA )3^gI/:H7.ez n$hPmDޟyԚ_x:B\)}RPo =ֱ )8)JH+\%i HՋ'o1uñMh  '1|#"sїR:X8lݯz$Z]}e 'Hʮ:Vͧ؁[5; WXfN+soIB#i=mCH# xit=J.9v rmh,L VB`oW43,~ײIgTǺ+aHfj9ҼHޥ3ңjjSsgmcO o aС̮?jdc]k;URȤ 9 <؅ wf%wS1 Fujg_opeӕ/O[D MF5֠h|梋,*vZ\ ?5H7=piqv8=~]r"beeݏ U}hĠ6%5H"a b#-̭%G Z"_t!5~Ep'*:7կ8n _Ӂ(PS>HdLl$lUOG%{ݓ|*#"sq CKF8?/4[0_fq7%I,ѻ 8fזc3)/PX\U*o>cƣeXtQ{@gܱ _Sحl8*s WJ/)|J$s)D` j| ݿ!06lLiۼf¦}:g9@c`-6F!]y ݽ`|gYZ45d876361a85289d9521bec55859240a58b84459eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 ) FunWithTilings