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 f7Td$ ] HOL-Datatype_Examples:threads=6elapsed=83.677cpu=298.172gc=27.644factor=3.567zXZִF! N?]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwqy8U*U E'˳ Ksֈ:g H-"o(H'%Lҋ0<|%/RAB.kt񕞅y&g[^K?Tt 0s#<gq2w/wu Y >ΉzX#/Sk^&&H*!((GN8N6U̔{<#V%5b)kv13i8ENjNM#i!N7܉pCL?p%>|*u ͿQg;oU}^Q9÷ !)smHS9!sy²Hؼc2N.S9-X쳨.!⥓5Kw8}\U"Iha3U'C01>;kuOOc;}ZdPpmgD DKaK#֨(4j~DlUρXWl,RD#7:M|{=RWqi]蓽MV-. C-*JU*@܆ =} L5Z/lRJo#V?.I%ZXU)#C@v1#'qG~zb6:t;A " 4{vX!F+[1O1;?AλN ôk-faQLԻ%LYIzX8l1iwarEl(\pit{Ki;ṕʪ$R:~Ux]e8I<*M0By{ܖu"dXK"Rn)T:(W r_mJz9j?h~Hw`xaBml:ۅw׈va}hkO3mUCYvAGe3m\Wʧmwvp|6@4p{6`o'K]'P *?.60-F7t74tAS)FFY ŧ*,3w>Hԇ!)@aq6Zt鬈Ԥ*udTe{=C ɱޟҚ>VVB;|,M$7w;*wϭKrj'oý!9Y:XnYˢPJ`mr@ "ba`"rH`zl/q!-X9n`;K㎹Ƌe$aKvŜ!?mJܑnU f><=XY5$ 훺qDo6CnP]%p56> -.U(.q:tCc ˔ 7f4 tD`uGdܼ}Q ab[2shpA*B~@uDzݒVQ#UY.8>kJa6I/EobX>W,ZP kk;Iޤfviju^&Qm=龆H?qkfB^>W)t/uRiRUGK4"Дudf^;Nq T8'E{`@{Ŋ6'㺕>֩bͯڟj- Zy8RwNfC ] 7 HOL-Datatype_ExamplesKkZ' ouױXܮ(:3=h_A:7(h$NJx?ka9] iU mī _v{Yr.7ݎ!a^#Ƒ Ǝc_3-$G[a}%2J8Ca9*9>7G:7$2]laʼnmʄ=TG`xWr-Kc?!#j[35%L<# R4~oT*hkWRVc*O-A5d1 \AHTճ d7*a^E}; Kdqcumv "a0u!\tInic'fr4xPeϠ4pǰCU㴇WHW| cw$f0Dȵ[s'qm?D?&u7}C|"-ظ~d+fNcܡs!,@лp$o X9/ֻؖ'eal1- QpT0\~wIPKD9&7v4WtFc))bI(mh)e˨ps+n,c2iEo8(s:Y@gwS>V!|27ޱ%+V$$VKmBcyfVߺg#MŢQД6ۧNeo5Z`B|>d w:QoZ^f ϴlj_U]|Xʼn"6INx*5񭃥rA< 'woW;Eۖ'gФѠe0&P@Xň>R?\_-ָ| z2`:Y@;ݲ,J.̓!2LYbSRJ;%3qV!ѻsӐmա(pUt(d aR Lڊ Qms{)ɒOL_sejμm.d؂u'~ZO\Eu|O\}kVGrΰB5}bTz3*ZHqg=R)tP v+煱po(;**xB²,pFW>T"uO?d4sTčNQRbQԜ~!~8$T8"K2>"64c'DQ*:mY49;P'$UAK>GvY[#/[NmPU'eK%blW,:-O܇bZ!F樃E?V+.^1c4;.J2ގA)!$=\q3q:myzLE]u Ǖ_&il`It7qܮҹ |YqyRR9~% (QaF=@bX$tsJb= ir O2eBbu@V*BhEl1|Cv2MZnXH<_w} J^m4q&QؠY7 H"6]y9z@d1AjЖi^^d`6DqV$K>b5K+?BRYr3bQ ou͆gV5K*Ug"_ٯ]Amgz eB~}]8ϧ .IOħ"|4g#5VYSi ~|M[ m#5_}Tor ʭ+_ŚKP0B:bp%\ /VuC}0]~}wWVL-(G\xlj"NgM~wA_#C{ @b4\B 2´-ʼnh0R31zsw7Gt;)Qls(ѻC*7֜.\-J*9FFv)g0==,G>f+O{Rb߄d̢ny-K^{´Yƹu.Kn3vtIN nxpMVcbi8!` pn"g$ h@TYōDž tu>MuBԲS[gПT L)75GxݔgQ2>#{ 2N_rM_qrSշߨy5G#aR~y< ?t5ʌ(CנT#?zl\Vg ?PiwaӞbY"vb_ocO~k$wR"D<FAkI-Xfί̓@ ~T.Fr?x ʷ'dyU_u<9B wIq`iF 90>x "}z=XP5YI(7'8AXli