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 %' Y]List-Infinite:threads=2elapsed=26.485cpu=44.400gc=1.768factor=1.687zXZִF! =]ŗXf1-/6vRZڕ`0 lO"Eu]hY,BY4tN 4o3ኻ#L&iX;ȆE(' G;rw \/\UeKhrGC-y#iU Gg{yyhږ0D8܅Z;hŠx@Ȱ6֩-ޤ/EeP-y`|SI$zƒ>=|Itc?i.G,ob0sي+O~qgQt"K"!HF<ːPoPOժGo)Jp$d[])XsPuVV ;KLzUbrhi[z^^RYz0v? qc9ӽ2++xG6#T 7 NzU7;#>Fȹp;~TG+ٱQI ۺ#'c\ DT֠LԦ-xQ7x0:\{u! YmskJ/c+GW4je%GA#-7 37eM`TRxԾ3$ەܭwAp_UXi"ٜ1$%.dJl3RPP9Dv\UG|=CXJ{8 xb+pk|HxݩC~{lihb6+l;uC}$K>Fm?TLImN0ߪ@eJ&=S=xXݠXXKz5p7U)H?`HL`lZ$Oi9U]δr5_ܓU~ۼlƄ5;\'v~AXcW|ր$왷spuNX,*Ez"29FӜ5 3ecn#=s!4?oRg:V8(ֹޮSΆYͪq,;gH_@=!f_󃗂B$nԏ\L@ۧWV{-G}7yCs8^LUr}ҫH7Y5iu7s:0>F,4pw6^GznʳO.X!Rjgpx7SsS7NUv>HWoXlὥ@!)G,Oe hESo/ԡ)phGP]vuW,uPcվHvjKF]*KG$i$)!3ג ]Tnh>PA6YY'R;b6_=eVK|Yxu ,_<bP!DszTDi>v&<MrMkB@4恿٘7v!Zp N f2m]|UoBĚAEO{Ļ@;N1ƁNhux^uhk#ad~v#׳GN{ -疤8\O9ܶTjB}&! <"cO9SL4MM&`4dO~rN2wB^7y$!TR`GԿY, ç_fVYCىn2-) A9I*)]lv,xP^WoD? *fiT[忝=VKmER, C/ley*dߪtU y.J!pHϿ>f\׎0 {(7`]}ZHred Z=HxilZ+ ;bǜ+W,6$u%Tq=a Kghfu,\h(]n!g]V l!тX7 ;@ ?7 Tޓn5}MTj~K"{8Ͼc<7|jqfMnƍ|89.]; cK^u#Se05xPȟD|gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 7e422e5b661e52e95cd6b234340a30b39b6dadc4 8742288f8b256afb5cc82dec75065cdc6f100a64 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2fbeeb7226a51e587168218e1af9e8f88e8838bde ' List-Infinite