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   a/6I}̤lG%Rn~ d~DY`mZ_mői#Dp_,Ѻ)d[kRR*Ξl}g>g5ev,iد_~EԃiwXvXޝπJL@+Hst/ ol4mhqV,B-CGt~o;+ggDmqs(&=|"H;OO>ۡl`D6cM? Za92? 3ݬkYm+߈]1Gb1|vJHEua~˂JpE^itP}W5,76F0R֗eЬ^ y d%4f_A-uVd+%)Q݊Lم&xbgYZ7zXZִF! iV]ŗXiɟ11bu)]>_ws[Ɋ brJl*vť/Ec7<*`fG*%pU GhG.Wɪ8n+.nG׽Ovٕ#5щYmG>$4P_IgW.ie-z9C_;LYFQuu.TE*pP_pAB, TD"Jώ58Id/6 ujҕmC=+1 "'5WozYT tHy'u:6էXQ"iQV j,jܬ˦ks`+;pKVgYZ7zXZִF! F.]ŗXi%;y}JsgF] ihc7|W˃ D5_$OŦ"" 'cT\5Av=N@ /P|Wue[ܶ^jJ>  Tv4cGjBGhp`B69c3p>^{`ro`=븖q L KgRq*=o(â\Lnz8ͫ8^ؓ^wԌZǖ\1uiDBG5?(M|e] p;UnLW* xE9v&hd^?"o(ïaP;g;N8:!ѽިA `d34$$ʑ%"(;XK$i'yrQ-)!ע6'w [qȌ-d|G`̉qߚD*:A?^O搛IS~3?AquRW" ^b9HEg{ʹ)YA+T*X|1cbN2⥴_5&s-\oG"l:@INz,o~ޒfj xLF',j qN1HAy:35TȏePܑ><$1E( LN / HOL-Proofs-LambdaS]ĕi6:07א[9}~ˑ{+N-¹e,r*s*oLpqij FǑ+qL my/2LA?a3Y2.Џ'D +,-9ҺHS^zcXdNL?!8L"P!JuY5z{QXeYXy#F K9Ukk*W A=n}ёxe >Ol\)Tں<׌cKTY`/ YBf_TTu7 V_axgX0+1*&'68D*vfS(g;@',ݻomy+?IcOǡ2飑]f;@[@y~xOUQ;xfjB؟jš@BX(i/m&m.'̼OWYc@|B׬eqٯN M.hoX^t.6w@ˁ#R :P c?;mi[NSB hgPiOq<(S@O?=@WH%ĞD'Yuels|pqE>tO-^XѐXsz/ܨB6'/i,pRSo< /^' {QUXL*$^}>6W~cHEi Y_&43h*;r:;8/Un6DG%J6x!ˆ۠ G=vڳH(PlfhW#rbD9 Ϗe^M& b#7J{~%aw^UӇFas_^#dũ(v@⃇If `1I mά)+:2F'f[$m"Aק_k8@3 AOer]r;T*% "` ՓiT[ )+ s`5=H ( <;2qlM4QzL5 ]s:f*~Ʉ9HӚ :Ca$41 e g#h'T}ktiT6N>('BmEz})E%ߔHp@thfy 5s _zq 8؆)F E\k_t:icC g|>Bi%@$?kڠ~~&!PjAM]@O=_1PUE gɝA-̍ r$ɸBgpI:KOpXi\AR! 40V|Xg?Yׁ$k 4M_,O9v*[C<u[{_*uS+#ɼ޵_yT, 7SOZrto;7u@Sxk_ʖͪwQ.^ :=uVg=IG>sUhi"}+%0>Ϣ< Vq@WzM{ڲ6ywcIK=P% D'3?3{㝜pT5 'x=glѥ.70F_H"2@`URh:7Z .W/:HQ3 Υ C, ▇.Vk nW.bύVRDe%[R>7Q7}1oW?6Z AKAG vc¸qUeqyC:"4{|ɻb d_0=9t)'e0kw#IUF8+y& ۗdL~VCռ_7\1.vyFA<в$|nˍϷO$ÂϹ! 쿌`,aYz ΏG7X0 S[W|loˇ4R{}!vTZ1>*sjA FȸYdh?߭G1' vI ď!՟}@4R=^hfZ:  ċz` GsӒ3%-3eXdcwI_/pbn.̒6yy$lx؀d9  fB%cy_];ۯ(ܚeej7M9J,Ds-6of#W[(: mSM+U0$׉C"Fm䦝-eAdyZFT+jaʱK>9Kloɒp}p״s؞~Vd$ѓz=>Ya\{nv]z %ĥ!c6|rG}4H꒢qu% U`~sg=A'ǢзvxayX(Pi zo(j.|y L>RܘX&B;{O\g۔0,F !+e_ ˟d2Sg: Ab sl^N+J4IDЮrRTd"H> +tOiKUP<^F}TN6Mm#^M p`u{8|QWC*qm?88WEjШY{Ŕ*1C4_ԭvb(K ]1L,B"n|_(1>po Y!2%>XD2lZ@2mG޹$Ea!iC1G͸}|AqI.0S4;xPUp[ZF+}oY<h Z%)pO%M􁩔#JNH^hOZ41K4kT%=^hļ5~%HNsb?' jVÇ~3].NԦ8绶FoԐ)1J6;+8. }:-$< rE8pټggs*Q*!-2Z1 Wb¾ r}45@.-|rG!j3'چZ.r#6GY*.Y9% no4q+`rwc0^'>#LDmZ/'[>)4sIFq9eIb v>%h^0M1ӨNLZ]КR0cxVW6A_*u8cNkw_6^Yy(IgC Wl眬~=[OWчXOe8xBX )4nT- Ci^k3<\MT|H޼VA3,oމ8?M)+ o3<גq#0Nq4|:;݃W2lz^W/!i,+Z.w?ze<U׬1*=?l$b;?iUfb ;Jg~M׭wLW~+U 7u8+g(PKu~di2b!6_:=)\ަ!J2w5,U06K>f|ZzL j L/±!\J:t$ǎ gYZ35731bb768bcd606c7753bf41202cf1f0237792ca3ca72e93022ff3a13f721dde80608155e0e134c d7810e22a4b933fe3c4d7aa458f01f33a8eb825c