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 bb $, ]/]HOLCF:threads=6elapsed=11.938cpu=34.616gc=1.828factor=2.907zXZִF! B]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6`V1J}l쟈z="F V@QɎ`AvDӘaĢ{ kSH g5daXۨgpЯCȤy c`%phSi qrQ4/8лcb!o?Yy]?j't:8&/~ַlA;"9+.uK tڶ?6*:<5 6CvkYY, nPU 5  =V*A8A?-m ~ڔP 'Ue!okaCIxŤ$[R`jYW8ɋL4k]8q>Rci!(.hS&'XQU4gR9Τ]fs8Q8c-%@u:&k.ҁӇɇ9S2]͜KhG(sb؎t2ddȜEPX톲 O+jyH-9oE(aHw^-h# B5 㮞(T\ݺ<RCr(?\ۭANc bmﶇDlvKK>sY<ڵkAHȒ|t2TV- ܶy-¸U6BԞ]LjHvM7qUw(ȘrZ[na+qA'@b 10X`"+Hx0+/v+s-gY:L Q*cDBK幢K$;P/̶Z( ;,ZʎE{M˦(T2OM܆!$mePY`cL)D}ByS.Hh刮<2Qˋ)ך9'byxMޯ e)yq*?_U˜YN!#Z{/U\ZpDnv9g~|l t>M k=jxm1_\iu1+gYZ7zXZִF! 8]ŗXi%9%ΰOeh3(]0&- JH $%hQ] . ]hˬ \lI>p{&c͸/J]7 7dvDH/g8Jz\DCc2|Mi(YW2Uꯇ>JgfμGR l=4[?kKu$PMs/>48ؖ#ѣҐC.+!RNQu 2uz*0Ph]\_+TǴϼD}-NuMXf?C@A8OH>cz^^ntL@cR@%3k&b`>_1w<,EL(j,n+ƌ2<:.hW'0ۊX1q%T@ZD)JūoNO?) r+Y\:QMDj*Y^>r9 Av;(#>Xj#Q]3~rbcL7VgPڨVp{ Q)5pPI`<8Ыqo%7\!aL&vK4 Pj"1pr4zG,2_dD[ \BL$BeTh̼67̥]<ڹ#RGW)G'knBu7jkȪڗJP$b`ZdC]>_R_G\5m;\­GVt\qfgYZe1f769365ad11b17636afcb9c2c6b1ad6b752add94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee8020476ccde052be8cb309e21f420c82bc6e25adbf8  HOLCF