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 h' ڋ+VAZK6 wR36aHxh.XY×ۑ>~D,%,O^$*ab4T3W| ʇ#4l.9~-k]ǻ*7&He:H_36.nN0m`U&JaH͑9˗ߞ?]1=|<ӭ{J_#"s|_@wEBĊcR'v`G&Y$5ƣwI91zʙ%c*6\&p< ڎRv4|~<7& Kcn!Fl;Ή]OYEffﵨ/EhCiHFˡzcLB-QJŵA_T OICL4p3X+l}7?dڧ:zʶ7gYZ7zXZִF! 8k]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0Ӊȭ vB4'vV/#S&&)Ƃm2ѩ>#IT.<G܌ `h!Z'&LV$سYbM/VLZToC` rcp#%wt7UQ_ Q )5 ߺ^ ݣ*#1zǍK:,j/b3 QUYfmħbjxa!u(Jʿ( ʏ˚3$[,0|ң&Mc }RWR M~ gYZ7zXZִF! O]ŗXi%ή*dP[BSU׺^Vn3 7wr;) (#YIyLj"E(Ec!^*S.h40W\rsVNN@(ƿ{Mjg.J  VvP&>Ջ7EcS{E1f3/?r|rf2T JG:, ߠ2avsRCJUK}."+\GޗuLU7;JڐT 8xh}/=,Qㅊ1>T6Rqk: ȄIK/ H*ᡎJJ)p`r bU>.`>v/Ds4|F8/h^cv/kdlQyqVFZ>Fh q0Wd,ˑ#/ʄ9)k)q(TkJW1^r^(I~|Lг Wo Ь( DPenJz0wgnDz9sW3:h"/5sZaS:kAEnwRgX\OXj tL9 ob=S8J0*̈gHu% w8+"-Kxb%Є &Xу$2OX  i:gø־z8TlM{'Fxx5jT ce֛nmcuwf32qa4иJz//-D-K1W|ɏ7> O.}C6[€ذnswr8 ss?58Wai9£l{ɩ~Fr-4Pv bWAtVėM“?f[PWeHFh [>qgYZb92888350ec6965e0a1f37b625f57930ff99c0c700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0fccb7c31926dd505d9dbd177c5f23434c73f7550 ' HOLCF-Library