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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7 $<\ ] First_Welfare_Theorem:threads=2elapsed=8.637cpu=14.960gc=0.424factor=1.737zXZ ִF ! ] ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCX=%BR:o!X{#eܺβ"O, ;ɩ2`N+ĘXݶ,p;0A0 tUIFtD0:t4J1-A)s鷆IH RBxy&Ț?DE0d:0[ m"G$=H5KYd?&%Z8PwXWx5%ǜ-eLW4 pgg"L f vbW֦YisAoBVL}d$j"]bg-5esw,+P5Arq~R8 HT i ySNg YZ7zXZ ִF ! f ] ŗXiɟ饜يmTnGY&luS _Ȥ/U$X{' dX\c6e8vdT͟I,G!{?߸Ef(7L87JB40S5-\ /@cu${- ᄄk[?E2PqUR/# gY :4g" Zlg YZ7zXZ ִF ! 9] ŗXi%;o?IFf#s&-!>Er`Q } *֝j1%+?F̴Z\[͡GVN:Rr+fL._65AޑVMrAjY cAxiRS#il*iڵژKP6'DibQvP92QWPu(ħ b=̈́p/pvN