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  x#ld$ ]S]HOL-Algebra:threads=6elapsed=27.086cpu=126.968gc=8.264factor=4.697zXZִF! B:.]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5g Y,G鰶^dRפjS82z`L2b* P<QM x&6; E-{UZpu5)vl,ӻJ)+v oA5R>ezkY٬50n=ߦFE[a\>=zsY/g>Ne8Gɣ6HЁF"*5Q|ۼb\p]ę] CMhjm!3C} e͞ !Dag[I,[S(Y"Wݖ4Ma뢐VLٲ2 4xgJCiXܲh pc} >cIx%K7pΚI)k9`TE8y*g1 j^! D8u2cr1L+5͕~?f u,;7='3<_UNn6ָ4fxr˭.$-oh P7s% >ZIJ~@],ڑWR \s {%9AcթL&HTKZ)1v|xºS46ֿŗU]Iݏe>ܲ[X B.)\T;nm :>,"#^״7_Q'[ 3f<,p4ko  # HOL-Algebra"EX B -0$e[R 3̗59m2ּX& ҋ`J/q% 7I&zSTeDjH=Q6T:%K^v 1ͩ ͊feB³cH]Jj.Clxkh14@WlNV}Y`tѾUchez\e?t%x!\QsƄsdzZKBftY}O kAtC# +{h5A/i!\aV1U|ϊb]<۶D @+ddeU{ ꥨf~u+0]W 2* HoŒPmpMkЙ(FeB{`Nz/^54 tBxMwM?WnOW+Y-Vٛ#lmS>?X #Q-08 ޭѤ "ersk!r@Mznj$-}MoyXS TZB :߁p wH'1&]O9 oѭ]PԞe`!LפM@_>yl͑@RyS|&FT|-`?;g12zDXO}}7Kv1BgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8f6G]]CowY,H 5f1 }Y-BfWĄaxo*-;"HehȄ*ߑIwGDνi:?Z BCnKprͤDOgI96O35xKBLrOH[ Ֆ-m`}[xK?0K%F# z% >ogYZ7zXZִF! {] ]ŗXi%;w_/kӺ4 dwfS)HĭHroQG=L.5M֊kjU5RXYQԌr3"P@G *\Xʡa:6>h(ZIT|GtCS9]a Yұ,(vˤZ¢gzjՍI9zˍ G+ )6;  *%JLbPABC>iP{d0TJO0$-gm_&1z. (yNj)u֫~ 6J A3u Z%%UPwcK+b &u'AZQt!| \\  RE4C}Ÿ+΢̇:'P! 76FVI$Nt4 Liӗc!-EBA\;q±1jQxs?",foV-Q=5Q9񔞡t,lȳD:4L:]`{F}1WT_oȀ%@]Eꬉ@&UdܻTAE{8JL2ݘ#a]2& ]"TyNlr ˒fɈnS/枇}cX t_Dd# WP n %VN {JjhRݦUw y3POWf>#Gh%Q ᙶy1]~Hρ]#\g"S;5Sz=`v#^-=!uzhF^ Gqy뇙d![J9 P35V M[#f] >_>~nb ypʑ%adѳ0:8*N9y+54*yɄ#sƄ)ŗ=0Ȩ"d.e! b9]j`S6tG<0_Жe{]/$}A'۵ߋ+@ (:.\?ԓW+ Y'ꜳUӐaV^oM\+ ňH"Ds'hbE vi d]L|U r1p 2zːS V;^Zj |,P.T2ɑV!M ٶB1H|t6$j=&H_0|]vc9X \Oܐhe!)ӎN*hhM)2#RGdєp]OR4%;u$b*¾GďB׭*7#Q|jfR/չRQZ/~He+!/3cIZ5Mkl, )uq:*[{?+]0_ֽNkQ!< RHMgfM- ]0oڕ|~5 vu沗ZOi֐%1pI$9`Ǖ?xQ&ɐXzؼD H֗$Dـ7)hiHziʯ!cgIsk8F#6;F;Z6la3s66kVd=mOcGrJF R8K3{hY+k ŀ$-ν k xJζu=ܟ>^:& [,>+n3< lș[fsBSDWfa#4޽ta5ds<tq}v]ߴ;q2E I,J}jovToRѐMqg~\z&ۮggdPMUT̜U_nq@/U/,GI~;GZjNcm,4%e%*-5b)# f(oUƴFH˳4jP^1JgYZ52cefa1b263993d529f5075f1145618b1d6af14654cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761f dc529e6128005b8e32c9c96b189209626445597dc150d9dadc6cd8a3756d5c9eacdb84e587cbf334