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 S/ FunWithTilings:threads=2elapsed=40.233cpu=43.448gc=0.228factor=1.087zXZִF! 3]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jjӡcp\wg/}!&g'* d[!x5|| kց_5pMUd*9*IJONt 0~5b{EVhxthvܪ--Pˎ0"‰X> W?gYZ7zXZִF! E]ŗXi%@n㋼c:[YxXeQ1{Eqn_J_魀 X+WM;oRT WD1V-ޟ]1S׾N@ -aQ7SһRSseOԓ _h5Yo2N)}]9ˍ#A?]8Ԝmj]qOؙQS|t;WPwU_r faqߋ8sGpS5,oG9c/nVsldШ˽u2ϺCq-WIpCIWIJ*l[9GƆRO C\ep ˸K 'D|+gGxX^V䋑:Q벂da7m/l)%O#1r A(۶~"=rҤzMe^Q:Y'oYH=#h$KY; èVt*$vS1-{A"5Bz/oЩZ?iS4+M"8Lld_ŗJ5_@^ Bk)_Qȕf~J:ribGkR&˰s HC8ɦ+3.qaw>x ._=xΥk$\0/!:Vrl$~UY11T! s:1ëf[1B]PԡeۇJ1K  n>'0f.%ko&ID!'g\}%MfEI. bL!U*=f,TVʦI5.Tru7;<9 0MzPy0Y.h&]Ka)?H%4n5VT`1cפ.9.b)?f]0~8'>ss/r'Yּ~I8X afQCxH:f}H+0U?%AcuA*,Pkf)r4e4Ur"$lO&6 Dökh7,bu`藪2,N<~bB~ ECe< +mwZvX 3vlT4$vK|!ſnesylmX>Iǯ,P5ፙpUEɶZ[g#])|&99yYل- V,IVav1}I}=(+dGɦ|fH#zFRWϼ1Ѧ쇑(w-dк汆'(7y Э%^\ȆO1cvgk&J F6+|k/Q̷x.Wp$S}5Uf`, #M\o_:<:hʧؾYcФQG~ ,2zgNِ H.HGAf,>? 3Lmo1Б׵f>8Z.QsJZbhGy -<Ϣ6n ʞFREB%y^͏>gYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ) FunWithTilings