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 }% < w/ VolpanoSmith:threads=2elapsed=9.187cpu=15.792gc=0.524factor=1.727zXZִF! &j]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqz|7|8LS}}X -coxqW=T8IEF7CxbG!6'l ;`ߩ1҉g9/^qJ;px@ߙ\~T D a{ײcgE =7eD?]+PnrTY܍FGJ,}wţSsS=v}FG?h6H9:3#4}+]ϟ-S׀є\~,Ŏ;@OI-Vͅ}]^lHnOA}xND37sO-P*7eI#yoq]$nڰdɂ3g% :lU?z b@)kdk!;dO>C )^|19ɭ6Kw%7Gyᣪ ;}J,DPM_|#KEhm n~bpx8.4`+BځhlS m,vOVFkP$&M1}iE[~׊u,! :aGpk] ǫAUL2&N 9t7HK d` wY @ԛeź~_f5W,ގopwzbYJ>B6. Nvǥ&|_za.b_[ r)mZ)7ÕYQ]Fm jVWMZăҢe$ L+gYZ7zXZִF! 5]ŗXi% `>@i@mKiz17O]JjZcPCC4SCD _tqyK㮁?y->YA5= )M)Nazt!;W&ϩ#* 1xFAD4;4Gף8F$rؑi}>cbqX9[0] ,ie՘58|Bт(çBWٙ9eQ`@= fJWT1~5X3+8u$KNRud3QnH}geCb\<{ .৩^6-SBB peQafXwV䎟d#;Bō'38EjkޑĠ%OL8mSSy C#on ar-%Q&ذFɉ3dwk_Xk~M`["zv 2ti )5"&+?ax(&*#a+QdO\a*R9;?sB^tK{SMW)7ү|X)*?VNeD(ejRpĺмSjfûsX*REX wMr k7O 1~M*d(s{h+lXP 82f#oysV75 H{䇜:;7fT `(bfBkn^gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b29711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 % VolpanoSmith