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 4= D| iS]HOL-Nonstandard_Analysis:threads=6elapsed=11.185cpu=29.612gc=1.004factor=2.657zXZִF! v]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W:q%1=|UKZ:eMӯ {P G0VqumR\11w< %5,XV :J(]XB}vCH]Pvep*ph}=Tj8jBhmBKGTӎ0fxHrkYR+W; V@4P$T]g`IU|p!tV LDu֒yO,XefI 0[.16-;띫vQmYy٢ sfi*:o `G = HOL-Nonstandard_Analysis6 bf}3n "r&S0m f&KctJx FzٲgGsT )=H/x.Xx1ԍƤU4JHi!3>718MkdD2yѷRL(3$~kցH'PĨE4}[7cw;#@A8s f\308I=M Hj*JOlҏ$>-Df@R_{jhG,i txq&-wR]QmqIEdF,9OLvVuL7Ga<0z1uLu\$ܘYDDT N0_AOV6Q߸ ehf'`( dbI>q9 rZ@#YGz*#d~[;ٲɾrLn;e_~1D?,\#[P Io+@ȹP}یA,OX5Xn_b-zYŞ- ] 5'F ĹӡY?E>9AX߶M;ȗ1B8;ɕַs!jzq6A폥;̫*Hgc`I7P?MA G>rf淧1u v/ѩ|e1|F2ؔK ]{KߓG%+3gxVk#2[EB-As/Shs!~" S1s=<"MRQI BU Fc].GKs,ۦ]\y͖Zbg|T$+|xoc%n:p/&[ [ ۬G**O.=շX¨@ZO@Mhw(9zm7gacL."7'qîUvDVnuv/CFhR~ꐗ&_C< [zk\QyP6:Ա3;K=A)Udܐ]8ZQ7YIy`"lu`) Wxi<wb 듼xJYpT3&7)Q=;Z^Ր"G:+'Qwc @z +LXqAl*` 4NO)@ɝ-dD}Y{,{5uweSV'Z)&#(-%9q3˦;8RK!h`6;I qc wR[ڋPv7]V|Y286[M8G^> Ob=®S.9l몖WK\kbe*l,y,@ġnyU%˧Ф:iAI޶F90Gůrr%4LOp,*ֽp=35޸DNݍ'Wyf_S_4uzͦ9TX% ߚ`qzŠ V&I oC0g5JiyË`3 RO<'n[%MN%hPhB~Q9^>HUAv aS HaP΅ I18Ts;u]n:)8 wr!,N蹓#X~\+9`&NPrU;P<;4G?W7bh1H'u(jx*/k~݊]6[:j¡sP3`.gYZ7zXZִF! 6;]ŗXi%X$@9J[Ѿv8J+@>؟ۃwlJ/E*(tɃ[aV-%:ł:պL[ހ<^xЩy*~=uNs8tL|ld6לQ.̸u\/`#<!h 0Z *i9L i^>WۤQĄk70ڤ'% &M{M2BG 0б5zUvg0uWwi8/RXYASh8Cβd#v6lw)|ܰX#5,hIz>pܓw_"_\'4NvjkM+VwMVs9|f6 O1]D