SQLite format 3@ .  YYQ77Atableisabelle_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, "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 D s/ JiveDataStoreModel:threads=2elapsed=13.500cpu=23.740gc=1.228factor=1.767zXZִF! >]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ xɯsԟi#5<[]ДGjvid(6@A Sy6nH͠A Gp~eƿ! |]E e Vv Lɬ2 7`83p\6TvGy,rHjßaOطu`l*x>ʐn+mXodL]ͬ}_ڛJgK!w L*kCz}Ԩ4'4v#Yz 's1e)9ЈM9nEpy2GI(ȏ}' %qkw1spqXڦl{9(v6h%*J7ImuTjud4jpfb%V }SOf =E/^vi&~P- Hnhhz9."R. h j-. @(S2kaξ S^.y&.1M,W gW,2 ]3MD+cbꖍ |u0)Е \5q'_w]d/Ga]g* 94@Kb}ø*3:,4fW*'{s!}糍{RXѱ ^Zx;DU{b#H9Lk;v=c)UmdgiX R)rA9pEC!a?G@[OžXа¸AFO.7rS}0:3"@e3֞gx06 )u"ՂyvR Ϫ /ƨ§6ȦQɩ4wd@ U;$.G}gveٌj`L`r<е]Pn"opT@8)6-qoWV .S]>kbk3'7P{yt7 };gYZ7zXZִF! H]ŗXi%s 'TsjPq~B2?RnXʉx^$5,2m6H[ U>Sy_,_ KwlϐLfg If oփVYo