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   o  ] HOL-ZF:threads=2elapsed=4.684cpu=8.376gc=0.256factor=1.797zXZִF! 0]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~Ў-<7߃}CW߬ $&ùmʉn]Z Pcw" ,LFAbXh|gYZ7zXZִF! C~]ŗXiɟ1qnAcP꺣3TAaߊJJ*9#z#oRP_x/paV 7sNy|Hz)C.  - ,69dҝ@ez/sAc"wecgYZ7zXZִF! "]ŗXi%9*WڭEE ?+{}E_9CӪRZUc DUZ^2&8Q?^:ԭp7tpݪѤ}蒉g@\Cj>= k56x\|X$Cr@ (r*ivwXO5}A$R0,ի *(v+{YMH|ΪԈi]Ҿ[Ke_V*:AyƗ'Y/' l"e~v$mu]ߨ/QNȹiHb 3)Sńj!`4!Ttj$k|'p3\;$NkZ{שaY@"4 cC ֎`9Dw҇SxuDPT..(ҾJ$^^t5C+cި0 W-d ӣHp`%b1rN_wd*7Ox !/0AsN>%{~@&H+ ?ϟK _vI2miһ~RĦ'UkU^MΞZP>gj< h(^m6]i3PPUD