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 %%X) |  ]/ FunWithTilings:threads=4elapsed=13.996cpu=44.440gc=0.368factor=3.187zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀HZ4B|Wۂ8t$s8kE(j.!8$J'Q< ޲3G%}靠q[nU,RV`iGupYQBGh/N#:I39hCYk5n;<<$&^;'#|T{0D1TpI]EUz%ͳ^TémYE&Gc3 ?, =IcgYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`&UDhX}M@VWY׌;t<"A`KFu}YZ7zXZִF! ^]ŗXi%GVD*vtM{0=q7ufȵ?p cgi,Wi7ib{ri 𰔺5ug'x?ňA PLP귧I-ȇrJ819U5GJ"dw8%{}~Nw%d԰LA0l ؎6Km(.Jęe64l%# [.k   3pv.|A_9Inӏ"Nn -o͎C%s}[ql饙ZN8,)uq1Ieb@3؈1"rdtEv%K qBm 녮>uĐbq<*NcLz% cH1 ) c7DC'ZcC?@"0N)6=Su\\exwz$G1-PmbGMj2r;4JMc L yt/.tjIڐ7zFzwM#1RE1D ;wE FCЫ%m0e)Io 7Wl2{RBuVY=7cb<, i(c.ptencB#BEspP#?4mߺ1 tӆhD{w H\؋'GS9bٲ ' b + pks؄#W᷻2V(p51GD ȚQ,.#cRBK:L->~$h:p=rs=MOzRW~ps٢LXGͳGӂu4:M2=9ڇ1ce$љ )n.%Y$ls05wEo*I\E'kޑp9ckK3l,-4N.Dy.r- KGA_DX]eYISδs0Y'{11m(kn'[3s<ﵯ"íyksmBZ{$qfV.Z̜Mqƺ)8oK|ڡS5@`cl;և6+Ln"V0@k>ںIzqM5'k&.PQՃq_q-I3At (f\}f#WU Q JBH-c nSЍSCR_LiLY篴Xn';7,#;1X6Xh3*\YC蓽 Iqbl!O =%lNڼ  §rgYZ08a1eea4db7c11568eed4b32cf36d75f98c68ac44b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 ) FunWithTilings