SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 n7 T l ]% HOL-Quotient_Examples:threads=6elapsed=26.008cpu=39.568gc=2.448factor=1.527zXZִF! Za]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%į P~ ^r1K-;igH@;(4B]#)t/eXtR]dECIdqbZ"wyv~b#h1H'CgfR8ZHϖ3cՕcas~|R|/HyeUMƙJyц/W*tV[gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X%N1S^Z#m i%eXrx-}끘XbĒƪ='[&_2,xцº9eP&pH, 2oj09S;  g`y 7jgMieH-Yc:Ыl,9Gړ@ȠW@2@ȃ'4D%TkO pjTR̖ıgYZ7zXZִF! {n]ŗXi%9,{NgSD\ǣe߮/>M2,uLQ kjq{?ƅL}'OL'~?Q0p%\9zb}7Q7X)UQ!D;K,5}PP 4Z;u9hMPR4bOOkzTli9oICĦj;'oQcjɲ/7]AW3 <}lW%Xhwuֲ}gĖk9% c@o)Qs ~vo^,s.A3Qǃv88 s 6(+9I# XEYthH >&z 0 &Yb,T1uH0+aon Zyn5so񌥧2xe$<Ƽ7*G΃uFr4zȺ=!kEz:U8kz_D_yJ!L  !2ƣfkEթ)EJ։|+ ]=e^샗bQ66OX!~2O82y* [4LzUHSU"ѯz`գQh([&*Զ[?j C3 Cr3X E8%~0*ʹ.B1 ., "0;?iHԆT)܈; [-\,'^Xϩ9m0v^pCߨ'# <ۿNY(`XClSE i; O{({2璦o=*I鶻)F qz,\u3|.m<~`UHnzzaR|a :f$֣426F VWEQi#,=]Y {}J^\J(hO[[PM7я1@܎ܫ?:J7M+#,.2^WO Hh+RJ($J?v>6pN>iuANsр&&w#bB2 򼎽AD#I/O37x5LypsF %۱gYZ92bcdf8bedac6f430ea935de11d28922f9c3225df6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b 967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0 6c5fdf41085f3e0b40af4d3369a61e98302b9c7b 1eff1d7902131b28f08054b454135708a476219b 7 HOL-Quotient_Examples