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 <7 D c% HOL-Quotient_Examples:threads=6elapsed=27.511cpu=44.588gc=2.208factor=1.627zXZִF! T]ŗXf1-q恈N/|p~p%+)j;zNS$ ̟O‡$$_Dy[˟_: -`oI& '8uKg58HM%-騆>l- a}Cu t?ݎb>bY~[2s?4Cͦ3'!<ҝ ͒)1=RobJ[#hIGvD9Npk'=_(0Ÿ(s(T8ha= $*XRid*!Mi %,% =R[ٿ%a]z/-W:g)XJ6L}8j\W7,+`(ZnHiZolgIg "+d}E$G.!4z*PlPńԂpҠ p`^IA~p%QOzJdALêͩ.4٠ZB?y(SjЇiEW itһ 9<=4JRz䀏Dvknx C c$!t(Z/Bg udMWQc_;ZE2^gYZ7zXZִF! ]ŗXi%6'E"00 XX>̀X`p!J{%?O4h[qXg".^:ul 286(d?dX^7GE̓OT%MV8r rWď8¯E.K/P`dwα?`>! &D@v{Mt5IQLwЈ@Ts%x(ޖQ2"EMvyrDrNf-/HާʟUU.021Wiu)+'P8ӛ;M  C9dƆw)GDb 4!Wf&( $K9^=0w3}"zJAM34(0uo; ~3K@dM!a4 f-[~i-jt+HL)I^]6ɡx2t3ܸ~bF;V1 k$