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 v7 ll ]% HOL-Quotient_Examples:threads=6elapsed=27.003cpu=41.372gc=2.412factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%\\DkPiw$LlUʮ$ԏ ,:$0”& B|,y7A# ; i:1GQLGJI2Q<Č>&26ovOJ`tkM\4Ώ'{Uad3 7&ȝo()nNI՟*әox]Fmj`a%rWNoVѭ FR>ps3[֏+IX1Cl>e< Lŵ~Oj[>)X bXGOc/wY Vr8O+f˜::ZOKNlƕ\죞Y\ ~a*ìjj sz .|GZqGB8-\J6V&0.ZǵpJ_jWz$@z=-.A},ȈQ2o,@c㚦$ɳ6Ч8dq0ԹM`a3Fƕ'WRސj %O ȏѿ@ 1`ugYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6' _Ya\Ң-NMGk %ff\4< {0|#7"3@Ҩ-Uom. t}kgmbAz].|MRT TPwV0kBƲ%aP/ p;d #%t<96VS>BgYZ7zXZִF! ]ŗXi%;wv{~Q^nJnwQ2c hF/i$JGaxooZߖu!"+nQȂuf^fuO1[_E{L> _ QVWxPtRl_K]WPqn>p.qUT@Kej_Or4/(WjLUIi8–gJOgq$GH*gE*BI>6/T .:pӝ@;d\rpsM k2rqi|22ϔy cqe g<#$;>.vC8MS$KcOi`ҹU/P+HۛUV3#lZk}UO2/Ȑax9h4tYLTG6e,wb%}aub8RKYR*".k0f<ɦtFCЃEϑ*h3VeϽ'@RAdzK=og.WWͦ Xp7qhj`l=%f,!Fb]iep-RWP@ù|5pRaU G$v7sB4CvvaFK7~B;\|c]&*1J6/N6ߐW//8h`<4Fm96lm ZZ`3C]U2Njw2kױв %1K4bь"Lˉ5L(#Q-m)`4 }?SX/1W4# ۸50dk)fUm2< |-}5%1}aEIڭ9R jN{+$vNca]<0팹F+)*è#H6}XB[- Y<.Y]?4KoܐG0=dD cP~,R[f6>1cVw]N}?ѤƖNn1g |`KgD Jn٪kNQ3