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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info > > 7)|| ] Twelvefold_Way:threads=2elapsed=100.540cpu=136.968gc=4.000factor=1.367zXZ ִF ! 0] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRbT*B`+b3P0Cu.V- \nPBA=Nz%Sb-JK7/y-ʙ9Gʦpr?ӗqJv#.4p9/kÛc˼C cJ6&=U ElI=@<$*)O\̽s \+p"j>UszѷM NMR A\kv0CG}$:Z}kߟQ4EW;-#$;T="Y:%W 42%?ȧ&q}kș̜s Ve-HOFjGh -Э{b#q CϔvF`,k.vO_jSK*ug:*.ɄB^-~Grg{U^ ˌE }.u ŀྦྷj~>"OdtЋQksj1*ZJ3QËX?SYz硹-xCc8?㏲l&`$#[B*I Wh0ďJӥ Ү ͚h2mApe;*.ȷcŬh-[װy&>^F*pjdȤft7`>1W7̓5{礼ɭ0selLR!DPvujqYxgd a-d0nZp@mLլ"B״-c(F*MP҄*Wuxgu{aJA~ z[gu"Yd4Rz{Ϸwǻh |@s5o>eWi5GpZ(^a3HBP`\P_zH]ZzB]Xkr2oA*0o Kh$tR
f%9%HiWRKA\@u~<^oh9 f[ZLhL O8E2~!b-;3NL2lvXvƔ%2`QenJK;7:QiQq;fXN0(
)ԓR#`)ٹ2
aMO0ռp F
a ֱg YZ7zXZ ִF ! ] ŗXiɟy<LlF K*hq`h]ji8ͯR $EG ].Z!UY`S@}.Y21JG+`:?v
w]?|eU
bh,aq\O\ IVԲ'{S9fRf?FUlO}?8?i
#pR`4~`/KJ'K{xۚq+fv># 0A$A3jtrBqm_^
'C)P XJP!Zq\-nT1r+5Yh9xmZ(oΙFCZeqa[rL6ëmJjQ5LcݘE*Ph}S
5U;1:?qԯ>;Hdnvx67 NjT&b597?X ( cSng YZ7zXZ ִF ! ] ŗXi%;+@;FqK
涺W0}~-'G?%wt/`f |Q&t}@=["罛q ֠J<)lٖz7 w$CeJ- ]S.6HS:{qbTv