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 |1 < ]/ JiveDataStoreModel:threads=2elapsed=13.705cpu=23.824gc=1.264factor=1.747zXZִF! `]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 N>-:Bh[DupG/l6OWZdɄp -}C5IG~*vǜ§ﲬ(7k[[x#Y#9F{kSj_ P\:7S1&".ţiNnw)m:IdZo@׼u|4H,%0vbJ:' Csp 1ujp~hoTo_ d7H5l/2: lt\Slq̾>F-,_t %qhFfDW\R[iU#ZIl[ə+u}ߧ(8afp) eJ&sIUs~NJ>r1ZQQ6sC >iNNXɟB>h́ڃԩ^FZo9 xtаe8Ig.({ _ ]cgYZb4686598a0b720a45f43e7f8730ed8da12f32ea379d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 1 JiveDataStoreModel