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 F7 T$ ]% HOL-Quotient_Examples:threads=6elapsed=27.339cpu=41.108gc=2.464factor=1.507zXZִF! q]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE+ofɻ1֚6"v(-L>^/6hEؗc&AeN,y8"C:}i:R@b憗tLJu ӂu&q$#kt~4:)hS*@@_C<(پ!CjSwWI ,F:L-?@GG^A|)Ŭ霛9m^ jpxo *KXwL2Sm hZ!3{Ytu~I_"0OSIb'qƪ Z79{t_h°QS<;Y+X:-.H.)RMhzLCZ?Y·nggEY!?4?* [c̒2`,Z%_ppf[|`  z.gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X 4Wъ~C+a "QG:U+G1#$`.8ZexaqNSobavIyXXNsd%м*E2Qkərm?Z8JqL)S6 O2/X)!MLlpd FO- aE_$N2-ZsNCezl"xgYZ7zXZִF! ]ŗXi%96DVnMlʶp|ї:˄ So e!A;CG$. QH6cw\z;[36n#0/ lc4җ n ˴^k0^IY-Y"{Š~GZA |& QݯmkfA.`B4JG򊵨&wȔ{b#ݘ`]7fjLV}Ps/d[dW#8 hM |lrJݕxQ4=vy#]puu*|kۨo%\(uqnj;wKm$.,tPdi*VnI|3