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 55H , U%]CAVA_Base:threads=2elapsed=7.413cpu=14.560gc=0.732factor=1.967zXZִF! F]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5B#itg6H_1TlC}9˟}k e'u iy|#c{B%0pHԮ6`ֽG?)SG,.1!mWͨo@E!&J%OS{Aӫ OrEz|?<{kmoa1WFv4}~Wi Y!U,mt)-e2}'{aU40dp ܂;=tD߹GSko+tޤkdUk+{lžbP23ZfKfp$1v<Ӭe?נd̒m١ZkxW&$.miBLSJb _s?-\p~h3x/TsWKؗDw ԩ!9U0q6/sF'}M" lhv58GmEl^JJuZ.M^Azx섾8cn{q]xgYZ7zXZִF! %]ŗXi%6˻a^Ji䥢X|DxU2‡9SbLn^)-Iܬ74妼-ج2]c} 66Fb,c洝H˽i98h`DO,S/a7-rX:x g=y|XUuUEi\Kg;mFi_(7RF;5¤m6P¸gQsbHhSk0< sWL#=8J|di $۞ܗfE]_3>|D{>w\cwRX8jYdDb Z\TWD9v~(bъw<9=AN@II5ikex5,-WLQߚ&235wIBz[~Yg]*`niG8oFy~|xjZFo5҈Q7^g!-T8)ʀC1(ˍgg3ax2U4}аÍ/8GӠCYŻ]_ ̧/|`!TIYB/kjk(~qzu BFDG(FC-:e6V NpmMldE@6]Zaʀ$QZCT`҅ i֎ИU *Q)Gwv1qWDOn@M0