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 t`s* g-gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|ǪvrدTy0]~c0j~\ ס"(gIŔ JmS>Ro>#.;(sn9,It7R{n>pSWXK _ٺ ~5Hen;(4_駅:fC C-s ءҝ늴K UN֫峱g=7c}0cK[h" FƳLkҪ7XɱgYZ7zXZִF! *]ŗXi%9,vT+`PU?SV. 1T<[8L:AWҗ5ӝ=A煿m uf`1UKt(Z@tďLɢ#oGKʡ3jٜOY mniㆽ-JOBUEg4qj~D]S,æă:EJz WhZeY|Ix5˶dd+D:C9!ٿKk]i-u^o\ۉY1b$'ֳ~m@#@o1U 2^AH4pt, )]G*Š>pݐL꾤7TkNds-}Ԑ,)#d:v # ~J7(z)f5 `ϵ0y<7ErgYG)sP~) ?2Mə_W_>x^76 ʛ ?=seFy#52d%pYgYZ1b4a5c5d5cb438c3464de993989ac5b5ae5d2804db456e2182b198adfdec654a00d5bb35f7784ab2 fe2fcb00c9a8f7e31d3bcedd2758ebeda3a6a6cf187d5799ee71fb889bafc24295421115dd58499b   ZF-Induct