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 44I < ] IOA:threads=6elapsed=7.598cpu=33.108gc=1.352factor=4.367zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 4*so,tɂ56 zԺ|cTĆ} O۷ߣ9EhSz;l1@T ]4պ:Ng 28bF' 80}%a WH|'Gtx)ќ8mjBwb ;BDt޽EàP?]x_r:ev' _*߇4EwnAɼ xo@>8LH A8GX6vx*zc-&ɱUS(m(3+~y3|x"c٢7 t=8z& c`F.|+uy1]Q_Hfъ~j>yugV?m CҚ}]Ȉӆ{,%pXx-fSr*DCk]gYZ7zXZִF! `z]ŗXiɟdN'LvH۹$&'vYkmͶIL G3 aN4tpJ:+O )#<Ĭ`=#F3"41ʶ*L: ln%u_m퀏܌0JO(IP-p[mDnv4V* Gc{Mu,Ǹ# G)mM^ORa#GW6ŻCO汔Rw].tWN ?=*PɃc[KBphD=,Ċe3a6fWz)tƠh iG``CՋk@BL %nZ]$;p-UKpD5Ӱ(Ub; z'#>+(Q&/p_mZLOњz 5рZh ,,"ޥMX ANG=-`?tmzݙv H)Tp)Ʈ+iCIF#O-Xw{cҨO{7V`偌*\$1O߰8D4Q74SAڧ眱MYeI~,Ծ񤭝}]aSvĮgV޴J^KfBkDL4Bk7ɺ:+Î(@-Fcqq촳ٜj)4fLgTchMMYny{tV<`gp/:?SwVt:MЖs1Cէ1i[|œK]YB{;ͧ2sM!)(gYZ53a7a540fef06191e4dae0f2ff532669e8b7c6a4f84da1efeb09fd4a6dddd2573e5e78b0df151cfa 98f128cc9d5b9ec281c2dbbcccad4799d2c3af76 afc6efa42f08c6a994be57a5ad7a5a315b1c4ae1  IOA