SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 uu DD ]/ BNF_CC:threads=4elapsed=14.164cpu=46.760gc=3.052factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq7Do/W!Ro1Q^s+h wC"Yי?b0Eha\N_(yYPTD{`S 2Ɲhhe Z :W1XdOi|)i>ףn0_ "m`JӶ_Fr, 'Nca]1%F]}C)"8Fj!;Tiueܒ<f(SJnҎ4v^wܗԁ>AM~@H#8GiaY9~%pDh.P/cHPRk;!)0)R pnכ_XVgE õc9N#(:!,w(SF9DyP#ZVqvׇ0~X~>(k|;GgE1KXn[3:"40=? ~*M_B.*?Vjueu*QG_Za2y/k̪Q'N¡-EHD3)4emE߸6e;P(s5 ksF?uՕQB¬" `/צޝ#Q*{ډZo1YY]3&_Er+bIBYP »vj[ :CvH!P)kAJ b)jہ$kj*msLF70C)1+=j!Ob]IJkG)UATeJH$~n)W ߈7Mc#7_Z=/c58ee|+;No3I۝όi`^hA~q$n3mzHQ(Λi%Od| )Do#$AIudc}:;Ht}SK]w< Չ+P2j|. *;kKF&3p.oL#_=NԨ` 7nV*ߔU`S8FR&bib{4߯BŗGH7}&y3mw:q"Qp>c` #N% X ӥ*̳ruO4)`VC/x#2Gd͹mQYVrJY;YQ>X al8K*8=k6JD!EILD=Nȳ@fҗLB𼖻zbpAGst֑Y T?Z*zޚɀ\b3~I[t0?'/O '.Y>59%U '*gYZ39a882a971aff7797a9fe9050de71bc05c2b452da1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3   BNF_CC