SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 XX ' | } HOL-Cardinals:threads=6elapsed=6.687cpu=35.204gc=1.188factor=5.267zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:({pdȃ9|EG&$\ʥ])=^ GpiKd)XrJ(F!k'v][Pg5WHQ{ИTExP$! WycZF6ACY-&y )?իdl#鬸۽CFPz-W6Gr(Nj[^X<ZgZakL[= ' HOL-CardinalsMVOfO Ӊ9W}'ɓUX  I5v/ƤiWZ\zWk&}g' MRd~E`ZUz[Iv}^!Kq#LqcEr&C2=Y4J H&Fic 3[8zRg}V_̢RI&SE]6w"|TwQ{8c5r9#=M::q4 t@'D?d['YDp/Ӻ?n" YY Wr6^±DcUUb?KU֪: *G *6Ĩxv|)cZʔشD6kEں7GV&g]Sn*1z#QOݩ,CYotfxSЀil2a#Y7F#̍c pXr8a$q(h1 vsHB>F#zqI#:RY0+fx2L1: L*~ZرB;%"ICWae%WDh,!/UJ` ވA0B6 9.D{M2NUk9pje~#zzO;Jm5$}k+]ƔBaAeT-3l'tĜlAD$~o&$L]gs %ǀQ!arsq5t垺-yD v'|bR_s4]l)=P| 0*5}fѐ,uRɹsXR2PH!x;]/ 5`uCI <?"=ɺΒw$7WW@V 産(¨r+ryWgnQz0rO#@OͩVf!0a+ duT^4ԒZrOVWEѡ6n=pLwŦpY5CPW-2S"r=ܔ}heSZ:8AoPٮ<k֠z6:=\eoo5on1mn!D63+33]_Y[hA~;$|#\I.2aOU%bbZ%Tܹyֽ=I | N{NGxv_/mEcpd3ygri41h2dup@>fgXG?|"36N.yBsjyPdtjP?­/lh,Tyڸ&2f/u5=śQR5pee+ܿȲ<2_l\x1^K*3t)p-Iw#q5 )DyBqzkxW Qd[!;$-Ղq>TEL[Yqde.wWݒX.{ʓ~)k'Ȣ]bKv6o4:w͖8Efg^ C! keT +e{2&:vKĖ 5,Qtr(|[wvRO5_R_(X*V|S;ȁWoË[/\6n:zuOmX̛˅:ct!V7ԪU0.JO>%IH| *MͥiPZ.88jn&wP6|aKgzG2LMYUx?:hֳ`sx 1 Cquzb m^WriudG<.f1o ]$xֵ'eӋvA0ݷ ުs]r]4Ž:A+ m>skIa}0z R C]U\Cl4*fʠՒp! Qܭy2É8Zk[W5neV,cKVp&8]B 7 N_| da:Yl.DeŁKh!{ 7h%@K"&5Z%>u %Z TkPѳA[m.u7z^ejT12 uߩ6ׯs68ׯT_U?HqY23(.MÊa]πrkȨD 5OUq7-˓9^Y -PGi ȗJ -3[lإphP꣭mn?`F3 `z$~6p0=B=˺,0DFj%HidžE*n5|av+RYk.0"B7]i jOeAhC=8D]/R o{ښz󵝎,x&>zFuǶ MsYsY1<(׀6:`.l3UUh[?,i! Y1'3~SxQyk cOBo&$|Bp)%MN86IəCr'Z՝ZX! j*.g"K#5M)wp2 ~b|$v$s;@UFc εf_XgYZ7zXZִF! !]ŗXi% .$6g >xDS] 0LGk5B{Qc(ٵ.ZH:g:CjϺʘN&ꀀ |ymOySj7ylXm4^&০(ibP~S\* Vp$5-AbsM,a7CmupAw~/bi$QCcX>>z}Nn5rTQfH3>L { Ч'%P֕U}q2ethS'y/\BrT]Z?w4y”.Ɛj?Y$e ů^10Oی݁DhHV?4H'VFO[-MRPZfVǰlޤm$qpeOE3&6S ATȸdBJ_"ά!2W umey|0m_Z 2)>}(5py0D0AM;=zeHYccDU9#%Ec)8ɝT(=uE| eYM,]M HB+']Zu@7BgǍ5jR45D<ެLgRm