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  8 8E# L ]]HOL-Nominal:threads=6elapsed=5.929cpu=12.712gc=0.652factor=2.147zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ եPTTl@YTM^G*&i!`K _]z> SdyBj%z:NSKVȚsRTh_4q`L?u Χuo]ǞΟs m$D kgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î9eީFc,As|u6"Ni2p`I'{J}YZ7zXZִF! i]ŗXi%9(R2Ai !솱UOCfk(b7շ&n,y@bN7BajacR[Ib@i^wn:|^O yNnť5IݪI̿"UӰ|{Oh@"y0Ed-Vv0N*Ѓ1( uЬ \Ծظ-9|ցxt!) E"ܦcdyE X!(W k{.Ƹ85uȼ3"w~HJJ CV)z` 3V!C뿲w=6-zHL;NnI{L`h6o +E,Mf0,UbkhJ( Jper{xJ@*)13.Q(MW=vF:KfJ(оƏƕDQv Dc5M rv-ZL@xa!~Yʉ#Vwdo NS[