SQLite format 3@ . BBh77otableisabelle_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 d d, ,]/ FOL-ex:7zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$ܹmݠⷈH۳[؀\ UKͳNW ;$yQu@:J@?"Nh3 ;P=S#nsҚU ۋl$vsb  gYZ7zXZִF! .]ŗXi%97O5+4w07D G,n'`dM\ysI ޙFSoF]ۑG2!]m'7Q$\QjaoOc_C*Ռ٦?cE[az3X4V"?_w ءlh0^ۿaIO?E^^[*_C5cB/8h yAxcLu*risWJke\ͨݍgGZ-q$uop5,]v'w t:-^6dn:oI}O+c 2=-fQ^q t d9kGECNi &fmHѐ.'k"9יWeg2ڟ[뵜oreϵ [j$_,W= -ݛAޕ{X{s^42qX@5=lqy\Jj*V8js,pZXA Dj[TPI9*`[rbh]ɼsXg}͂ mJizpڰga:-[Io#޺>L1R<{=/"#c)70=ҋ=+3#^Z5L@ScZ/ .A@ m n :(X)N1q@wi@mD=ĬsO*J;:b{y@g'/D]X˱gYZ7zXZִF! ]ŗͷƷ͓AB@tB葴7S.mf8MM