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 d ]% HOL-Quotient_Examples:threads=6elapsed=26.092cpu=39.560gc=2.380factor=1.527zXZִF! 0|]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA% 4LژӨCf`c*aL<m=,a- s;1'UcK:X֥L3zTNQ0FB!7YZSd&:Ih2Tx:z>֪?P 8lR@]p}3Jy6]cz[$Z,#b?m<{(K/! Pt~6R9?է7%m&A;$)B܎_P> `*J[n0=v\cwe۩ſD* uІ|,Y?FjV"}t̍2|U=\M6~pNௐcS\}ޟ%K.YW@Q4|~p\8qhwgYZ7zXZִF! zj]ŗXi%9(O5.>Њ4EI0!՝V.1 րīLD!tZ2W x#]ݖ72n"/C5Q[S0a|Zi _,1mӭ@&/.X#]ܾ+Up79 V v }XЃ)R~SٸE9 8L0-v<տz# 0qY Ǵ~GpԬ" n^uA_ vħ>dXBsmbQG`롾0ה|D^S2DZ86Hadf5׼#/ vp P(8Bb ҭWvD)Rk͙unȒhb9ULrބW( b FH+Tƹ=]h򩮘^ %Akzܢ mDSꖯzt~H IU:gXDO՟,ɬb &ͻZL@MIٴZlxY7#xc qpKw;6OP8 XCTK]F2lco/H$tYS֔o0I<^m:mAR#k WetxL;yMHHSCgJJ%ciEr~?2VS";W#˙Km2C _2o~nv8"˩S*}gYm0xgUɶF)Օ?/؄/ÒL~r3I26W I*'3k gYZ940606bec768eda018f83f379c1dd75bb4c6e7231b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 702227a203ac9c30e306ece801105278eba7c7bf abef45e0b9dafcfe89aa8be37a7ebc3a2d558919 d87f17bb94a968b64747baf35db3e54686175d21 7 HOL-Quotient_Examples