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 A3 , w/ IEEE_Floating_Point:threads=2elapsed=21.520cpu=32.724gc=0.564factor=1.527zXZִF! L]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwHj,( 2IB'Bi8PC;/yihm` KUgwz-A؉q "J6{>1'H6 uΧ+jpom%cƝF3S*,xJ;ˡlŨ$Qd|هH :R='<ՂR5g#vN~}Bck8kɗpַ O^]aWaYSD[3߮$>?ሔ\e͑^m3^d#$L*mmGyYC=$ fgYZ7zXZִF! p]ŗXi%6.dDH+_`pۼmKהH<s'OT/5-tCq@:.x )}ew>pHh޻R|]苜x!G|AKBPYa ssJ#'BW4,Y61? 'G5Њ\K]clkW\6Oȇڇx{.(QaK3 }k}[hELrluVi=]/^ ( *ndVƅ˨\KIY#?YV hժ$N1 me2w1#f?_W?绷b%#Eӻg}=]K",L` /-&:dj G׈7, !):ڪ!#vx\J3^l5=3`G}gwxAWϐrWqL \6P?= d wJ\`0O}2'C'C\/Ƃf⋓c72ɛ\caB~5!2/ ;ދ7*q]Z %v4hn)u^ m+BI(xd3Nka@Am}`+4q(2X"4CY&8C7ڱzck,'`<\z}gߨM}S<ܞ^[k# 8j Ƭ[pìWbcf`lnBnkeu6Tw6+5JF7(myDV5!T_Ə??Kbx } VȾZn20d2_Z#toLs{<4 2ۯ,ͅ(g=♤:=9 GoRIy&Gk.dcW5&!!J{cz) ̡ҖjAռ(x5>[I{@{!+Ily(?aroxhϰr M}b1"AI{=ѽ4#J) n`Z#c:>gV3mx6{7qf"&f>\ #+asm]<׷>6>JXH8! ŰxE$:b;٧hHɮ