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   q  ] IOA:threads=6elapsed=7.704cpu=30.936gc=1.236factor=4.027zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[num d7Y;\1 rAn9zV!7'Lr/9<<\ Uw9s!MmƲ㤱 o& s]~ÁGKgX(6geɾ@ȝZȽL\+~ِuJJ޲:T!INt|(|arKiblLR!haS["ҧSU.жH rYke話v:TȴLn%:ʤ=(6&}VR@1vLgH ;_|>a9hqjօ6' wbxlFf_R8qi~̽_>46~-Ehl诶'QPs^Xf&K@<\~cM7|cW㨾pZ#?HT|q *`~#?טcigYZ7zXZִF! `z]ŗXiɟdN'LvH۹$vYe|5%z8%_$],Nq˨9R%HHݏ}BsOAhtcJ9mUȹ\˪46, )x F0}Ǯ=.dƟ8SkG:d~艋<4RZbD!}ǵYOVX'i>Vq㎣SVh 8x8uN^&]LL;vl^1S𶩋 pטܽAbr"cМ\@ɰ/<5 &sٱ~\q [wL] | 0RIO0e.x -S ,gYZ7zXZִF! &]ŗXi%;4KmvKA<_Ef?oowCf9𐠒99ɧ>%L-4C9nrdF2W߯ Bn>oo|~ hS*'|"TLmٯ}IKK#Kfb[W}}/`d0M |j;j紤._W|nUkP2G(7j.M;!0]sɥtAFul(n'W)˂wt6F QAo Fa OkPދeXׇ}~jb]]U>C~HW ?.^uko;DȾGZPPIt$ gpK NA{rm^I5mﰐAudX m e]SepH=]_pB4i!P1R3\R͆$vڴY0_fI1 Ixc94s[Wo6#sεRӔD?TAv\ ]ͣ=ƁU#tW"d@G߫JI]lI