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 **S L ]/]HOLCF:threads=6elapsed=11.961cpu=35.404gc=1.844factor=2.967zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA:=)&OpD=fscq@][eJ)C[ ;C먤" B>g#dorDƶ m^ڟT+/ EóyZ)Q`=ݛOb,+lHv ŸEa/1Pcە=^AaT˿*PSLÛ .fOX?tqz<+'=G?0^r'uG[0uG3lbnrׅ(4DI.e;ʹ5O86< T>/l1cR<+n;/L̥RGe@kE#Sx_Y ?r5G\ -۳UX1[f(uSyl]Eũz:2Z{&iMf) rk-Ճ_N iڪ31!zNDaۚY>X7ϱb<=ew??k@Ox@Jt y[ߜ:N[_"]b$w^,P̱"š:0Ǜp ,tsOA#iggYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]wm¿?2OI9oQm7 O+x+S@6u,dS00JD!Y[|gF!fq84&~1_t6Du߄wlpXwRCFa'2M3H/ArԌU&vli*CgqKh~|> $GIݝ)tH/X# h0&'=btV}[2EίJFHa(j{ickF؏ Zna=8)w7p01vDa ӵK;>#)!cvPn@F0t\͔í9 ^9yŜg]ZSsHOE(Z'[@M0fiI&-_SÿdOsjıN>乒%~3J餜凞Níu^s?DKJ}|XW=bqpWE=`M&c mgCOao/;i>WF@AipgYZ7zXZִF! 8]ŗXi%9#iU$_ h/&<4S#s!aF7"2z g>{uQ?kP/ ? +UW^⍳ν9l:doJ;Su˄2hRH+ά=D?>AOs/v^oxsG 3?j X@&R MepsxMAmyq+GMYC̸%pjϞ ̴yHE)֩(dr |=~b T*WxRI>RQ9hg!4@t/>{b Lbq/;('Ǟo!?S5(A<ԡcꏰ>;N5jKfBkvW'{l`SN·gyCr+kaĮ=8Pob_LNn4}v7i[o0ɊTF3ȒR8]WuKFk(;ykogjwqDUntm [sl}sP4U[ed͡2-#S*E}*ʜ{@k҄AųմJs 6[gY!A_S 4 @UZѶP?دȑYvn~wCn70{}#rAу)~<*ux]j$ԯ1!!Tuoi8V4ŽK[Gq'¦i%@&DIUR@9f#00y3dqj8~W XBMvbw Kǔ uk$˃@ \!tLb*uGb2K#u{JR|gQ_`"zG3{'bK;,c ޵jaf*SըMr~1dٳp*#&/Pf'RX؝TlJ;Q4hȇ?FFVb#GQSRPq)[gYZ2441f46dd7278e7a7158087a557d701838f7ad921dae994d72a426784accfc4f3275f57abe406926 825dae3757483ec2a6fb4864069860afce4ab1433d47efd4fcb0a7ef97675ca1805dde322faa01a6  HOLCF