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 QQ,/ d)S7eu~h D uC3-7_e%hﺙ#8ӯ g2WhW=`moyx@d\<Ȕ``;ݨcsӑW05Խ\|.)cT)=т7i]+l N򡭬JJ)C?oxP^lwFΒY9\WROFYJb[FU#0j3J(jó%YFcNexm%ջsbfmMN2nvq-Z"K05>B_ ɜ} _ `ǘ8T N!VC[(Srn^}B1cgbyLX1=s"b:U P 2vd#B gYZ7zXZִF! ]ŗXiɟT{F moEhuFw2 1Ŧj*޵a=xBog,%=n.j0m Bo ÂH1=0ޭBK"+'5 Yn C :4Lx8ӱgYZ7zXZִF! }$]ŗXi%;+(R`N($>ťG,H- ݞvJHԒ'% H*m(!aWkw4Qh{a&9VA["Zۏ'{mbs MP^T$|Ss GE}KgA Ɣy5<_1CI!7 V0? 1jS6_[T|as)#\ϖMJM k(' 8WV$d3UtI+į1llB#@s1Rl8+-iN̶ݓ;5B:uƏws㽣~}d(Cc(:FVr[ձ}אA"9ͣT@)G4R$(.eo|i|944s3uTh8 ?I?ǕQL UR_J>F XMv]H=bLUn [=*;62K*jgK4N嵄WOċxF)`B-O0DCSK0_gu|OppM *]eI<0M:&J&ր)*/=6QWY~֧|S%*/V8`}sc>z@P/aM2e!~Gs=uPEfa }@n*},]l.}ڹ *s*W;;iмcǕ/J}RԋusAvdGˌ;C(,AW.̨s?#gXX7Gjtdd5GCQ P/)!8_r- 9t0%)Tz{pmhpM=ڙpe̥1;{AJ6LL,$ xUÁ*Z2=wRĨ˱S;LZ &2~r a88GAYxb@1kw߻Dߐs; ޞmjJuD% U#4`ȇbP1_9SZ%#0?H:_Zډu ܫ4e˱=++ ǦATbNj-#D${T/)+VDylYJZ9Zj3a+;/pUb\!냄0yԹ