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 ee1 | ]/ JiveDataStoreModel:threads=2elapsed=12.981cpu=22.700gc=1.100factor=1.757zXZִF! z]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 瑙[HyvÆzGE~q4`1arCzYrd1MЖGֆ{炎+˶eЗ۪ L0Y?| rAt''1xK`a4 9ڸloEZiuϳ Z@/UU$`Xv27}`}Z5ϟ=6 M cH|-#xgİ%mv?=tfp[KEjGfZ,3=0XrٱgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ֱl"6P?ww͵K6 k(.TmC{ki5!zR{2e]h? OPP"tCXԡMkw 52.M9UVÎ+A`-0%% U+AnKr҃M_+w"dI_w7^"Y03pYуö@f } QKgYZ7zXZִF! Hu]ŗXi%9(O[ =z7H6,ܐqw#],]Τ*feW?p#5~yԅ6(0(zO*q-99:bmƆc(ߪ@q8*W74qr&Q4*^1p} ܐZҕ*t[.xwHUr %,-:ơ-q&=zceJF%۬EEtW9r;qηYSk/2#6]QŜn*ޞeSf:ܱ9!96bfd_LD Gϻzah+ 8,cC'o[p>mJ,= /r0C5)L{Tp,Z^O[0jB,lhR41M5bI*|d .{[LaQ(t&Q|YVxKB)Vdil:)h(:9-1,w#ʗD"5XOwq/B?{3%+3΢ILh!Ndݚ lRƕ&̉rTd>QSm,YW'DSUB\؎4/RPۖ|f2y3u@=?'m6uC? ӌ]}޽P:E7,@JYɜ np`'%pߚ3e۲zk+7};;T*AAVq\^Q(n&%|. H@w&jYMXؓ%vED&(ei Et}uz!և ,>so\F/JT ' n< 9GhCxVEI@f֑w5+#U.,xEΚǸ({s[@McW2spd&Z& SKmݗ˴r_6|/Śf0j{aZyϹ:A؁ I-6ct3͕e!XZ?W ATD&!r% N\dbCB?a޾wbQ[là2_ ,x7M) #Ė_q%1,/tgL2dF \w W%85  BAgYZcf7875fcdb4cd820225b4b8f2520b338390d6a6e3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1 JiveDataStoreModel