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 c- |44 ] HOL-SET_Protocol:threads=6elapsed=20.438cpu=82.336gc=2.108factor=4.037zXZִF! (w]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ\Ϋߑ;oTa/n$_)@'tL*~,`vFI*bx?\?"~vyKs0}RuYe](kpfEhnڀJ03B*@Z#rfZ,)DҞ)xZMGAX;!WUF…C&1Xu`ft d~q^ PR,T5VFd\ca)\)%Yѱ |t g\g39䫨xBԦ"~HE=4r'݉bZ1rs~v cݲYQLpz)ҹgƻj뼩c<~9fe۶$]]ŶLU)G>6eŗG? '=plQi NOpY+K,2 t:q6t'=( q kFAF|%W}U\]V9[ə@$Ot1WU8P i2хRhJ(HB8Il7d--b\z#\ %[s{6G 2XAx5I<>^b#9T!z5Oẽw@᫫Ukp^uPygYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxdem?&kqyZ\\)FTepWqi5\p&\^"u-*F'Jk}}qh32a}5τ+"Qjg]aP6-k7G@`T1~V1)RX#!+t1il7FBTAW_gYZ7zXZִF! a]ŗXi%90&hiOG,ʍ^FU٫VyxNo/oIc X1߸NNQ Ps! 'ѿŀjy rI0vH89u oIPBfۮwtO$]smfj# "1!`H5Ͻ$<9ETҘ嬲SwGU- }& 9dPW liX3Ճ+TrIW#0L%PJ!%\4\vmN]2ۋ2c<iԍJSYEU}^CM5_[Wn!gX5<96/TD*{` "ʈv|${ y[10%s>.\XqkpkK[ړ^&陾i<HZ~ @6`-1Z>PM>gǫ4=C@]Zѧz1+O;cmw!]Hƀ@JY€MtgJpZDHLItԳIF2ߠ5yj]ZPӛ "u bXA"@T(53uE4[' B ;%Y*7xITr"'•A9ZWFٹMQᚵo2E$v+)"w-ePߚ"Q0|JsYuvauM\zk,&`-KhB t+I5g~%i$cUQmwbn Qezv:b*3ZL ݀h0u:#+ bh|(R靨vٝO k0:jtFHt~@ B&c~  a(S5X{)a`C%}E1fMP27-Cu+&pxlJmcU\Ɗn8 !fo!{Ykj˯LnO3Y1XCQyY =fTc^/W1 .&ҸO'wTJS,j+SHq- 8m@zzJܪ$J 2[@q(>0nY*'p0nrBvp+ 1bt0^l~f /1O"pid_Y-[4;sVlkGUA )|#f~߾L\Ť|d>dʕZ[7=WyP}Qڃڒ@baRy[{mA