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 ||5<< w ArrowImpossibilityGS:threads=2elapsed=3.492cpu=6.924gc=0.156factor=1.987zXZִF! 2O]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1: CY0s/-! f\N[U;EKneHhs[Ρ`=`sD6X)(XMwP:RųZF3vVpEܗCxiAㆠ2 N#P@,:ʼzCS+n؜c7΁%~ >^d+ m^ *ypWmS(Hi%+IGVrʊu "xŦo/buY uBq˘_;YW: ;z]Sa !}4i`|!b5*d7$PKĊWѥ1()PK($v5v2K!s(nqˀUDߧ6#- ݟsmm/9=,y(x(4g\m@^)d`OgYZ7zXZִF! ]ŗXi%?Sw[7ÆC"aߦ?(c+؞z[5] Ǒ|U=>ED_uhnx)S@XSl\0}z\жlWe_c6pQzћO&t-i&Q8tJEƏDMogӖ!]@=uM3RR@>yRs"e2$wT%{~\RfGe4ۆN8B{vZN뿟 FSgJqt jrGoR &/%=G, + .f˩濂#00sm?%s8 ߍlF$IGB]Rː+$