SQLite format 3@ . YYQ77Atableisabelle_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, "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 v3 td ]% Residuated_Lattices:threads=2elapsed=29.612cpu=51.612gc=1.540factor=1.747zXZִF! /]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hdj]Z?AA*zFS^7x˕Kr)ʟfrN( ?H`W !h mi935x9e>uම~Ik}o3LR| e^9!G Yg7ڟt+h2Bxh eEdФ9.)H b~K".ܧxunst=j=OThzO 2 &6qug G Dպqs|A41 l 6)l[Yݳ}AS~m݊(1&15v-ev-@B:O:yU(էRǓkA$ڥ0wμ`è&Wi.}HEC}\)cQWFcKlnN`wk:;z t@B/Sm8 sf3TқW9m_gYZ7zXZִF! N+]ŗXi%6f'ԛ EerIodaspv-S&/6Hss07[Y}MD|ˌx}L ueLс `XvDt-~j4?3AëgEI~6ہ˚qdPRЅf /'6'TA! 1O܇LJ?%& Μ_0Rdph~7_s 5!g,8|ء"x+ Q=w\y؝ZH`} ^JCK]+YYXi bĸ;zvT?r.%}pH{_P#!JAiP۶ouEm`I2Фm9}n[։JUUE$b ߆{ɬAe fir͑Vbh+|䐨 ekЋs*I7n9l(]>G*#:_F; %g˄ыiJ&>lST>T9.m̅*40c]2\l UGp. vr;f?Q @KmX޵6+t-ÃU*(~sU/1/ClD 9auo!lznpjޫJ}Exp\=FLJr#xߋѰoJH(͢퍸#U毹IiE!C7[[Qp@BvXh9AFmUvq BE49/Ox*(a+8Iw@qʝ@)RMqItp{XP_g*?&CDqnTftܖMHE geoF.y0Es(96hc+8&9Zv'(/LVFK[q!Z+Y*ȕp` FȔUpF,+Ը4fs7^~byW2]62`R!ҙ0eeNי;KZ;?ocp%(ԋ1Uu͜4 HQ`;&1Fe-Pvrxnd|v\p#Mv>/{_Ŕ].H6e_ 5%7_;]֚ͨ/( DϬ'"[!%Tu2(_e(D(!)Y @/:J! Tc| n9nCBinQ&jם={$=WG)d494UP(I=Ė{u jt"v4=KSE|mF lx- CUϨgYZ1ac4a30b58ca9c63ec6143662c699e526a3e41cd0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 86c62a8d8ac123fce4a0ee6d182b7e268d49ebac d4aa0e16771cb192e3ab02e06ed3640f2fecf311 c78f5892a396d8a89f813f0ec229163a8fef37a8 3 Residuated_Lattices