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 # t ! Shivers-CFA:threads=2elapsed=30.381cpu=58.832gc=2.524factor=1.947zXZִF! \]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_Ǚz/( #?vh0Ok+syf;ݩp:*}Oj*.*&? W~WW4k%.*N?[l`>eX3_::[Ggh)\61Yk&>$0q,<:/&-=BT@yBѺNk.a$eɤTy=e=nƋ7^>=0m k=cbV0m0a8<>Ð Qj?Ņp0N Fc*U gYZ7zXZִF! ]ŗXi%6{B@))~?r4NeOGD5qO;ֶឩ鳇ڌh B;Mmf_b E(vH9L.p(' &.%0>.E⢏l7$ O=Ty9 8eY֓v_(+^ >d4#ʓݹ=0+"$I"~gl?{FeԮp-|fJwE[0V_4='@RnNdhhBI?6^ۭ "ƙԭQ|;jZGѦl?_I1Fp{0{{y#l1b@6'*E}WFOGpҍjэ-l  p>J~aPIfIZzX"P/Eb8r@:!ƊKTqm!˺>3f,X_ +EOp|j:/%FqXwBS'sDu%M[CD 68-ݰgsԂFen~ZN.7]թ [$;~fuk?S$b4G%qvXͮ0fyyK4΢]E}qKmq wI/&W.L<º̀-s$9kE1ƾ!-68KS.*kMJ V!I%tG[84NvnQw5統0UC^e/+PE6QfF7#Q;Ϫ-[fsZeRs~J0?z[hj_H5V]N8B_gzL046Ž]i)<묒H҄m דs Xq%:D5v(!\ ` 9m +ۑwZ-n'nkU\ٌo #4]  1,rVF7q g.tK aБ=yT7!O 2ileFܥVx!Y$eĻ*8?(s $o dw!魹~0 %-yWJq\ v4?T+rKW{X3`G3m \bw|T m) al V!Е*t'yٻ|l/X$ jX<1I`ULz^?GR ,,>`kLj:501\^fzE;tm7aǏV-D|%԰q %/Ia0pBϸ ^'HVdCJ- |!@_E9`81ŇĚ֔ ۷s#_3e4vr=l.HG7϶oJeBla~w_z`ä>b(4FF+fV,nAȔhgp3Z4z*7 BjCcF@v_p"* a)o*s*bXm-Q 2B