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 BB; D$D ] Tycon:threads=2elapsed=9.523cpu=17.316gc=0.748factor=1.827zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`>,';QC!E(kKׇ r(Yb28 /ʳWnC~ iK!;$9JA$8l+YJ~tFü=,d+xө~:\֟}nL٢%R̡2,'&0crnD~)+N֧!cpQTh c.4n9QFoY(Ffka?;5)"q=kCɔ$L T_~;N z*WiE!Ѭj#'g6 J#+771ZQm=p%O_,m}t6R/ 18!lda^"JkF^hI3ShW*h@v41S9T9RTSF\WگaKoUZ1I(2 ENgYZ7zXZִF! ?3]ŗXi%;ŸvO{L:Ԭ*n{;40(z/놞5˜@`z%)]=W^pl9SZvdqԀ|wXmß_DރôvB ªw >"[9'&>VA#@җ4z>/y$7tOhɢ(ʸ~K=ႤكuN 5pb$|n(=c +'$1yɤ z|gZYdp~y!A=_$C-GjԉJk~S"h# o.=¨@Uf` -TD;M#@&8[ Jı,] r~ 'V2 ;K9 ӠU5pÐ{L?ѭF]^I5Zq/rh[AZ'hrG/o W<,ju8'&3%];آBɥ& lg uXsLe1ZmeTp&ZvPIKjYZfw*JQ9`uw:P f> N.R6v7=p7q)3Gd:;ve35(] SV~tO֍SV[C n-C14Ba.Y2=i~c]yX#i=n8Pi~UgYZbd49d44be5ea2ae8bd5a474846b0922e0fdc0d1079d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f c4c6c1202c237454cf221a256d9a3dc8414d754a  Tycon