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 zz |< ]/]HOLCF:threads=6elapsed=11.943cpu=34.940gc=1.824factor=2.937zXZִF! 6w]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVoz5")MXugGX2o biS2k:`A``)SLP>j9Zq4$$_ԛ Un@S1*G{<$j`uiH:u7{LJGlbMLYGCC@d! zkƈ#=]IZg{xG6)NRV) sbʞvԢt О"DOLAEDYv@>WJ-,]H䇀ʥpѦpcXuEMS(T;5E}MW5m1Ϻ{q&j,j-$or8U|fTy5]ᆽk# 3cۏ |\Q`p!RJ:;v fOM {VN2:@em^ݓjD:]\9 hrA|A\''}Iy kl?[[#V4ZgYZ7zXZִF! X]ŗXiɟ>Ӈɇ9S2]t=F/-P 3 @v0,mf{e<|4h|SͮYvv3dFlM<_K(ު>pRќ⡃tx{l|LEq*s(n`LWe,>D4YJ< '|aT8x9?$TsLT~Yj%i f³ֹn)v.~}Qx0w݉ u΀g^ CP-5,C25n^EQpw^]!$}SFd凙`PkݳCVp dTVܥ1yD,j@(z<\*cTr10^^emxΈ%ϲaMA~#+j]ڪI1MO'QQS0W# 5,c[lD!`dž-bEΪ/r=1EJ(ղ /+l\foZib*ĦV1$1!8SFؿm2/(/ ṞgYZ7zXZִF! 8]ŗXi%;яΦ>#pq*y 9'j HJ-.aھ$蚵KbKu=s%HEwg@Q-b%2kyUVU?Gēv R'+؋3U2 k,Wǹ+wɆOT~8;sYkH*4v+e/:}Yl0~#?2MZ@,W&H{VeK ӣ8BMЛ#Zݹꍕ볘uPHk{ߘG: CdcIPҫm Bz1з:Wn\=8e?4s R2i%V:ge)` *98>h]{)_F.#~/4,йϖtd{쮌 SKyP߮tބ9^[㧩^[FN]zEl v}`-o̖ʵ?:B-&fX$zTJ>(b<"h ˑJvzc ~y^J{&+zA3e @1LP`)9 'Qa8{{;?čYFa[ U,&#la_3^]R'AY$D0lFw)z(ͷ0W lO#F} /Gғ>1FDS':j@XZ6j<7(}qsԳymX;UYO#[qjE.w¦/o u3'jesBE\MF̕U".Xt3aRl<7Q%GzX0(kǏ.O@b~)TU#;q™==cXKS jM 5"=QCr`At=G9.@:F }hvX%u;1YW ';秩7qGQJgYZ2441f46dd7278e7a7158087a557d701838f7ad926ccfd83e19ef598f6e27e356293c7dd9ec0a36c7 4664eafb8b95b7e524d9955d44d27659b2d95702ad297b04397084bf3c65fe700ac502f45b544d53  HOLCF