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   t) 4dD ]/ BNF_Operations:threads=2elapsed=19.076cpu=37.004gc=7.280factor=1.947zXZִF! ]ŗXf1-/6vRZjȀGL|Vdw6s1K(C>D9XaXG;k5 q`|7*V09%]'u0'V϶HNT"1;V"Ȧ8KFW_\0 ?Bq=p{3j+L/eOaW|qə2-G.tq㓇[zd9K/z{~SMzjq9}2m/z9yxy- bHfٷILա~13$ lC|ӯ^:O10xbG]'Qzu/,u75ٓ,_ `)c}52q8ܻBpYb^ %-oB gKgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Z aR1xv3zJU 5J}`Oĭf%b=nݟltצߓD{9"Sl)wsCt:P+8;]t_Fjΐ E$?5|x:yT^Z-ayJ0+EI-uJpW$uPWµdR•nh m­IWDcՐgYZ7zXZִF! eP]ŗXi%90øct9!%$% ˥6 Yw>z "j>Th$8F.xZz6!n>'O}%bI\ˍS )tC"SI/:D0gyp!}?F{ h(6H|j هtx{hQ2e;&@tWGR_aD!~/Y7(!״ 3Ynj{h2s[|am؝9));#F'sˎ5dX+I!w??E3tON]BwOeNcsXOM>C#QL1s荻-b52;p^THL (B%";)f^lQGރg;Wzڐs^ Q੓c MnG.x?Tw0(B4/z4*K9˘V61͉ykݷdsfw7?(~,f1;or#f~q^HZ"m yeq݈;.;J`Pbfd_ᅚ=Qa'/T|T!:Eg\+ BYey ͯeH2Lj~\=Cy64|Ohzj5Z`H:6JRI[I*JK?r^Գ7Vf Wb ą n?k4sn?@; =mY-BXc Ǭb0/>#_{qsgP_+ijH;?_ڏ[p $.gi}dAI>RoPWyy/qHEN3%/Vߙ_Tni $thࢍUz}:-1E'"UVA-Ctw6+s9TU 9JD؏ss >Lm'!!;j2^XXdUFTi(9zKKV tčHmG 9 J-@: $K{ 5 \!2dmi,s?4}WrǓ('B 4)c1oBWu}8dpFu_2G k='D_h lgYZd9d7f0bf5d515d207ef9315e932b272ac865b66dee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 ) BNF_Operations