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/$鞿_]Ɖ>n?tAԔAs<@"/h +!(GI`>6:Eb|fT}&L?Yyf @h@sZV<^[=ˌ:^ר qrŪ_A&yn+ }*9N|Id?SRMcdPUG-RmbQnnLq-%SДiZeؗ 8s7Ve߹Rq;.oIcz!8:R$`Vmư,_)3ؓyd/;q&əb'w=1=w*@ӱq H> T$jG qu;f$9qWMg 9M5<)Z{Yzl: B67qAN0R+`.,1 !f]IN1:ĩ"ZPv*QLOQc(²H]=vgolQ i S F?&>z]Lk9i=# 1*?Nׄ ̈@ /GCq~J([I.'>0^s"?P!LخaDETITΧs9qe?/ ) Kleene_Algebra\fGT&[i%hV 6?p;H!><<"A2C4i?(;6۽m"+*{4JDN7/0 `d e[E3Լn~=r֑M+Qb Oi~]yDRsHM2LTYCgx#*`9sFuz>Li~,+LU:){;STU#x=!`ǒSe⌨U.sM5#Jv*hcaQ/7v6ri֩įįODIJmDT;u% zH঱gYZ7zXZִF! W]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]wk& XS|'^xĐlJΪlߘ"#NYܝ'{E]:]4MTF_yE K]!)M'PPȕ\B|dz1“hl7&vx.P 4u $9 Rk;P$rv4CAFZ+y,+_U2OpVHV!?z.udI"Ɉ;D}z)aCVIdUJ?v])/fC/RD?YuZx  o杭gYZ7zXZִF! ]ŗXi%;yӤvJd?TUTY>*%6 t.>m#0<N&rЀ[WcHl#+B!񽥸 [:nx"v ($FLB 7ßW)hqȨ5{gU[c\٩G)MRbcH3 7bO:B;UOBlt8Ow7 t#Z"MpFjYRŒfSY ]?eI o0@YZFXK~:&fj6Q'7!^ R0}Zڼ|2Q\ըhI_Ck+[jw^w1F NʠjU4票 }X( O~btY3" н׏4KnSCYߒXZU3N\ѹHqOϑWctȿ3<6tA %^!B|QV nk3e d(Fv<>h-WSi6u.C*ˋf8\js6]ڠ/!yJ4Ļ?mXŸs똅+%Glw0%B8Z,DΉ![ꬆr;dbdI*S͐ 59A ;t&th0q fT?){} ^ݗWn" 0ƶ#l{ =-$̮_lo-Ɓ.yS;yftoWnu͝5zoBq 7<0/ jNhw.>~vZ8[aDfuLW+wZ' `G^W}/4HVnpo$,)4=~Wx kޠ[B΁hńKAJsyY __R?Q`~)**J˰x$N^m R]/ f ƢKK1CWEglkƈ*Dp "s lM#fN{r,yJ\g&qy__=tbNly_plVZ&?@ԤƱhoxz)aN+5]hLE#}z/Zc4SRoO7Ͳ9Թq$=RMWV$F1JbdrT#iøldk S7/E W`~¾ɰsٴ* MfYOM"r%9: Z( NW]ԴG"m6vO5 K}P}_ uµO~`#,g QRky_`Da>>Yo0acc+^ _Lf6aSo!##dxѧ\\ m8Ǝر^px+xHH V3KwLGv<ˢ v8 l6#ȇ 9p~,^@Bw/kvP6\<*u[l2ӝ:stųD:Ԑ_Iע"T泯w@a<Dw'X: dJu( vqctGw2%>oqoN173,VPeޗG %b8o"u N=sDu]la\;`; u܁b!jĕI m|ЍNTv)17B^?`JhE썂o,ȓ3lr]Cʽ'1UTӎ:dbla4#G!~>O Ts.Qh8Q[6[Ah iT[AJЖpگ/SNQԇv#F_nr;,"q 'i$nI%Q>$@ "6Q3B\?yZ׭<m܌aS0Ђ } !ov@6QEk]D,nhFQm:AJ[`=[]t ݒ˦!E#ܱ3t5&s 'qbs74}|sUh0߸/ =f<(C@nDg*˒BG8΋s,f`fswԨi"?Iec B+sSs-c^=;; ;km;%b5)FAF7R~1}ޫ\} OfC,^E s<*#Q<7[ꮫZYfFPC "k\&n~)\Uߓl:YN[Mv3C8C%zb5(6ۑ2!MuE HĝS+zCn.%* C)+A`13Į4S^M獁LsUS(fYߪ|%c,eDD uЌh%h<t4׫7f ۝`TбGV`=%̊q` MK\V<>НgG\W)U"&0D^C @{i-<. *8$Ci$;aW|D8*Yz;y 0n*gz-pLQcBf|М]*AL`܍nrwhK5F_7fsVי'ìgvz6l E KgYZ25d871253be7925fce43b9a4ac5a0b19f78dcfc779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 04e2628ece6af1d725778cf37e5368e06983deb5d4a6f3e921d39841f386c3c0f67c9fffcfacaa73