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  U) 4D ]]Kleene_Algebra:threads=2elapsed=54.224cpu=91.296gc=4.336factor=1.687zXZִF! ?]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLBZ-m7NwV,wE͉6],hɴ؎U%'8Hz>\dfVܩ^i?q)y7Ck1Î6R+=Ӂ\I fSfx>}ÓjV _%qLU2Kr֍( N cbIJz,y`, = S;otCSr`Ur80Ƥ?>,*8 BJš(= ~f9㇎BX r, }t륺6.&4hDSˌe@5/pt3'Mz:9;:G4s,41(W3x 'pS'[ͯ 'ILdqJÇU۴3`^%V;7Nyw^AYeA~/6tzԗxZ&Ӌ–rG2a 즆(%L1ܩ`[ַ*#Qvچ]vNJT^B\"tfPzrۦa%ajdۣGl8J_\bZsP^=a>1[*l+KuNrI=eK/V>-}!"U{NROؕs>ᢂ8ɧw1Htb;*@uy5DGCq<4nYq.]KCnqq<6+~ gb.iyMdS<*' y$8nDx ,d8 f k9ZiUv)P/oFs QXb (sX2SAq~4Þ{NnL _Je։Ĭ]l?^-nrl51^"NutD>ƫ8wT K0,sj}tFw\p"C oøq˓({5i)soE~{oG…"6M#. ) Kleene_AlgebraPh 0%>ɒ>,c-͢-!t0j I#"2 ԉ * Plrh̃7-Tp Ւ~˖^v"OzfO.M_$&ťHHbUbl/'ЃOKWH`ub  gYZ7zXZִF! \]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]emf m}# 7~0\\浭m88G`wwARlc|]F-F1QE>2%s u"lP yNicUݤC7+Tmr<&9F֪3Ɍy1BKE3r[g=X{nT#pj2 iNÂTځSGg z{F~OZ&iŭ@ɐg?ԇvք<C)}D\h6' qgYZ7zXZִF! . z]ŗXi%92+JZ/M0Ź"fL B +N:0Լ9cM澭hҤkJTvӬ-Α[4韉xy OiEuvV~XD*:}{+ ŹhgF%e(f5 &`TKe.:r 9\-E&uh1_xj95%[ϋ©2%up. 01; ähx-$ѭSZJ7эJ0˽>^,HU1gveb K!c7o*u-Ib&vTJQRjY!S:%zYV@ڿy˦X+ǜ&0S$s(])𚐖 E$>l DU`dp1P}_8.+|1%5|'Lz|"՝ { G\2%$\P勃*jsnpr:1OHљ _R3- ?l ԁB,Bo͝v?jȰz'm-Eê#CYsizz}b n,v$1&Çqٹ.~%Ń3w| Rgyd-g]}A/^ͦJ5Ia''-;!$2[8+$RlWK1"WTUWիB]lgեVQ R"o>:݁n@cEEJ=Arz7"X#Yk?*uFB=Rqhtם~K}%.FvH ~kK(H3ݪc,$ ~֊xVN PU/pc]{ Pf[ύR{,BK[ۢiUnAMH=&C+h]o~EOtܑKo^ ZA~s@Ս5M%nUKOdeyIt=M? Dw?*H(7GŖ{hSFpp_Sz5=* ZDо;eΞ0%^l*E;9Z~f(wQf^0MtgLDR-.[|#*dFK)~E"N\S0I|AJbhL[+uMU/lS`CZ0*$=4'lJbD SL5!s@y#`Qr bbMi蝺Z^2 T|'Y)lko&oc.6Q:sD/[\ h PϾM~,Qv*X9d@&LD'crvaLzW,v^|4 %qN,}iɠiliKow)L] HFH"Pcb]HYaM]*)VwWT^3{hMܒpX_xiQ@Ǧk*t [EZd-W:jK+ĪN#vÕ3*g&X> 8iހs@]%t*o[Abf_{jxU^~ DaWԢ~:}r *M4zMn^@{$+Nế:g2؂zj\VZnTq }xÏȶV_+}g@FMvn)MAF`%DEK7Fn)!O^ ȹؗꄡW_HOh{u 5Ydon,v1Uv}Kfv+pt` 8+hQԻ):,뼰a3ӏp.6H&8Ffq1={)6_D]_3n4