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  t4l ]S Codegen:threads=2elapsed=6.725cpu=13.244gc=0.740factor=1.977zXZִF! r]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r4twAǴ>_n8OOԓ+d8YκhJBv.^y]J5/𐿗?eޥT CM ?`8'0w *՝0MܭuC$>7ڢl~ACgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`IybDs] rtl 2M!$iT@9 %8kăcxrP6VQMXO>gVGn{`߳fnu/v V "^'5@ee}:dqF|Crŀ.U.Xz*GF4jP/crn8z]1V],gYZ7zXZִF! ]ŗXi%;cyR ߾JWB앓-nENHZX%F\c"Dt%۳Ji:u򼰑/7ǡf68g?Ƀ]@,W_xZo+y,Fym$_J~ BƗ1i]Cn|I'*{o002 sgDٝԪbI ֶԣ=ruhafcMBtNN7A`C6+[! [ mX`_fTD8 m˿Bݹc5ʵ9P{cLdqsze9oULj2c) [qtيaכk.=a$\DŽߘ9%< ۹ҢUa>&R,>+KUF-^H#Hވ;uϣisDo5~@i )w0,TRL2;#EֺЇ8q,+kIQG}X܊Kz߈=]ޥڻ@gE3)?9C^sHבMnk*DIoB>fF=<4$+HazXh#"d&PSP\^i~}Ћәr[Pe 5vr ;j̢,-$ܝK|K :1! zT9az cAVAgYZe65ff0c24875225097e35cf4ea3e909570f92135047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 2c9907d9e121474a29639a1488055e90878c001d   Codegen