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 q! $$ #%]Launchbury:threads=2elapsed=46.885cpu=88.756gc=2.844factor=1.897zXZִF! *]ŗXf1-/6vRZd*^6UaMWd)Yu : 6aF]avnc7^ؠ+ͳQA@`u6.\e6OũI|%B3;h!},*o@w.dzu d."%{׵Y?QZw9잮q<΍ }ǾQ1 #q)1pUXvIq&GO8śt-EQ!;vv7]YϋPf\^3?umZ=^8-vn(Y{ g9,]\#<#u q1+90ך -p0&ϖ٦ORz07UaIVqzОycQ1RЋH5R7F$If]ڳ !ʙU`nNƃ hF b8"n;di3Nmq:]"6bT]cT.8D*dPL҉%(- # Hk҄R[k>NԀxM:L>^p@ 7qǫ6V)j RJ\<ߡք1I Q{N6,8T,<Bnщ?.u5%&?W!>3vJwA^V؅aGęp;µ+B.d:̒ul*/9E[2 [i#9VҳO>W2I? U1b=pySJÈyK7a <&"NMs'X+sl !2 S#҄NoU:s?P1#'h҈s(+ڶQ$QyaKǻ߇SA=ʳ'Lq\Y81v?mu.$3o:c!cO=-x<Sד!*0,稑h%·hhi+ ǣit?UM (K`+;?¤~b<G1P`3ph Ӆb;yBs(n?%^56'5UnKܧg|펂JuHAv! #^^҄4QoX/!yՒ&UGIiIpFE8=lB#T*sK ~^ U"egYZ7zXZִF! b K]ŗXi%6wC~sQKL#[\E垟Z6濔 SW*)dL<1~_|wbDr>\Zo@0eos}!?@t"zss9VD*D7W]h-$jrh&1o>DL#~\.vXOSn0d\VRG̐Y35|joXj?ݏJMH4lJM6Ri7_l<722r=謐xScw%WFώ;?=5o`H1k2-aDbJgn2їP>ǐO EU-}9C\s "qub,϶PvwUBm7v_*LPU(<Z+@b~V*I1zC(T(H{ гGPN26!ʐ;-Iw)FоuiO-fׄDPg.d^q̕TO)GT X@j 6P1yk52GeU݄-h С$O)&+ujNrI= ڝEMFy;j>A6(f#60W4#*sH3鹞/f\ lEZ-7+98W=qD (;{5=f_5} 0JnMbz#cMWx9a,VCԜZE PUZOuˋ9/@jPD:-E4<5Jéu3嘞YhVPhY4A8uv  ! Launchbury zEI*?cc̶n7*X vO r[+y[[Yl'q\DSN.G}.uL,Ds.q7s2qWTv`̰k'C{:x# ^;[T@%tDL9I[M@ 7;56Ifr8-YJ3LS?v } ]w |YX|z>h lxvQΗ$u ;RSi@?/zW%jP\oӇ * ϙcJpO ~l wg$_I1xcCgެ B$Z71LRxwwfYJH5@Ӽ .8#WXZmS ; L`Ķ$>PDe򧍷jx8UWB83糠 ޒ[K[ݳeRˤ:IìuizPF%ibW0 N#teΕW'&|C&3Ti)DLp[:D5=QI3oa$o5:Zoh傞Sds6~Q;BYݏ1 ]iρܖ.oAY~=; jp+0vZ9^cA&fR[C;E4QKfhRnCdcVB /n=<GA̘^ξ/=(o+bn}9xlrcɟCor?x-Ctf[Q%/`B6oN9-=i-ߧ:X떋kbi[:+a3*~sk*$V[qAAKPG0U.+} wwϚ6 b^LI(4֐%\":xs02:O<  =Aj,,l ~ o>h_15q1)'ZϠOnu4xI}{-ZO_y Pu-ae7C0{dǣ¾B*byb|s+ yBRx| /ܜ(dpsvjbW҈ٕϦc6JfaG5B{f:u V(·p?zCr ]