SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info nn-$ kS HOL-SPARK-Manual:threads=2elapsed=4.129cpu=7.824gc=0.156factor=1.897zXZִF! ]ŗXf1-q恈׍ V*#4ZhbNta9sf${ uE@ hH狻pk[_V:?+k)rw,Pg@)T: !5שׂ88Yt#M7nd*2|n:hiMG*梌4KCFMixl) P(7ޏ߬R=e( ;^7XIjQQKI8׿9Ei8tD5gj!wM/M_hJȩ FKTvVh7j#qj݉fߜFLE:P62׻peǜ!#g[ 3AtfPAvŔBoa+7[W8@ޑqmdk_$ dMDzI~OK@N)7/xYޫ>\Q8Zn Cd?)ܐ@T'#upY] Ghҩck&=t5 ,N)Ǽ;p"MĨhWhF}H-:,n~Uސw)bڽ+0?qW=i J0 dq3(!T '( j >K *;j<S$9vBT-b4*@<ƜW-=yEy,%-}j 0 gB 8Hk [o~Zq哌m@6o{ri#o2qWߗbڹ3Yûi `("5~j{&_[n*k>O<;^͡YP&=/;[vJoRW#fM-#+Be ".3Uc'`DZ'Q