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 |9 T ?/ Locally-Nameless-Sigma:threads=2elapsed=41.764cpu=69.792gc=2.236factor=1.677zXZִF! #V]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"A.|c3͛쑾S-b'QR39VAW|? [=NNa2M _bGyO.HRרU|2 aF_M5?!݀4^S.L]P^HvW;wDH;.[axIr *'_z3=k\S @t#tv~fm5f*W74_根hf,dEu p" FԺlgYZ7zXZִF! ^ $]ŗXi%6˻hXP Sgj5HU{S a}Ioavp*p tMPk!QM KĬHu,XO2$d0 f',#MOuU 9%ʶW-E$]Vx%K ^ː:+HomH[Qwwsd@cPW '\Tzmo X[{P&}r 8p5TN^i|9fQ&dGփ-u戄ōݓM;xpnάC 4іj4Vl$CVnSb}@s҂ԑ۝O?*רt+GшqPLCޕN9—-u2"Gxp]/DkEHչB[Iu[?\)@#V2?2!c,&w@3/[vp`%Mb=mKigO96UC2 /_Z7 i-aD.ɧ6(c'MñG_ĐJSRavZ]|BmK2ٕ+"< YI-1h [;i=zd!6`Ew˹hzT8gUX_ޣYz "S':85ZL* :Yi^G}/rs}7ƙG VaT00Qhnj%=e~%.ܽt_MP,Q=FK2?]ilH=ȍöoO(0nH5cI' j]wl#/c{j")<+}/;)wQ1eZ@i6}zU$pEtk>/o?լ)#ˁ l3yѬѲvHBD^ޫrH+0&6CQhZlayCB'tWʴԑ/^QY+"ՌqVIǜ p0P0P(#&&FYȿ.BB8`,@<F sr1$ SoHPW+)}CK1?h_>;9LJ2Z$C E'(W ׀~s!0>yU|%eJ٭k~#MuXXk$C6 pԂg| cmĥ(GbI8Sz 8qrr-u"GBȎKT7U7lHVqAJ-h2^BM44 qQbfA8裂tF{.ZdJ]* z$”_`^G!zysߨ űgYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c1648e0349ffec6d2726d4cf1c4b41ce6ad77c4a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772