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 h\ ]/]Datatypes:threads=4elapsed=66.238cpu=101.268gc=5.540factor=1.537zXZִF! ![]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE)F_qz;ҫ10 0v@JBT,fO\>A]؊\dUZnj:9\lJ]"sM! [=DrƖG3Ӝ. !-xS 5zX%?0?5hxdU3DXn3D?96mNW8vT_"&>=5JPL8(z]l[WཀML]5u ɓ9xJaw+QP;~߰\f?$TV`!;FjŲ>w-5a]3=Q|qpDnnˇ% QL>y_(x%^k4vUϣD7N?-Vw@Yj>x?`4l9癰Y[AI#Mu#㌛LFDvT!sb5%Jz|8m:F8ot7:}quńSz.Lv=)ElѐhMW=cV\QJ۱хmEBt8 B_0Bj<3b8!#CQ3JK`G@5v+2Pb<)־9:/cvv'u+IHP& μQ`gXF-k0Nkb7ݚ*a{N{0Շ-4 eNTjiܬ˿׫}H>@ݤ-(kQDMp\y^s0w',vizZK މCˆu]ЖQ!KD:s]cp϶n./tģ- $jP9T4_ A`w>T   Datatypes  &[hzN`JlCmFise x$o|c:4L9e5T{G+%Jt9/IG6֒ĝ֭%ڶ;B#"8X{3ЩvÒJ4ϲXV a0~,'"d=;;Kz iNIfCJ04p(p-ILqf&,F:KS2q<{Ua<@@?0+ ǚMX2yDN-|ߔ XdKX%{;Kw|~^\j|ɢ P"ImoIPWDYã",ZS% <Öʛ:Ӯ<`b*tia#/$`Z&O|֚D8UNHE :o#]Qb;~u,3ӫ5bdrbHzI'2\coJ_i@>_G"!a$l 0ѣ3ٽ x8c {o!Aj"sU7\(zt|+Zde̱}[\f)_߱0* pE+wb4gq1Y e%ݻbm\hČ!ZN|`hrr7 d.2'\}j-<)^79+G<)3HʾTZUoUU0zܙVhh;rYj~p]_$Bl٢*%q9f9~J74ܭyC]"DVcRA\v <vԜ8,AT= |Yv<y&]ן:Y^Zk!KUge96[:?2f_]%?4 V]{fY(ܙ//I:sSzDKDqw1`n&2Idh2]M@m J[E&N"sVV$|rܡ9\hP"uV7ac+@~@!Wn?pƄJҁtTvq;H׹t_\ zUաLzv-U1^Ge_ D/zMŤ}cRH ׶ Hӂ@T{$R06+ָCs"J؟l5eh!']J.mZda[CLؘgw J"~L"i'DV,|+Z^91XM5諚(#˜Z/A*=#5/f_q~s9I&L L"Ȟ XAX+P=f +5p+ dKaZT5Pr|sۙ0/Ao`/@;4bk Ai‚ո{XcpyJmvʻI=8 12Ý>*Ap sjR Gʋ; k1N_'C }i:AϜHAm2 g4m'1iɨ"QhwG<4yzx@jP ({ SsL2¡nĚReGh!FOw}[kBA&h}Wyd1QK"3Ju9EK @aj0 aR4x_y4jOtrzphlTgҿ5s9dž(v'J;K.`megg^RH,M5]5=nx$#ykFLv)O g8}H,uB5uZ\ڜ \Q-2Ixso>L41`= g[/K5ϰٵhnMPȣz/ ]@N+YVغG/BGҪFa̯Zɝ-hmnLh (!>2?7BႆF-aa^"X]փ缄@1[ {#8=*(cq[c+}:vȁṄQ|E=<6ڗ]صT