SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   4 Sw Hermite:threads=2elapsed=77.090cpu=123.996gc=15.756factor=1.617zXZִF! &]ŗXf1-/6vRZ*F"QߚQT!Ƨܲlkob\"b:U5#KYyh/4)YG[oQ TܳnՒ?h;r ȷ| jY~X/WH3;.a=PEy{TJh}ba4/Ƃ1Ynn]Μ9 vk g6•wc?J-"I)s RP1OB"L'ЏuGa0I·a?of4'6mMU|Rǯވ#X㽀]#}-ik0WB }]g}YJDva5RzphAA,T';Q @UUXx[U^c֩{j[DArF V5'/_ǩ_&gI"ťamqAKyo~X+=ןVʇ`}̃ws1];Hw|iGr"ړʿ1@UzՁsKk# 5翱t8 TM־25L,# >EOM3'r|_{*lW,˛b?𛵨 >G!Qhcw2dWLUc"VyA߽^d^W^?_ʆl̹,d2g;^_fҪ!i}aՔNj>&#"ekh%t?btggT(UvB\TEpO䶫SmA ~a?Ę|r6^ YG'Kt+qs*U^Khط)w 5㵊xX"|}ڗ<:*~=߃3J978Yv\8;} :L{:/,Ժ- dIʦ$e fڀuФGzvw/^0(`qC&utM|˷ۇo}C3OfN9GN5 7e"M hu0omV] ɥZ]4p1bH|7X ja:=l܇.rU} MZz S x~͚zKTaV_ rvqb"ʼn)mxE^C+e|*=~+[ mlA2!AYƝ:H"am2T \2QvQU}Dg^si43W_N%ܴ ܥp۱{ YCRT 2)c^U#˸kS)`8 | U1@vj+,'VD,V#PqdU:X[p8@7"nH"!7ʫx˖CsgkPFak?q-dHyucjdG5KpRLZO,գ*Hٛ`a'*-_[m je%Ac,;{Wq P+R-|;X=Nl5뭉n85,i)Pl&D-OzTg,Z &Q&D } ޅfnu5D%)yHэӣ'] ÔxC}6EW1 T RʊUy[BG0ul603|N鶼m;|+:g >ADs"lx206B6|%GRZ}Jar_4k{g [e)~VfDH*Gw~5 r0T3v.̀oX@ZĔkkߛI?xŢ贛g ]oh$1lË@bE+LMrQOEѢ/~W+QUclء{5ð}9lܲ+3c;A'NoD@fy9aVT.rp~/O <(Ja~_|A\Ц I|DKcc %'1lRVeYFϾW%2u:Lo== g UG'Q{~fts1KȎsdcޯ; 1귏*v^g"[FUX1j,bh#LT!늆/Qv*Ɨ&}Wu6q4oa 7 (A{&mɈ4aSC{ڲ7Qx>Ca)pP"ﰬ\Mҷa\bw *.Cw|zQt ;ߖ,2׶ '}"kA4 /(~݄3S>* Huapxᴏk\_I j~#CdlWdw(g Ń)._; 4sa0;W' VϪ-occ"dȳxҏX?2'v˂Iu,Dٟ ~Ei' x5xݭHZ:NnƊZ($2pA-P?U #Cop8ys,4{3p%h)R"JZ^rp, C΁9}kA[/67k!j GZ#;\SѴ}%EPqOcGb kgy0~6^ h=v&٣ cc S+Gna *z _\? Qx͏PT˜+q8qz|ĠaЙ 2~08nF&`d@3`oCPsK8VNX?C?ve">lTN%XU$hxzɛdΊ-áJ 78xf#,~ֿ[l8jbFҁ}&JQpq;Ni1&DPejM))aY+/Dm3[섧:_o&"%-Q+AJ/rSsa+XgJmAf}3Vh]cwKxHM*{oni q|s Nr} R:cTJchmu/DgO XA 6d9ԩ!nh