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 $$Y T ] IOA:threads=6elapsed=7.409cpu=29.564gc=1.152factor=3.997zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ]}?|c +}zc+V$^=h>9c^A!;YB>r§+Ny6mD# jN;rrID\Lyg&gbn=ʳyУ=9i쥌Fn''`Ze1'GMR-o?z4 @{dA"d뜡R`T0Lsl{djawDm_خ lZBb(}`.퀸SKp3sƜ A(CD{?W ?E1?9zĦӰYw%鍔XIz8u}ѐ6&Po(e.&,agYZ7zXZִF! `{]ŗXiɟdN'LvH۹$H@ xxѩx0Rck"4I7Ef`r}WcyCKAGP8u{=ч'SXۜ㰿\dn8l7W >Jn$A zs 5x X 6 Wl:B:5S}D?rJ ּ#,\_{X9\yW Lǩ=}B9Kפ"F΅Nj > 8?3gghP(  }+gYZ7zXZִF! %]ŗXi%96Dم.-tڹMfw,H_n/)U T0V\f~S_|[Fprڐ?)պ~wKE)=rRe{b@-9y12(f魢%(-2Fu0[gC^ 6yʣeKC}ND=VT"RjñCxGmGϏ רuD;ORPڒG>V:a aOOA1Y bNTbŞhқ׭LÎ8({U2"4Z G3:9O A䊄_/n[|Z[_ma3rtg^".'\94Zܡ3j4.޴Fk8"jyuw#E۽{|f}+9s2{>hA%  A~9ͅevw%tŻ?mON8)5{AZKb'P4Y">xIFB чAM*- Z h{:Z VM5_ZԶÎR9C:ipڗ]z{T\!'Zz+ .0YRcSީ~͢XK [ޱgYZa51a1314944493193dc39b7c193a25c93d39881f1e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 1e70886f18f8cbef693338fddb2c82915e37f343  IOA