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 , w/ RefinementReactive:threads=2elapsed=11.244cpu=21.628gc=0.416factor=1.927zXZִF! M{]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀM)w33\j⽅o\,N8G4%)ob۽-j= Ɨ"Cx\0U51"5 &_80Mz6˩4ɜ0dA*=#~v%{scSc3UIk m:|ojQzq໠Hozh\]}6lqM K俧lY*6[F,X}?N. ݮOۿcw^XŮ6%f#~Ksf=>f$yzTe79Wk5o&(Ճ^. 8DGrUZU0@l|#Ŵ2~22S||lj)G-=NS'&,gM ut(ƈ+8ɗ'A>#:RV{:-{m>(H,L|@È#՜K0eI_O!X&sqڲ]v0mtj{lb.wwktGA=KH`N<̻N@'IWlN"9uyg`  Sz 8VނL7Gr(ϼv>q} ra#VkB C3}ܓ.kG|>Paʸt[M+ߌض'e`)Q mFlXԇih@))Y? E`cA  )zgYZ7zXZִF! ?k ]ŗXi%s i=5o߆a%*s*6.6Mj`}/͂ r!=RE .7!m[H^Ur$>vF6s)b[mh"7(]pǥL.ח^WW0Ò: `'CA} mFd;b)9xJϝYѤ Hsv0ٞW qYk~@\<'p?E6\]F|ɗa>-kDQlhЫZB\m61y7D}s[t ޽h 1{ f,J{4ۡ3؞ 4 w4}3# |/L}ٟQ$7HH›8" ŔO*T -?!2kõ90bٲ 8ed sd%$=F*ڨëCC*ky!