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 :7 \| ]% HOL-Quotient_Examples:threads=6elapsed=33.337cpu=48.808gc=2.876factor=1.467zXZִF! 6]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%0u4.[tyD"Nv?K|ZZ0gQ˦j|8%YD^>`Z$Rg2`'pZzE8Ŭ|YnIJ,}HPv`J%K\rf`"ZSK@>$4O.eW1wnBV$UEYXNdmRULaUe&[Jx>ynf|W<ɯgl~Sc3zk;"G[bw2PwIGIrc /Aۆdv)ۼF[ 1l:I9N4aSVQQ=S&N۪o)J 9xNԿBͳSl. *NnXæ= BADDˏubc%IJy'g瘻AV*jwr\b?iM' P^hc-0'jwdf%T`޴]g$5gYZ7zXZִF! s]ŗXi%9,}yV̻%rM@&{|A[#C{0hUɡ-eҝDb#@ge 8l QgǷLocSrnJzu1:KE^XpHNU#|Sߖ"[R0jYR:hrfb#W0b@s|=3WuC=5vr苡=SQS –HsRKe n`d˦o fBe)Hxr/"%MaWlzc@Fzat(u?(عIy]m0hp˭"O&/fxιEތi ̙2Sx@7ZEt{J (2q@F@d*;ìdOWf e/:y*y/K5W@R|J(_K7b/)$A\s*H#O֛؎#ɼDxXénwQZ+]:h omt&<7U" A D589t576f~?S@NW)D ;{ 7{]t ~2iKEvt '}ix3˄ }cnRَ 1&B{M@J!Zyǎ2wiYtV&+0vCَT "a:Y\g"Ӑ\zA2}D-+ad݊tx\Ӥ|[Dxl09Gap, A@2 + ,0pAN7>PDŽZ|6c$!Jw7 `{ו<4w-jWB‹YStչ>x[Q Ne\79#T.kTispB*K(3ZON7WM28x gYZ21d627eb770287aa11ba2cb93c158308d58e4c956c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538 18a3c5dbdec0ec1e741fccb19894f5e73590adf0 aac63c5e28d6448afdc0a9674b43cc1004bd1316 89c47f466bb58acd95b20ab18dd111159635bed7 7 HOL-Quotient_Examples