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 rr - <\ ] HOL-SET_Protocol:threads=6elapsed=20.747cpu=84.376gc=2.412factor=4.077zXZִF! )P]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa[Ƀ-R^ӧ^n TEnqMh[WORGVϑ}_`ɧ.q!6pQ[qCV>KB|BCLel<)SԍmB:23$i_ý :tb% A ` Ϩ'6Kic`!8rZ#R>s"=h7x[(euϒ?<bSn[Z!l5w6B2 T83H|*hRcR[|z`:Фŏ6t{nc >oXڙ,H1i)4r]}Sgpʅ!^;@d wM4!BR& J&DИ…@Իޏ#e=Yct67,H̬d9YtJ~b`z +'5ǓSGyA3p uԳIW# g Iv5kxS0Jegn>/g(gVqG'>>z-n9ݑ  \H~:^7ާ(C.2âW;+6oFsqŹX7Ki|ni/?Bf18  F7=Tf|N蒈^X XƲ,g}k3 -rZwR@ 7W]eÃr;gbIgV$@> 9G vUVv-29u0Y9触?XLp!㑾'x!$[ӡQGق+P݈p0$E=ƇYB3\JXw0.tKתA1v;P8#[REugYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx,[67Rͧ3 ([1WEl?;\GSPt\)CWdEX)iEFjJ۸DAcaCt^L D: pv1ޮػ:v.Vt,zvpݴq?-~#~eSL7@P/L#gYZ7zXZִF! a']ŗXi%;*'(:{7^oS'";kɚ1;M$$0m@^sLvL0)aNݞ5I`Ccr=ڌqSV%v`@1:ki6ɮ# M*u:3*t cxF`GCj-ŧ:A[Uc0p\3 DܵO)@PT,br{gp^qi%g~XTy`"NNY""UgϞ}x8/ ٕ~G~h!"Ay:c^7]}G % {c۱ d4:) vgp $"Xfi?{-Zl, HW_LnUǰ+O(FUb#8s`{y=#|eЎa.|&|(ocg,W/I[rU, WoF} F~/$l8/V2u)żQp.8BvpO ǚ ^.S_K=*YT;Rk-^4L I!x.f0`ioAϻhal_ES&t ".\+ST'쪕MvRroᬔ$*v6UJZҕ0%ȑvI&67}+i_-Jwл6߅Gӭ*R3=x FuBܦo(0\Zd bc^Csx+dyK