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 33J \, ]]]ZF:threads=2elapsed=22.481cpu=37.860gc=2.348factor=1.687zXZִF! ']ŗXf1-) enȈA"XxBT/'`a^&jLq9卑`QɹxVlPH|ea Rz7p Tq@ΘcS"_9,è WLsfUؗhsvN5pGA)Rl0 |f.0MA"e^#kq07.{!c8Tjn2KX+MKBS&~&? MGUcgV@/A>~jeN  ĻyjF _OR-#7TX lZ|Ss`@NTƴ% ;{4|G;~Ós=a8g}bր|cz7SxTP{X bT|SZ*e9#+}%31;nD[ޝNFwbNoT;9蒬Z1ʋ(&iHd,kQ~hTV5;WSZbqtMf:Bl|)wF VY"E](\pCs{d8Quo3K:7H`uV݊`kU-FKsuӭtqhf@ ?u Gɖ<YBp| K& t ' Ltk]jWmx k;z= 3dͩ8U) sð)+R⬙``[̅ xD#ۺ!vi_ mųQk@qifޖN{ Ik.IAfDƾM _ۖRҵotPͿE&OEaK+1^g S$_גk5:^ ^-N3"gzyȣMA+cGzCӺWLs]%4JJ)euxpU;ƙ 'q0gL!Q\^wr>?N5< \5ϢK#f6π_AAG3Vp8~Ѧ@\"7c$t^!=|*df9H߈x`;M*{T@y~xLUV|ܠnN`[psʴ[\;0i~*b9y(Is HwTTjjFW!c$ B4uaNL7cw ]QVY;b "qmC0z:` +6xo?e0-ASal1І\LU+HO;ssǷPAb Y$lUDaD>wA $Dں>]%tV$ G5H%W+mo;0=AxA!"`Dﵟ>Jϩ9i&U9:6O0cC [8Qr_7ypO`g+DZwOߞ͵+֔]{ f;Rf:T#!j߾:b;"'췸c]}ni;"{-;:_H\H>էxOqpc6r/l|1@ 2³FTZ_`!caKU\@ ƀe\x9VRE=r1WI K>ZcļF]1Xw6:\|r#X'Jct%E?G\Q7ªZX' _ak&evE#jW7|CatU_3^UUͪ7Q$>V7Q~+D7t\aeOHd|S&LӱgYZdd4a76cbeaf59a9fa1e398059c1fcca9674815115854d6758689c83aab18dd02aba520db4dc6bf790806bdeb3be9b5fce780a9de3b3799ca5e8eaea3  ZF