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  + +R , t ]/ ZF-AC:threads=2elapsed=6.364cpu=10.880gc=0.644factor=1.717zXZִF! ]ŗXf1-W'S)b-LWtƺ}*dCU[Gu~4X jJf5aA ]#!O߽i _ș5AJSY|;Tn:~ϝ6>9ud15!mDh,%@Lև^|q^([ǗDvOk/(hT0GPy_1~zjdD"ZZV/>DQ4s GMgYZ7zXZִF! ]ŗXiɟ98c tؠL\^]gix}:_>3,s %($"64s4JvnN!?A6Ybjm`)Ԇ`)-;;VI cSmIv_;Uݢlkk{wj>L ed\֊"҂'ە@JLqMO'+qiI:Dz;"nV@lm\=4[-9FFEAvSA^A*@}&ҵG<2[\nobKrW=bBa×@/T 2 nk[NЌp@KP$դ.FiEBϬg8Z0wF n`7XxQFlxv+, Te/[Gf.=6}6,ӷzF/!OgFP}͆Z%)-'y&x" nDj!Oݛo3_C`Y2 }^+yX8(dK /&$5?|Ԓ' #WW%7Cz dGOQ_s-..fp]m1dѪxRaǶs^Fw+YJܴ?_o:vĬW.12MmZZȯ b˗hq@5ĉ*, {봁V2w׈fKJ M{1m Y1 } 4B]4gYZ0b36ac4c5bb43f3543a9bf316c0c78e4c483465ef82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342af  ZF-AC