SQLite format 3@ . BBh77otableisabelle_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  /,L, ]/ HOL-Proofs-Lambda:threads=6elapsed=105.649cpu=131.064gc=5.920factor=1.247zXZִF! 4]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mZn3T=d2p٧Xo>':yRqψ-u_7f糫8C7hobٹm'Rs4{ὑtxwX #|Ɩ $Ms _ Ȳ[7C8IlVsK^lorh@Ǫ?͘PX)<"/ nurxL@2>iZ9ZF;s`">tK c8h8~V;7@^,[*Dh(Kq:p{WyPdZP9q?sE_;oPRl 2-d>;CJѦP L>]_g %v{Ij7JlDA2Uѐ2I$u7rԠ}O9E%K۷l1u2)F éoڔ|TuCY4w^Xdٕ0 ?)F,.>Cѝ7u`R OǦJqlq|QsRk&MMgYZ7zXZִF! {M]ŗXi%9#.HB$&9(j Y?",f.;ER~3?Wڸ * X}UGT>eCk1#<لK\Pި%w#*guB0pl[b pC3$81jCy`4_4gqg.p kvsOҝ[ ʿ eCEYYƞbLyФw"͓1ln aoK:-!q Tƴ3abwR.V^cv+DWmp|k(XFm nW9B}153UNd2kW]Ef4.SמuޫP ( RZ'\/Vo蝷B|^QUǐob_}?#LvGc5_ ,rPI!MXK!k`'m:p޻7JU / HOL-Proofs-LambdaABŽC-/K6aC <3@ `%݅4_y/mѯ\UcJ2UQf0'TL?dF_QQVamX柙-1Frr|Í6q3Ltd<5ǗmS@"hm.&(GCKyaA|\KoT=\L'gjt*&3^4(h.c< U[t %]e|a%^|k.S\`a7YT iAh=`{]s 4:12\$@~:CB!; @jEIA %64]I֟,v 8f/!IW/]K!*O.n k#?[9o!uŠ!͔ž6?WLŕ08a㽂ȖoЖ02r@P?[rM&ZǝP!fi(ns"ZhQmzAhm8*A8v "QB7"(\Y̪;C;4=m9&гv/X}`Q|vYj4kMs ZYPe s4!Yw!EM˞`{OϣB+(Mh¼}TI0Շ!Ƽ9n5Aux7ad+ԅT;K8`>3p<ԮV [kHANU2~his}BW˃jxJbUԠUףߨZnk! \i.ĠyڒJCPHavӺxnpCpRLs/1&Ko KG3!|I~LmVNC|@C$o6;rr}a>`HO_ U;^dEH6/ir|rQV)S^5@ޗy -ٕˊ3[24/ ئ<& ^?Ry۳v؜\@9֫!nklp[kH=@3Z(Sg\vo]i[.UkuRʊc. îc{ǘ 2μ·&7ʤ2 7|x ,zOǎh9\Ilc#89ax8J=YO2bbī^kC=ܛb/ To,NN_2&p ܰ~nѸV&i7AC)^2#0Hb.X[B =KrUlʀWrgAA$8k d FNm'=w{;>(rVgOاX+atpcS 8lGJd!i^n7حabkboty՛N((E̮SR/.G 蹈gvIoz)J y=awb$уcsB:F":`Fsr@ey8{U=|T IQCq|ԃ$D-ҜMa!\Ir`^ޝ7`GB!<[H||b =AC ͖F)׆S]L{ K2S"bMwiW'w'%Z}3 h(Mcd$n+t@˱EN XwcJ߂.^D&_mr=V_8oʙ8g kA2tI1(0Yg@`}86[+R=M$O!5QrCֵq=<|/7u];; FT:R;48<`8D%)L+0]*ƢHXV#"ON3ak ́pi}?)$14{$ksTm6 ZO9KQUZ1X:s+.ULHeJXff׊"{6kx=YOͮiS̭ 0#ry= $?UWdhnix;dJ0dDs%Q@VC oCd `5Crؙl#[t-'wtD̤UGk^K\0]b!K .xY۠ݩrɜȀ ">Cyk"zpE@ږKD1"N%iD&HF7pE;SK\e-/ `z'\'DM|eV=4W1Η",lw;P(&-Ю#$Z+