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 &&W- 4<\ ] HOL-SET_Protocol:threads=6elapsed=21.688cpu=87.804gc=2.184factor=4.057zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3T`PEr&v ? Fu:0X-+&`x)r%.)S_%}3O}n L0LJwg)ΎvޫX!Jc6IpzblQ . Se棞|!H( &`0ٕqJP)he=$ŀ jfS^ĺ!"y:\$]l"LǂK%_uH {%MaG.%4FsSo7E9c6^Ydbvr^`"V4=ewh+w ,qT4 Իjv*FQ *|2&s0œvz[mV 3kg MϴjhmjUV̾}m}:+aVTU.+< ϗ)Vn r9>-)uiSxю69w4 lo[]93އ yz$g>Q.^ď_Tܿ>cl+ WG0.uIf+nxUt:e(S"rAc&b3B.3wt;<3A,/}'"(tHi2.}I5t^?B W.wRbdoW#9Z G5#[[b!-~rQmr -`+ "즄5wdws4u yx g K>ZADt <mRƙ/ͬoR%Ə7;Pgx=\3fVkfQE,e?l tUR[Vi'@.9LpF$tә q7tML|-c##BB}N^bn}iMhM1gb:`Î5.dg-[!rgZy/(=]f ?@|%Η:kQ KȻ3K;Y} ߇H D0t@&HOQ&6@focR cT r?L1R{NXOm72o#N+,5KP2A2xSg!EӻRN7-i@d<|ݸ)VO7޽*OIJ\{ŧ#{~Pb};&r87^AWǮ} Kyct/ʜ&Es o'7Q ~r/lFźb14)tl2\o86!=U^~0=:T|?N8^ ACtb ;XY$RE.]ϤSFiMOo$E-[AV$= V7gXwr'DJ}'UX$iGswsOJ#*p$@1/!ġ4Bs>v{H߲Ә#}Xpb\O THɮͪq^N-%e+'j9oߟ>nؒJ܀7:8xAX1*|8a o8F[(قp>E7",C:U+N@BFȰ9ƄbL+y~lhQ+ %޻=)$ LԋO b5 `Te^KlS ƃ6z{n?kDYxFݩ2k#.ݷWMAl zH]~U4SV)f*YgYZ53d6e00101dd214d4c330eba55aadea7f9b83cc13427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 - HOL-SET_Protocol