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  |#d\< ]S]HOL-Algebra:threads=6elapsed=26.981cpu=125.572gc=8.256factor=4.657zXZִF! B)]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5ꅈTΕM^~q2x#S=j{w)eŹ rB7қN9z{aE4'&d 9.-HA$ 9 tztkEC $9r[P^6fc@s\JgTM|{HػřϿYFÙ6Ioqj?=P Ac Hէ Ll}6L3T9a3DcCK =PIl=l1E<3 i=:)JPw(n7HFw ƱR^k= h|wZUjQ4zd."<9C&Fߝ\ PЇ*^ v~IcM-G|q>\H̉˴2c=:űdWF!h ٩tmMro>08$V"gqޡ}.%.^Md ?_^pw|#O&❃ROtp@W%Ӯ#[2a_o-uKEom!b45cLM^-;"rO2kw],Qh2rFOz/u%pͲ'LC`)-TaNڋ匆̎7x&#n1aŷũR'5ep@xro% 1$XE}\{e8Uְ`J_;-n r0uSUKVH>4 tڵS N^Яd ͸08`.yzorwgүdFԽ*? # HOL-Algebra.4BgŚcebIavNȶ#~E~*ob?9m6ri^(!7aF)v*_NaR,*=pcyL̄K8CMeᄻ,3̾DxlGYbeapf77˚7P95x^VKu%v[ަMry.4,צ:{-vP+4 x+k,7$rތjsCDpa&pX)poֲ]f>~5N~ ?8mC8 Qwo\ So(HNXuհ9O*Y{{RXFaw+pZ̰\#n8L,TX,VoŰ)ǃj P ^>S7r}Dğ1T%YNO߸;)$].U)Y &nuh G HKi~i)X,|S͝ӺwX&OXYmɻ}j-[Mo@ö$ԱgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8㉊cg GG -)^%cURK-/V<'?#{2g^TB!BM$A' =5黴mX\mrgQk0QMdqM,DO۽S޻>kLAl4K6J#3 j (й.X%6yz~ѶƆ9)Pщmݿ9.E;u Qۘ]htv/rɦ7-3eIi6A˛J>*0PY%>dM@> _֏7I|9tB1RaW `UR욗=wqDG:~\<:E/ RтWMo2֑HJdN#OH.uoO] Tt&SQo6/4 q#^A\INvUF׎@ KjDNy \쎢L3q̺Eq_!ckz;{NNx;<nqD 3 !}(G;YE@C”I RbhH`•Dv'4Z~P<<}Ϗ^MQGo,] 4&m1YP4LhX,-XJt$iSUq>h4jp_p8$:1^w|AFWJtk[0D7 ] " f}s;ȁw-%D:H8XOcXyg]X؟~{4#N'它}~4r(2T,h(<[|y)Wo<̤G-+}ԳY0E%!k$uk/JcyIgΘQ`U(287aXʻݳ;a uӕa: ЏW 6?Vj3>+|- _.i^ HyxnQñ+SD數j/)E2s¨s'#g})134@mclMIa1@orA\TN9]-^*=U2% Хnexq Y-}xl&j4|ptܕ ]E(g<F\׽ޮĄ;<<1{p|J#%bUFrQ\ʮ}4 FG3Nz5WĠVv1Ǽ9wHr6%5ci$O"jׇpIVHKw7bb5v=K@1&e_{5dS#>2dϋ  )(?_e;l[3,C$r=t7ula6f4(dȕe:\KL![0}bQϰ&Xݺn-;19w}H@1%@u/8+K@fU[{VV"Æ<dXh^{# -jK1Ȅ{[_߆x6J4$ g{Vd'KMM*ˬ(;.qUwKaMe }jPa§`G@2'oW"F[3 IӉeL D |#M6w^{V0; [Ҁ{Yr w(d[WssSsc$&$W.%JeӸ)=e]yRAMn 4T@&#T> Dh# r"lǜtf2z:?hjfr?mq«s#yp7ep&7GNo%䉎Ϯ7a\.&苅=r~7-;Zj~2RÇZ ;omHI?`ϻ2K|IYsZ_|D5P%(;igWU1te.{o9E*]=׾jJ4b5 @ yQˌ/BD&WHzwuBa~b,mE=