SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 pp % tL %/ FOL_Harrison:threads=2elapsed=11.496cpu=18.668gc=0.580factor=1.627zXZִF! r]ŗXf1-q恈͐7ӺV #`91knTyڧ2F1U1Tm[IbbA"1L$ ftEp*_e#FWvR{`;ث"YZ&bN3!/DB>KfO:#X`UW9[m{UXK\=QQWv1?}]p*HrPs[;W7ehD'g\9pue/h쓔T k.W >Ѫp@{fքAVCr/f̜=WT-~6n $J9pYR]f-Fi1vMl WgYZ7zXZִF! ?> ]ŗXi%6uT8M)4R}dB$N, O@e$ʆz~r#CaSBUc^YW#` {9WOvgw4`_J± _ .KaA wr@F1AJ+^%-c+ o*L-,kxɗd̆~81$ck3hj26($.[Crq᥵cZsnQ1_G-_(K'^|QIr߶a;4==LʈA7e  i1qkn`d ;R1dROݾ^ :3cxt[G*þN-ax8. 9e:f7= 8agw\Fo:g)kXK@q1$nX HJpx pѠWc1mDAW+ݤ`6CThwo ҄PaNZtn!]PCO~X^M5~ )@T /evT|JqKne >xB$/ N$,J83Vk0mq@ ߟeUIpς\q8NNF@t8RHfi=y16H;dM5o@xPOãY6ay2xi^Q.dժ0z?-QJBVHWoh1mm1Att!-s @IsHG.EY~WSgYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 c7864d452fb7be488479a993f5068e3a5ece73da daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cce4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d % FOL_Harrison