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 cc7 ltD ]% HOL-Quotient_Examples:threads=2elapsed=30.711cpu=37.600gc=2.780factor=1.227zXZִF! o]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvuE8$ ^g=(ZẌ́bLlk`ҳ [ \~Fh4+M!Y?vOIcf(}-z07g>}k*gk̟"bҘ2ID]NkPI~zij"NI *v2;'1YE`X23g˦k( 0Yg5lIqualիV eߍF8clbhb_j=\XDSb_ckSG<<4Y /?HjYc ځcrYj?=+fSrTLȅ%& 1$K"'$+~n11jji ՔgD !@śJVgC" M׾iV%s!KݹIgD$vz,H]oga-,2b`44m( vWgp9m[NG@(Ga@o% {f@U? Qd*0H gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP qfFN}ʹSگ 7{= :USf>w.x^`"٦eWaH-Z]1$΀J Q\l응ΤY"Ru ePTYYgÏdFD5a](0WW/އH?hBoȥ=Ҭ C<ʸ"kQBU#f{gYZ7zXZִF! N]ŗXi%;iOm T3hVa}2E1y锨_m eqWP$ %(s&'۷&+hl_s0ׂ, y<6$~2j >P' xDoX`-\V篝[iNd~~5"E;h0;m/.CG\=sRR? ̦ 'ڿ;Og&+t8c}q%uŬ 3sBD/uJ!:C ϚgYZd3a39c3e0b40d02c1976f2c35257641dd30f67b2634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e 45a13ea1bbae58fc22e2f70d474ab43e73dbcecb aa25e36f77667a76dfb23abed8b35a48acfc28c8 7 HOL-Quotient_Examples