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  P P%% TD ]]Graph_Theory:threads=2elapsed=47.894cpu=91.452gc=5.768factor=1.917zXZִF! CTb]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $rxV&qnR=l yO"7_:){-Ȗ*]EۻըYy1θVX"}Yǟ.1K& oȫ"?cjNHӚNbUs2Ǧ)vH }BUloa[ Ʃksf[JsX¼I΋{ک]y\m7N]o =e&w!鲺[;JZ $6 tCj}*:(>|D)FOCR^|sW$fZA]ޝ K@aЀܳ>WGK |6X=3eĢ4>wխ90w.[M== gҳ߮7U`I~M! @N_QҰ|-e;]aKp|ϟ7luQn H 80>Ml{rS4:)|IVCl'U S"/! dew? p;ΓE ; ʔY~䚛y%*OWd+)qNa_bđ~!:O]m1^) , 6;i~㓟0Y?An"TjW^}uhm$2ЕaF<5,&m`\/1yJ<_~o % Graph_TheoryG4}StE5׭~;-%^# )KŏJ?KwB2Z9NŒsϮw/s|˻rd%,к=S_!-e:&`o#Uº GB [#lf+N#8ĒaMH!0?s( J~9PwY҃m/6$6͕Sf ENyט?d]A9NAL= ?.&n@ԓOMNlFڤQߚ:ECiY>>l] hl3lƦ W2N#5Z pX07Z٭@~vi?hɖЩ[4Wp^M37/R d |&-P >7z@s=P`@OhotƤ㎺p֌ߥ} @Rv"pi[- ~ ߪ26&9zsZjwCu˶4QEJϳ ,."= Ӱ9&*!x}[h;?hs bTĤ%ిƚ'_j溯bqeY^@ԼM-̀yHk85vebS;,~R·1+bǍЗ, T[!n2,P9,>VZ7ͣyv/ηs{9+#O5 @cn8y66y .a4r HrP§ Նm^ıgYZ7zXZִF! ]ŗXi%6?/l7uÛ(΀ +[M|۫ 0;?'r[y];l?ldt,trAKx~= o`- LӍMݩ,⡜ZU6 Q%Qq6y&s)Ͷv!WꀟlYq`e^8W&pRI[_G>NDFWٓ<5E0J}u`ZBBxich}Sz!4(88YbJAol%Țy`,85hؓ-r;~#) 7avSINnY~Y-oLVA;fG w3Zkv AMUVG>smREX⼧}>z$[E8ml!}KO/UK`<ގ~uK~HsDJ5-BA~tk119LNC 6JEqN09zQ :"5jj6Z;囃 pGO1K{WLJjLJswؠGRAsuңxuPOO/&wңy& lH vfk2}P!ek/~xz9mX;&F"op6ey:]:[ iOw0Ϣ6XI@шkI(^c?nebu|of{NJp#*Z^14NkrYy6.r.vÂIE퀝E\b![oxW]kx]S#q敍& FK[U ?:lΗMQj!~ 9dg{"TE.qhzuҝ]+g9% w+>|&v@K4[O]?c)۬=[(Eͺ=/SC!+3q}V$ CςJUaǚK?2j!1KUhY9//c#N}.=pc@#>݌YjpMv dawL.wkL5»i:]qqb@Rp,0ƧFg G|DS+Uջeuzk 4@҃_γ ++p%7@iŵ'u]M7K[@\6y+ (]'QKW4د*>hO 60ŷX.>/VE$a~<ُ2%]-&AwJ* 4c.* k:R44}3,?UзקޖH!e9Yr34$ 4-֜ v72ET>\O\~A<'F^!nd9h@0ng>XmMI:mvdoϕ ĉESP8h7PqF`ؚ%by5>I Nl8tbyޚgh9I(ڱ P{kl\mN=HżGa98_29jCzؘ8@ӎOUJQNOmB֑goFlV3\qCF[ ׎J@ <_ՊM?Y5" 0̘H8YŨk ڡ 2'AM*>nfiSQ24ZwyY2(_3WfXMpV:divKyL yڧTysZZGRfV̬[u0S.W_ߌT^16zcZMh#xeHO9";MF]RQ˨BՎ|JA%cüjIKcwp0W.im;w M/(;H7xmϷvldW(.sg:qR'midgr߻>PkY{ txxӳԱgYZec68aeef59b810ec7fd99b2760afcb1faf68d573e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031fb79c0011075c209a81cdf6f9371b413267fbd77