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 i' $L4 ]S HOLCF-Prelude:threads=2elapsed=37.363cpu=70.340gc=2.876factor=1.887zXZִF! )]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D( Q_㏧.u+qi/kp qt~kwRCc/86MP?nz M<<-;H|P"ڸ)S $/Ovod'\ƌ&WNa!| fވsOFʋ ɭX ZS>qk% Lka@;wc'vOƳ@ă: 5= BfJ_C I+(/#a+2TT>`Ey͜׾$o-N&[4 2ܹ ' HOLCF-Preludes-t]p {&Z%EYw /jDD])>"'X@@ ήzb4ab&~4gQCO. +dЬV!Ke([A<ا!'>@{Ý{-R1[3鉠)NB+eK,]Ǒze@ l^4^S*`U^"R'C@p9m`$fh܎4J'&"4\S j ~MJV[b殴vD!k)5W) 4Q16j~úRwZS,^͕mm [ DQ8nƃb06I[;,%ӢOJ+te!X4ꋮV4≰5)/D oǓŬth=Kߍj_sQY%؃(=3ZWA[TQZڗUi)5)WnW6: {>]KiF"՘ݭh׵ǂ6 H=TX{@ ft6vȻڡP~ MgDaLUs`x(C'6$ }JD9HC;BC\zB/t=f _խW#*^Cgϻ*f<5zA9`bv^Z&ӇuMwdӘ-y/եnϬ'(va-l `tu亞zcFtoZcu3b|N J/aV̱/S| ӯDƮNA8Y #rn[,1tU4)^"L'j@9"J& ޵:;^|eyYʫ qנ]5x"96.@6ޤ x}sIaA%!% :&r +/_%v%gADWਟ7XJB#\ $yvJZaVp|W2%z~Pp$+cB/gPx1j9M+J*F8P6E0E)Ua 9ʒht@zCj}M14fدkKǭ irPyq'C^l# 4gYZ7zXZִF! W ]ŗXi%6St36"%{ƥsjِ0.akt/ק tUy.dҩTP B}Z`et>szݸ#h T#{@gtD/#ޯԐM&k| O5huc%~ʬknp],8úX7o& 5q= iV)kZ13OߧK!%;o+ܗ@fCiq"إ$ΌӇrpUKIﺥsZWfAFq`ʄհL U:cDpG03 fk^7Йq;~8H3V[44MeBȩ<;0b!xHzG$@J?Q ErL9H*qȀVncPsuKٚGoMNa38gv}:f\ac&Q3?_g"ˏ1oH(}#~0E$Ek ';)TbnvYH$0_Z 0qzCcs"yxX7kv񴼸sCOF74%|>8(uNK<xOKZMf([WyB'ƫ42nj^^^ m،p<; u)Er9)Ftڹl.C!_<<9.'))Aa)#FydU:4| p_>#0Pw,*(_o |0u@ ,#% B˾xHV0:bŀ dYi1H7AM1&M8P·zcGӤsTn"eڝS oJny@v)t=ˬ)N\6m_'41i莨%Ӄ09[{ܶn%&e.:#7"9S{%@U>/8JaVwN}mq z*`v uq!*C1Im=U|Wz\ š\m&X<@ll/uPT " l3Jq]F)hIY궚/F9wSNWѽK0рpZi"uRf:L[]_xu((ᆪG=4-榳~Y!UX:_Uwf_.9LUP7/͕ @L_b8S +OH,c 7@V/.L9mzVX1PKt Y]=[bn#P93*q(vA"k{k$̂ztӆ'^a<(Š/@=K"6ۇN&@o,H~la{D1 X a ɠf{S3U9qAx