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 ))T1 |T| ]w HOL-Probability-ex:threads=6elapsed=26.013cpu=46.132gc=1.232factor=1.777zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e3*&9fQ]wo8ȘbBѣ%vabG5_llTL(W3<aT+"dS$=u.*T)8TA=Jo,tmNʽ:ڎ}?y6]Ym+>1XΦquw,9 1vk-z;X@Ǵ OnH.XtIȕ$}@dV8^CtiN&CҰ+J'#Tzc Lмv^qz6viGߠPBdaZenGXlIҘy:n|y#&t7px HNv6~T8d Vg*q%/M,m~Zz19~O A}h(gYZ7zXZִF! }#]ŗXi%6ưKՎZ1s ,Yn]ik͉Acbd?\0LOxH0D tb.}mʮIW>Jݒ1TQ@v PRZFooh<]C$]1g/)qW:mT9Jf]P n8^"msz}|NUtQ ^{\h0-ǀ/n~$BaTx^yʾ=yL?q>A}#Vy/7#`g*mI,iSdBr%/yRYoKey9Qnho!)QA- S=9mPO*(pΑ,9bxeao}6c5T7́_ 06y[͘ _̉Qb7Uhzrۉ4 4SU