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 !!\% lD\ ]S Sturm_Tarski:threads=4elapsed=14.586cpu=33.356gc=0.592factor=2.297zXZִF! L]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiT{,OGŹP))c̮kBb24u~Xy A^!K9)H/ SgƪVXjܽaUt4+rLn ak8MWZ΂q31,6uM7uJǬ]TSgSK;B??饒Bq@K'S5n-)Il˷.7I{fv"#x /Eq_I)UN]/cujOA.DClrLEN-y1c h'TN{@^V]<[ =Mff,s=biw Vg7@zOMHz#enl޷Q (`:{ؖE;UvnϏ? M9vNEϾ ؚ$B948a!(W9cE(ά-p%gt8~㸳y8R' -e)$x*JCY?!adusW3 ~ Ϗ&| -8 [)tZQ>)WǑ>.X u@҇/(~KA5 $TN{JEWftnDrhA~me Ye((+(S&4Gk56 ͤ-$?[ĻElQm>G~XWzB.bT)%Ǒ*h XTFtZO{mA 6 hY QD~fweI 2gYZ72ad302f71b627a832f6b079369ec487ff9ca5cceb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 f2d22cce8c956eb9479b3cd09c1c3a26122b58da % Sturm_Tarski