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 q? ]]HOL-Computational_Algebra:threads=6elapsed=33.358cpu=105.504gc=4.140factor=3.167zXZִF! .\]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(=Q=fݞeOͺ}z)_ĺB򴻓Ʊ@t數~MQ\F6ش`fvb V> ~P۞}W v6,ЙJw&PDqTQQ2 T}n&9GA ؠSy{yH} +3=#swʏ9/R?oy#@mF*TRAتGՅ}kΖ  ? HOL-Computational_Algebra'/>X1r3̐3Jfa=u9  o>R7&\A;Bri}qbOh\S}]H>-$HW>,G5ϊ^dOC#C:W d%֒v(Qp$)"?u^wGX"oZ؝E%(~0OJ;Y{%6_h|*(u!k ?G<8E@&϶jω4 ֘&,ۻabwyU芹@"]|=`N[&vUx /S6YՄJU0.o}$_ @fHX͉XT桙ҿŲF歺ACxSls~y ;c _[yKk؋tR(H'1cMYd{|)͒G7jnq׭{O.eHQ莧U>ªEsJ^ k&hɅ$;I'5O1G` %V!ί4 "RjWsH{Dj:Y f0 ZW%ir#I#I+;9ZP21fay gBMJNA)%B*[`?ªy+T 㨮d-fY~2ϧ2#}DrBBuC^AOywHp*DYE #uŘ(9>YԍI|)eA"㶲QG#J꜁Je񏄧1  |P|lzm:Eh6nn,](oJ'8+{U5}Q \c}WgYZ7zXZִF! /|]ŗXiɟ1& [da42&iƍ7Bl:sL,?pɄzjmhD%J _z% bMG7Y|s(R?-`)dG5?hT!&փvL\(XܳL@ÚbedqP&1G% :iiK8=cny:yL!]LlP 1.ѿH]xyu_cu 8V5Pc=)hѧ+OS],"En%F0yjMQ[)LW IX(}41t岟PMw# o%egYZ7zXZִF! 2 ]ŗXi%6Ʀ3:9ZCjMf.;6(YӢ&'$, Sf,cD筷/tK%FYV&zMm9(O<nj„[NIOSu8Dȕ9GM2n Um'2Q%Xq 0}ZR 10"&l . `Y:qS >TzdJMTY,ʈ|i0,An:MQ3"4K0锖miv_ScE;AF('Fq 68x}S9cOU7THFSEAz]K5%ԌM؄h/.~0\hL ;*#p)*"Se x3i> 8vzv,wYcmS<))j01^@SDj J;i\vA+VCbվ1V[pK1Kxhi$~nNBȁ4+|PݐA }bW` pk3<Rs@(}+jf6&{$G[w^/ Z>kz^k}7|գ[Py3DVt#T}Ħ}xkE'ڗ0ۖbkZ{s.\iɇgU+gԸ7~Udtaѱ. >$4 hQ;gkTS3 w(h'-n1/C<G/*vFM€my:ܩQWoH?R@1zQ鈹w?b89R v0dr*+ C~Xo1/1ηAg%2:%)xCͯ% U7*y؞usƏS΅|r伙 J/²wKldʱYx0T}WSRd?| r46a&wM\j ZB L}:y6Mۻ;#U~:En{ə?iC7փ[(z"YOY`ՖҦQM=-ҴAJ;LmywKIڇqs\~=rԩi0vL1 !'7O(&jFƆAb0e ԥ\{BMڏ<{th5H5UY6Y}G],_%Gq63EP7hd:¡+阝+'h~9P4gl WJ//}`VQCq7}mPfzlˌm?T12<)jTubp7ZrZطz}j5jK#ڄf!':jKM!0Ӌr%izcQlp~S]tB_uXԖ3.G'Q__KCMT棚*,bv(=& k+6C wӟU~{cD<%D&Y̢u:W790![ʏ9ʸ@|ǎ pXnM~O1`T-ȟ`M03e]R*X(GP,k=mqʵPߓ|[0 ,%BI7B ̺˄@ˣZc~(")H]y(zJ,ճDkƘ=SXkj3LI~c*3߁0v0 [#P%i8PJuIb/y#)ݤUOو ΢ iɱ:Õ¼A pެ/K tH1GW:Ns53&>l5Ƀɍu;+9=E24+ 0s>7?ӱ@o\q֑DLh ޑ5Fw03u;13砧B@qZN:g#RcpzGs'YGjKzqA{ ۯl<];C"8S]X$}m$:ے3ӥ !E^Kǰtz"_,'[.İԻ_Y~vR.gvIUnݟQelwj΍H2nnNةK9?$8 Y(SO3Q~(-2MQ)tVq??X_c@s],uDw̔]oZZ&lt=ٶ(Ε͋4}P2xշo3.Yk