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 yy) | t ]/ FunWithTilings:threads=4elapsed=12.611cpu=40.008gc=0.124factor=3.177zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀HZ4B|Wۂ8t$s8kE(j.!9*25/%nQllA4U qWmvVn6bsIAgy IΛrlTHLa]:׈Pfcs/up@$9>gP>D .fԲci|56C.nlDP?x*vCP Z۱gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`'sޟ=e#:AH.shQ @U؀ꗐMA`KFu}YZ7zXZִF! []ŗXi%Bo. {$C۳d~kD SY@*pkcg{j'|m5lSvȁf l ?|ax .CEnbwv[L.ma'IܣϓPA @x\-7H*bӡh"|h/=7q f oEf̷ͪd- l7H&eVh/d0lS㘾Ѭ۰VW`MH9AμR0#uDL\"Z!4CHTn5 lY}.6ZN<>05v=@w1|醝' Nw"W-TKN‚m3*ZtJH~ŎAEP:OPg%i@R+5~/TQkIa2+hR(jd]h0Dq7#WTR>Hy"sCxb{NFYDNWtZ|񩉁}|j'PN \Ah>[b2Lr3D(層)toQ/?ScIy%YǿCi܁<E)a ZD @S.:/azs2IhaN.Pp8:* xxޙ6YF5̙}P&c R YHްJ$`婘 /˽JP]yG`c]n>ޕ-Ț0JH |!'Z9&]d{zmy5_"F]+'Ds-[gRNmeZlL\"[<9I~>P=86>Ux5]牻J\Cvj~ζ\S=W  {gYZe6eab8374e380de247d5d1aba1f3500feb88b6c4ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 ) FunWithTilings