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   r3 ld ]% Residuated_Lattices:threads=2elapsed=29.619cpu=51.828gc=1.516factor=1.757zXZִF! /]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6H4i:޹Bȕ/!f G{R|(%&^-ou=_ocQaܓ5Q3:*@!RSn'Ϗp0;N< BZb>f~ʿF%~)ޕF -y'L&1l/ 0&6 p,e W0ّ'/xNeR"v1$ҫe9)6a$5"[:Ο^բ́!U"1 rhgxy W̔W$Slq?)$ G&_s!R"WAoIX`1E Uo~ޫnBkG4YTXQ 0QyGb;δSѤB^?qcj"i̓.ZK/m(]X'Z})1 VtvW fnzՁ܂{7pϦ^&4A'ڕ (hwƜGI3t'3)Nk$Vvg$݈ѽeyH _ɕ|-*aWseszAPrD/|%d7ZL{Bs[qkH7'mBg[C&hu P!>E 7:l;sr}X.pY)`F1AdíP/A9:۬ѭ ,!ѕ.ՊvzNJu% oaB 7^QU,.'~7N/W_D;BDY ^4S[uQ!CCkYM@&a {"4,>(@R7B}RFn`"sį95#c pXiw!#2LԜ`5 'ݩ3 F=M~\OD] BKrc7"9c<0Oǟ০_=Ԧ,V,ӝt6c6p^aL#`9cǯ[ab* qe4^CT/OBw6iZ~gi3H\`9 s~uB^q`#Rcĭ-]_vi|~YLTe{PpF8˦In45omt&mQrBoȇlgCxbv/ ?*/y X~HR=rH6YZΐb0Dʤ+A E._,q15,n ڌp oI* apDt,׍Beiǝ8*PQr)Gaa=i}?rk43 DAa1U(KΚ:(}*cgm nǼ2q6Jx^%6F%ҵ g"gtu-%q-볋{vK&;6R(с#v(V;BANTy{MOEto4 v=v3F/{FOb'kTrAj7[_D42y@>Npӻ^BT/ageYDO3x>0]~|l۽A]iӥE!hߜ8KA4D^5\Z"Ycf44AzFZ^Zo 8S.kOɝ}^տ([y n:fkiKA't <O Ya=$#sA-事щ5MO'֗i;̉8b3U{dž/5Y9 IW2ISt9-.ٛaS)]' :d%PFY/_|3#l=&jALm4(6ˆZWc aj)ᠳ$)[6.P/1eFFXØ><9.O;9L!♫:T'nWc +%iՊ9HktPrX3Y4H%wV0*}Ú,њj$i;R0iԊT.y(q.%FJ n?}àt |22X lqF/hc} 1hCƓ;S'>y4V[bXE=DwpCm)1׾ж]W囯$.>x/7Ll*iɖѱhгuDZ?u|sfȚW]n/YLSECAx~"`ngWHRQVK8~=t@Eleکr3eCn6x m /| 645'~/9e u*gB5ꕵ0aќlb$h5?r ?K׸6>̐:!C `s'`u~zϔ<"} ȯ()ZIMbaw6po:ˬĀ}f㹩)+5TItFء/s[yRv\ì a