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 C ,L ]/ Median_Of_Medians_Selection:threads=2elapsed=16.707cpu=29.140gc=1.352factor=1.747zXZִF! uH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +c~)GOyimwqO X=j}X7Z#NXypDl}zf * ,~ \Ȅ?~ŷ'r֩!EbF4Pާ1lյS W l#GJmfd&g[8LdnCL+l YgSmpc nX^ g.$nZA;za+ ~̝˞Lf Fbhʅ?ԪN3voI[>gNs72)r Ύ,e_1X6>,&Q^{%4%Ic+t Xh2yr8Ih84Hm,04i =@bIo>ơn.SݱKv`J'38ne/{lS=Ћe;͂&/U&TG]NNIClgYZ7zXZִF! `I]ŗXi%;C駜_GEk=jYaz&hU9Bgq:q_s. dq|ph]}J}g̬1#gb2NXCr-t`ƩmF>t)! blGا%$f#:J/}]۶BXmou!qȾU؟Yd<}K*ݺhB!ԁ |LlKB P<v+|&Ip;J&3O]&v|LjNRWO# Z0G%Yܴu y,:`ۇ|:wJ>}n-q5s7F?XfNO`$%6bIjx0|m;#M& L^0XnSd}bq_yH!`xzS߿"llX ^D8 2AEF W. ~\U,o-VQqQ,)x}l"Vhu&NCR)LSkl eF2oP//WGܺf7N(FDj!MFW1#1q=];imiyTQct4yDі/ guazH=NǶ?\!w VBh"gsK,R"}vDKN4_Q&njWUrҀT7:ϹVjs}Ӊ':Q\.-!">/X_(62{Jc~