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   dlT ]]]ZF:threads=6elapsed=11.972cpu=43.992gc=2.592factor=3.677zXZִF! *]ŗXf1-) enȈA"tr-j. ZbNVHDw 5̇oP s͏TQm;쑼փ{1PQz(TvhiΖyD0C4Q jwQk5#Y !|MӁ~ȥXԙ-N 8 [~>2=ͥnj?<7K9AI!ٿi @qoGj9 ~Y7?!s\H.a6I,Ģo2q5: mkĒdIU.ﯡzp@Tx LldJO7sH{;^Ddہӭ5Q274i@ 6$31N쮀 gY(H;8 { 4mw~kX\9qQD}١#<Ӡs?Q.Cѻ-25 E6zkf:o_],q- o;ko7a;F660W vWZV;5*)]_8k+i#hfk~gYeq)vя# %#Qm*:'SC+!0m84])gYZ7zXZִF! C;!]ŗXi%$jgd<;@W} R æ^ {eRb;&Vˁew7ÆW[@9Fzae`euI_S`.6,B7D4ytS8)r=;JcN2h]pk/y0uSs9-7T6$u, Іa Gp0G>WsbHj*& Q7:oϡ F\ȰB*AfHЏ|[I4Ÿ뼞[ݏ2Vq(Hg@ Vh$I-ۺ ti ib xCEvKh U>6fSb'z-+SWirGʘ>*$=g?'Anح~`>PRy8EqavMYgv/ɵR~qA*њ` 7i+zřힳj%9~Co(| h:j[Ѫ dQh_# DX s!ZK H;;/!jd3YjT\,yٽpԡ݈=ID -"Δ~)wN2\~[C5²GBfh;Wlac^'$$-Q֛3ԗaZ2] VZ3#;tP?gʟZRzbЖl \кkxzyۙ6OZ~0/w;F"Јf m]}ek?I~TnNqpI|2AU?U@xkAp &^jDe9" >fB !%W2Z{gtѶJ.gwGd0% AG$vw\U|ynl9ߞ1Ocv2%XeJP/geN/k9YǫfaeV&w X dtt?/cvt ڈԝM8m+M p@TaFc7g;B]먩5BQ0"Y & gYZ618e6c63fcf1902b52e0584fa0415f86d2abbeac7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea307c6ab6408437b362c2b3c55df464ec1e354286  ZF