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 b7 Ld ]% HOL-Quotient_Examples:threads=6elapsed=27.913cpu=41.668gc=2.444factor=1.497zXZִF! s]ŗXf1-q恈N/|p~p%+)<}$PV>n(6tީ~ γ3ipfR2J,ϮjG5#bnpjIB!r1<41ϊ^ Jfu_gYZ7zXZִF! ]ŗXi%fqE%w#%]GzI"T:wlN %BDM]]T6]4Io*/ˣ$f2%ЃVJi_K Zo/JhCȏܐMը 8X1_>U5<8>Fxčeؒ-X+4Lı^Z(wq4IG S L se꼔^f :x$*@57) /Ir/2-a_ʟ$*'4kFv _9`)M*,aM0?H&*ZzWo랯:/k"5d:s>*WRc \=Jط/'K0eſ@R`Q7 -YQyx6h{/&e;??R7AD,W0[TOZa:ѣ ! vkEw]4@}T,K; ;GY0oF9~%|8BFm|'FdWY*Y{)KoIp|nuVBЉXR9P{)KӬ, #@ |34cSXz")`9ӈdχp+K&dswnS9K٢Y%]+eU4nR,&ƀ]_t Y~z)0۩w^ #irxkY ==Yw2a}De2 h8imk|_*nohrAkq RK@Đp1I|`XGorFy-]ӂ3ITu]c7l_jjhS~χ>wI^ UdC{'1#_2 $4 1_CuFD<(Bf;/XH:$Q.W B|,[4}_SBM)Bﵗ`ۃu1+X8uRejR<IYfǗ08˚0KEmA#Dr|αuX~0+\HqF𪿩#JΡS [q^0vUp\8m.c*:fF&CDb %ڴyI8Dp>l`SC'# ??c I.oe"G.7WvZ{ H L>{% "ZEb}+Э+}N򱂞\wLf;J%aU VgYZ81c96fbbe44ead5524db156698877e527163da6c7dac346481afdceab62c8081cb4f36756224c974 3b86e4c44d3a409110d660ca5ff3fe46430a5376 fd02458c56fae68b4ecf860bc8a9815125e0b3ec 57b81b665a21f02bf86edc5eb1b2ffa458f1b969 77a219320afcdd3f320feba5e45071475fcf6161 7 HOL-Quotient_Examples