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 aa5 < %% DynamicArchitectures:threads=2elapsed=12.329cpu=24.120gc=0.612factor=1.967zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcm2'<#f@EOe8-Vy (ఉQlFp |P\a଍i _(p:Lګ)b=َVaK1+Ʋ1:n1_ #Cr F#0ث8]`/ҷ@Yf!d xYDFw^?/^F3>#E! @;X*)}]J|}8!_J~B @CWlӚ ÓBlLCVuU tg5*fiu3 לUܧ GQ, z>웠@ѩʍƘCѱC /!I*t'Fu)lisZw)p4|V{.ɵ;jj@#O{l-uMnp A{tO/oA 3!~E"LQ"-FFTI<ׁBnX/AF>o>W2V!5m T|1+2:mI5M嗅lȹwI0UC5@|ɢo~I{ f/= mw&# mar?b&|ndϝJG{w"_~ީD)JYMLvAI' H1: ?'9M>:W 9'arÏږ>9R#ٟK? COqbi߽Z j2j"U~Z4!a_K^"azm#8({QklqubtZ0<)gZg D^lj $\#wWp-Qwu~ɞbMt{/P$|ht#5G,.7U[־VvbuPP?ЇUyړq_8XϘ L0G+SmyE; hd{xA %}638pp\5aP#ZѐFfHN\ս9۴Sǧ]IQeZ139۝/m^:Q\t~*UgH̷yQ stҝ{#SўZJ'109-  KrB#ޕÖ@@^gYZ263443fe3ebffdac060f5153b3d13b4a04a595b0 28ba6192ad0eba9cb1fab6f2d7a8b94efcdf7555 8419e4cb26d949a1c43391c10979a39c70584bb1 f7ab05af62e85406bd9c75086bc17ea53e6639b7 fe6b76844b93f839a8a286fb51f5689d7ef059b1e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9ee976f25fde6d06c8ace3aa9617694fafb23e57 5 DynamicArchitectures