SQLite format 3@ .;  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 y  ] IOA:threads=6elapsed=7.286cpu=32.652gc=1.604factor=4.487zXZִF! X]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[nu} ^ي- k?) b~+6+ HDeBWtn?`Tfp·~&=ȎKL-t:WszBhBFrmPMր/{wuƬUAWNiwnM`8IBᆀ&@KoVQ+n`,8cL)@=cmXԒ-CrL ~OKpUPr4GM53b F>"ȥ#z0oG9K]eWilh <[0#@atR!taT?*j~Fh@w29+۔ Ya٩<-xB%P1ic)=;[VUZQƄ)_gdX@um$WZc {ԏ}XBgYZ7zXZִF! `z]ŗXiɟdN'LvH۹C<#t:ej jUA_ٹzEFA8T:-v-R/Bư\;hMH51&`;Mg;Ė*/c&8C:wU A{]ڱre7*W@Q=MzqIԽ#|Xm&6Фmh3Z.T;Lx,|Vym:OnL::@gAwdwߺ@mbcCݲDYB+9w4>Bl9fnWg'd/p4L!@ ,gYZ7zXZִF! )G]ŗXi%Jz]O/@9`j`3E⩒ (32_I!rOu:9]Ŝ)? pIkMWߙo~(*+JmZe|1R Lbg sD|"anИ8[2IöPo*'>I>-N*dEּK {o'v G*8P/+bP9H]u0ExzObNO݃X,GIՒe~ovebBRZC_Bo.Vqjw|Ҫ 5]8ɿD-EdP>cfO32+⣆֏w?I8hq[g74v̒HާD8 uWh:V?t=TSǰ"` f.ujCtg#tTYÖdDN$`x ]V]S(Op%xv24]z8ˠ# ygvp|Ubv oMevy>r$'5pf'';dj OGӔk%=<3b2#]ۨbyuRD첐Hb:G Y5%'[[+ TY$[̻DH+q [!g"\y6-E`;SFF}*oI4 *"4Pq8SuTO\1=&0ҞB]wbw pʈJNY1hh+iy |`;ueSñgYZ12d2d35db1733a8e7e613602e7ed2430477448671b9d791c9837b33e4a03e5886fe2246de351b574 478d747829b3e0420f00bb750e519db44f764c62 710daba6bb20585606da502f20192aa2efdaa92b  IOA