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  \Dl ]S HOL-UNITY:threads=6elapsed=22.372cpu=104.996gc=4.424factor=4.697zXZִF! 4]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YŽ`vIDPճEGh _``b { >kmӼ K$c^8KQhJ9 8 &4g]X/lk `}_mU[6C#᥹/Rhbu5Lۗ՞G$ĵ= Z|   HOL-UNITYMD'||bPF&@g16s0a$6Dbx-gF = \Ll2(W%rpAw:zqt6$qrrȁ^b` wD:숋Ub Z*d'#q4m!&kRz& AҪ=>ޢ^^[ab'Ğ_9$gKOPKNZ;/v 1HZJ߉Ygv_gz<"Y韏 V6VIiʅ6(ut5}gnN-!C:U.*~,1.> >a<)-}8M1NuMP;<.ĶzL;@qpmh iQZ1s8Ev״z)]%(2ʧ2J@:ͧ}̢ Ů|',=A^_-у5H3uJ̞I~8pu-X({tڤ`=63pZ4(*¯*^ܐ8Ԛ{]+yxFAs-SQu oBir3؍]+^J|޵!7Ȃ,؞KPO9 m``[ c{O'2 DӲ .æ} (Yh;Yq+%w-jh6NRx%F%li9 oV(G;+=C7<3^tf,Ӗޒ=rr8U>51h#73 ryjc|la^"H|[=H~ځƣj%*p(C#lDp Ղ=n֝d"1A@ʅUBZㄕZJ@B'H ș1ғn+cdR ƿWGvLW^ԍ#;YhLfW]cJl.:\fTL+I6ӑpUO,HhnsdfбwRK5 /::'S(7oSJ"L݊:y q4"doEE h,wgYZ7zXZִF! ;]ŗXiɟ1'x^܎+t)q:W*d77eF6j\4OTCq^:pjERݖ/-.[۾c~V1> ` yWh<܇%n0k5ukdxV({N)\|rUx}S尹TA$:i](^& фaԺR*)T J-8eĒo%+xTg[5@co|cy9{ۑ鸢)dwa8cGw6jډ!d Bֹ~G$' D,{"yNDeѾ_Z2*_T̑qLGCLQ#r;@Diu]Ǎl*>A;3NoQ0!WFEe_:8zaimC^PÃ.+EjŌf|cX >\>7ÔoDB%;9CˋBq7r,G*b\4G%Vӝ_ĥv^W:ӿC*|>Ro&̒ԃ_3N^Ax!l}AEkwL%2%!_=,\? E3d~ZL"Fjp+}!oFe Er/Ί% rbZC3C]K~X*/vwAƨ94a?g+ȓ6~k^=D5&aY7sl}e= uJuTCS-Srx K $ y߀a_̨'~i&P qrGl#1_fi=cT-aF[ZJUy-cH\Dz C3mx}CK0$,wI '˻xņߋdG",(VL ޢ{%D% /kȯ,;sM!g47qXLݔ*&?^$)sqҎ5 .T dS[@MP%jS;%. d ?FBɤIKi/djs%ՙU;>."A"YGE1ՎP .mBt; =._ʱgYZb3d4d9568a12c6c7ae4d4ed9acfa34e5ebcbe62662858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c b968a3598e18f78a38a4319f8fd77de2165ed05d e0f6b783385b841b9965184c62fec3c2d37e3594