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 \\ '  } HOL-Cardinals:threads=6elapsed=6.686cpu=34.856gc=1.180factor=5.217zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:(9E(J0yvF{}G?RB Əx3Ʉ,Y*0I8NX^@EF!B1(k-Dy<&#SJZFW;xn0 3e N^#i!9F0c1ąvּ!6iq8VzG`2TTY˲Z2+hc7ߚU47poKyGiN*E( yY=~=VՎW %3?7UuZ4m⇮862~ذm ' HOL-Cardinalsg"hɣ8\g*cدs$hK UN-x+ciKx_5ea^BP1gD$QFuyG8[[_Z.}̣gDc[r <6gq%GJ_:8Tܬ36= m4:]ftl-ɑrSi$ zsS$.2mN5=wW~h:MդN:5vC>|h_?׶U5cNwځ+c(Jk;s6K(ǺuEjBMײݨҸD22'A_DR89=dteœoav14~l?W-|~h:A ܉9uVR9 dN%B(Fg9*I^Y^1uT]lyl]إRD'/w]Ix>B6QgH|c~x ;'/ P=o8:)eH&&Jh TQam9:LS{b5)ѱLʤ&dq\"ʦWm;.BO55CVpr )?UX2RJGrrK NÈ ycT6l|ЁY +߯5>]Jp!5~5E&ɎIׄwBd8BR,S g>m AwFOWxy{P!d拪_ ={(NI-e(gB+}a\rj!scg r!+L(;XE91 G./X^^Xj诃~(GSEQ]ͧOvfvdc{ -a l{d REa14eC &+{c!Qւr[.>Gx/1"c SVp!zdYM}uceylqMSasc?v  L9sm2OiUNo$}}<ب3`Lx`-bưdZ9W -K8ƋI.W7lތ?XEҾ-/8@4~G>[:I%w*G9вNIn&V#dg54>iGtr8g2|AP#v>n؋.t|B7 ;<lA!Ï_Q!*8? ƦK(*@AL&5D6ō*z41p@g!g' 3Q2.؞tј4oBf8}q]JҢ&|@tf {2)Ja؜vSNoEO΃_Μj˪d.+E1Fk c( |) h6Ѫ}vKxO2N-{%g BOcNL*i*|mZΏEYQu*KN`O؂%r,|wjր{$'1z)E+]?E@z4l0jg4ϴ#_.c.j)'̯NR1 r V>bOdT;"N#h[ٮGQirb"O;emЀ@ 2ZUg1]_hk؄0}}$֜``K[:H'#9ގ.k:I<1Ej*t|Aop6. =Q=ulK3=x/G[6=q>AHFJ$O?^W=1Td5^̱`ty"g] Vz+' 0B뱾[fP:2i,:2>C&.:vhkϾл{6GhApضg%Bfq/urmJo0g?Hc(Xd CL„;”[PFC}B7T{ڨۭ\s]$L+'^m]C$$~z'*Csj®[~:sw8/7' %v{%K#D@aIix'4#fYý tO( P CڛF IEXaIrJ:a >',w*RΡ%ScO`'LUB`r1_q}1[ E *u LG+QQ82SR<N'Gh{\JqqZbы頢 㜾:]Qj?"('】ir*F?:tN^G@=}81clJܯqDB[mbykvC![LgF$O>șDIvS>)Z~pewvMIσq*p OmW=^NY*O Y$ ]%Ixh)Ykv4dNzsϽU_)xLke:E ߢ43LJs>dPE ί'!T Îݰ  3 lUpweOH2#4 RHL!auoF3B<ʰxf\igYZ7zXZִF! ! |]ŗXi%M&ɃdWZtdq9hS C ()A7buzqy\Af.b&yCh7δM%1ϵK`!2[gejKp&68 Ԣܪ~XA hDA;s q3JSoc~5TZxR]a:|QGq#!Cg a}~*eq>vֿ &gb #lb-i}kF kxJ Eke& Tn ]wZYDxC&~_RiYוӆ/3q^dt0L3PQ2RhVf 2`p s/By@~eީsi5@A@kS`Ro uQ.(3+d͠Pxz 鷎Ĥ.VdcX#\Sʳ˫( %**g#9.1y@6 ⥿"OO*;3--ƵVvB3pKHȔ0A>_%d'mj