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 R+ ,4| ]/ ZF-ex:threads=2elapsed=10.692cpu=15.784gc=0.484factor=1.487zXZִF! ]ŗXf1-W(TA)GdJ pgD3?֯4-QcՂ%+7R!Kk0W/t!]{?1_ݮ#ǭF#=Z֫%Au)=5fr%Zry?~zZ!K.l=q ŕ',&Z$Q0# E@}O`6?10,?dl9gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\wn}%m.W4'hc]5 VYl|hq\j#Ȼx\5<"D=qrp~}3kj ZcHMFH4ۼ0Pȇ;A9~tF"힭kԁyB=$ƍrsٖ˜+8hL?Y_"=*պL3]*1Q*Xhz~}%v *4(GP:TB3,J{[wO3:]NZD_C$ǒ b "Dht*|9nM!Dr'Tx.h FB>]5Ј r.լIEpPƜh8"P0>v&x\3]2bn+Zm>W}!NjdaC+1wlvЋZJ&O _48Fz\:B{4n3O|2E%5;9/z/V+CΘf=='ig$7sW"r"(Ey-1>s7NmQӺťKXkeQc{sƫ97X] )r;H*AV}Tm%-w1O9 G̭bQppF6s0A@] 78Nz[TBĸ} ͸+齯9)!QGlg8T!}?l4M(IH譩2g?gYZa63ee83ab886e552d1f5eaba04a86f5bccef00e9047361513188e7c72a6ffd9fc0d5d82009c64e0e 04a1dfbca61db5ab57d74468fdb76815a468d85d  ZF-ex