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 , ]% HOL-Quotient_Examples:threads=6elapsed=26.791cpu=40.768gc=2.328factor=1.527zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE,p6r5x!MaA eDx)PñHEf):GMU4ur:(#.s"_utB9+7@"Q@l[`>lXvR;>.:DnH7z޶vqxY)l9) vۨ |%K]ф[(Kr=$Z"P)l+9DŽ(Ts;u/j$d0' fc|'h`,%+~1OGj5@dJMg ݝ u=TVh A@)PG]S񗝂&Qt)٦ŜadP 9l"9!@$챬0\D"ջSSx0l!aojPڠC5O (c,2K{*C{K%~eH 8`.{6K.3*˸#lѺJÇh Wtq;٪]N3}8 Z2u᪇^o"S-?gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6Q*Pa|G2[,,}tz⁷3T}& FQ gSfIlp#(MHdy إbk& !-Vin,jcx s->S!/$ G)@ְ(g )w]NYDOkr^J'$ȳDi5%2 V~gYZ7zXZִF! ]ŗXi%96+SC/Fy_X_|gz[`ZFB=߅f<|+cT~wHRz &Dž5qP Ǒ ABcE&5k{L}F?6O\RrXmh"GF܋ \a=#b5g=4مg+7! &*Hޤ7 J.=2 |+*辅Dǎ~=m‡V%,G& >c@̜Sx9mpYe7Ķ;7b23ȕB黙kJ=5+Ei tb'x:{B919;RKb&Ef.^1i(žͮ?^!@ZZO'PH'>KxwxHҵ,T[ShJ߇1pߘasFnqHrh̀I[ߑ>ZXD JaB'2nqbz1KZESz] 3U 6 jeqfjVkeFqNxزoݞ4x^݉Noqj\hIPs1{D/B)WDa֤ݠl%rZôY r6~g ÚG-ɣN>k-}~9 m@:՝k/jb}@Xvf Z ZU,GG}Fǫ_@Q^^!v:XNIKL->(ߠ,S֭Wdn0M1!:#0~[LgslnZ4^}11)1`Gl۶9s+ɪ&eRcU7-hri%>Uڥ]Z ,h4g" 1;l"BOn^ѩ9_-,[F!jRV{ڣ{Ͼ@_ 8q?J5VCЗ\z 1%j`$窍11J^J?ȿ&ҏJVh,C{ Cg !S$e`?;KsgZx:v{jRIfH xLec6vRHQ+&߭VW8ThOBn2=pb ggYZ34d7f58e9eb9032207b6780b3cf8c270b6fb9a9d2e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6 9285dc1bfbf779be31f16ffc4ca589e124e73db8 5d06bdcb09af7b99bf3a9244d39a9a159508034c 7 HOL-Quotient_Examples