SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 $$YC \, ]/ Median_Of_Medians_Selection:threads=2elapsed=16.369cpu=28.652gc=1.092factor=1.757zXZִF! o&]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +c̷^mG >n*yJI8 \Tŭa肌/&iN;A[jf*ֲ<3tG#u=<,ݾґ`ދ2WYP~Vo>b=JaW>Aq gUflxj0_gx2JCQ!HP50)(hl2ꉂFW­X_jӑ]gܮgzG̏g<J8c-IdSzWZ7/ \?Z`^Iu ?u}+,G9H՝5 .BEJ 2f &WSбgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V; _0v@eWLY˄'Er ?/iʆHH| Q7ǯAƙ|m-L+l!S76;efgYZ7zXZִF! ]z]ŗXi%>g?\V4/B7 ".YtGy I L;ُ|Y.FDUYp qaȄܚ&uE }0Z k!X< 0mUWxl9@" *]$Z*{o!b\ctGqGN9t+#xzA}{\k F7EIJ?nP3B!)Gi<ء{x-?V~TmIt0L]]Jzykz* J2lPLbv +o`Ͳ:4֥3f#d#aJB*3ɘN^Wb xjLGALwF|L9JQk)(s^fr l>&] tmPYaG0C"KGX'Vmw>eo:gZo!G"θ+MO%L>4ڮ-H{BӍOz8M ?_nᎹIlӀ /(C΢etEsL\0X,WF.]XZ=lu~@'xHIOxўv| :Y3E)bcU~CCXbR9|-ΞMtR ky;gYZ14de3db5a4262cd279676016cf3731943c318453a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 C Median_Of_Medians_Selection