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 C C :+D$, ] HOL-Analysis-ex:threads=2elapsed=34.668cpu=42.836gc=0.480factor=1.247zXZ ִF ! IY] ŗXf1-q恈a.WE 2kK+Vg,_w>D)=z< fCN\.'bm{.t|\@?QXc?P*xQگ4#E_N!vfl;bf pIқ(rv^Q\ @/\Ŋm.}\1L4x1? ]tbaэ5őE9Tbbqsq~IRN>.h q&n>^^ Gh\(1w:EK>188{m[ t"p1?Ȕ] Al=& ޑg YZ7zXZ ִF ! R::name=HOL-Analysis-ex.Approximationselapsed=0.639cpu=1.276gc=0.000 #McE kS T} YZ7zXZ ִF ! ਥN] ŗXi%;/&i:ze$LPJ:w ag4mY\|&!>?Tz#|>TsE4hc$'>VIȻ`a" 2N4d,G-A:IpF}k,XWd,Pelu>9"3"~ڛ%lۓC:2*^$4I(/DL"*kS44>eqK⌈NtkB^pV(ѡtA I͞tFoqcPa2 NǕWȢ +2"z'y s|izdW97< L9HgM4鏢