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 6Lld ] Circus:threads=4elapsed=35.096cpu=123.732gc=2.428factor=3.537zXZִF! Lw]ŗXf[&O8*:> KDˀe)IkW#p?2wu=A [iF ~t_^ݲQd2dyQ kN ]y"ĤkEO/'E7pD:R'hݎ[/OVJ'ov\ecdv44 =e5;L)7Wau7W{*g׈#ӥmT_%w.miV􋩽@>F]iM{L-pvwu9<%@3d@?$ [(YWpWypjYe{eBB{ 2ve!l9UtoKogYZ7zXZִF! d0]ŗXiɟ>+yC, 26I38؁!a#B;zh=AE2={SDTQ_B@>)y:gET!>kَ:74~ZBa;n)})W=^FE+Qm붴%I3:g ܓV%Wc;fq~1.&n2&f*9\Vi\5O4/ dZؕ':jEMk$?*355XHNHUQa+j 茮֚yLqGJZ%&;n{WJʢb_ q8{ XA}fP r \7m(ck\ca W6A4;JudX` HUQ)40 ]6"zZh\Y|NspDn#k{sx\3%g46reZSV荖`)򝾇/6Dx }(2)+ _١AeկQOU&\V n.95gǽL\luqCL0`~#+@&y˾t]ʒtr^ÿmY3믶Eq. a`ȨqnH4bcY(!(1[e3`i]P/p-p0H`A3 |=?/\ {HƠwSY>FbRK>[f- ^ GW JRţx̂DYY"u/YG!|Zچ~ ([1qyeeI\5G8~0mZˠ 4TĭW`(S ^L\4ɀXGΔջ {jSJJb1yl,\!ef (Ừ:QaHh;⌿ ɉ*ިktIv7i9zd*% fܕ߹S?N]C5s/i9P˨7C|J ׻GD/G9Is|]eL9Ru>z>_ž4}Xu?H0<%c1y@[ kc1Y>5;mgy5AuNK 7oӣT@"+Zĸ3xBDG!\)؈:]4s!Mn*C+)K 9P=+.;2ؘXiWh*s"܍~a9+gp: ) LELJȿ8/>!5c}c *M0SnmF5m#;f܈zPD=V%"*FĻUӴz yR{zQ5w.@HJ$Y>]>Hr/zd[Z$aF aN<a@+ɨu4nFFsE4ki]ݾ~XM9XA<)AjH2yCtt+gVҷTݜMvIȬ E1xvI)@F0r,↾㜚%<"#1c oqzbPEVQt/''!lGOR&]neMV^SdtU%E 5Q'O^8b^-مHI("<F7mM N3 eSm\&Aș @X6eʡn@=;yd&W5`ű;RlA2Dd`łke(Bi9- ^Gz3mdJHk ma'gJIrKG~:O)nk&j*u%f{^x-2۵tEgɞ_F!^nrF?0%^Xt5$jnoDR\NLI&cҦ.PN>+VDx -Ht>gPVj/j VLjHϮSIG/b^L ZPJ@ @VT>ʹD^aD,)w*mJX2η4qWQˆg? 㤁G;ZwAr^1֭u[aNl1ɞ^Q.O58\=U D?A  IZG٠0 [,#z(n"~4k>\B|TUK\ D8,࿇~}C,Uʚ@.fGfͅ :]ĩaaWihō+qodU;0,_@[ECGhN-ODʀ@qiӑdLJ\Z 6wB֐ޗ5,pﲖ\e8)/ƫ9Xҏ# X_lRȗ:BaY2ϛD5[]f{<'`"!ك>5RF~=A@u!3`I5|+Y[*kbY VVlE?rםQsRVQawBeGP7a*"(̋ی'tzG*{КxP)wm=S]s};>#3y3~ae_۽ùZ"8B@SRhM6])\e RzFP¼A6\gYZf4817bcfe6a29d61540c935b9438af83405cb88876b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 63cec139519c70fe290e4085ae41a9e937cfa8e2