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  3 3J4d ]/ FOL-ex:threads=2elapsed=6.314cpu=8.904gc=0.280factor=1.417zXZִF! ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$,F1@i)-`hq taCr}]s)]7x+NvV|z=IؙUԋ,;h=\#q*1ۘ RD žorԉG:3O LR 'پ jCsS={gYZ7zXZִF! )]ŗXiɟ1 UtjL+S ^,bkomfn3xow.U8cƂ?e3JNb]ZTiӠouܜ[".Ltn/m/yO.t"VYFђ$t7|{[UA)OVA_֎nde?@{{Cx#uYv(L:-YGǚM_D[7"_V BX,"6^R)J/{Hrk޴VݣWډ擶x'mlJCɢط߲MQ<77xw놚5W;1D[ #Am؀stA= NyaN)ͣ#. iIW'2Lėb <5k\A^nJfEa9.$yWFݘ-r@o|ouN}{sgau惁B썅(cKmI6Y7eNX-4#*f*km+ ɘXUֵ;:823`zw-Hba>+SM&ԓJ⭺Pjt4U1r{!:Fr ׄ W 'lJb&3 SfUJh}@zB'o ~H}^NS>wW'MX1CR1xS@:b9Wh0i< zk c CHǤ|rDw45Nd%4(S ="t굴H:܃'[iB-P^Zoxo{