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 ..O 4 ] pGCL:threads=2elapsed=34.242cpu=65.724gc=1.776factor=1.927zXZִF! 6]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8w5p=%Rܛ/yS)= YCi4_#x볖;N4Rm#Uc6jBN w-[՘#cU^ɻ-ݯ%4BŸ]0×5#*{3ݛ,ߦNΖ(邃r=n*'Nor3ugV5UBXrh3>vfj/&mLp5Ťy^X*o)8ِ4c 9@Wm!j^ #l.jۍ׳-arry?-{GtG'ؚ^ܬR390jNY cʝ KdRY-< @=ྪAXU6Uir0G]0\ɼu(Z4%P0Na8 s--~@׹Eqn(Ay(kǩ&ŕe&%6џ|-)8AlljE:x1蔿c,+AMlpJ~`.#_32"u.Yң/i .r1bgPg" RK v<N]gYZ7zXZִF! L]ŗXiɟ: e=o݆$T8@^ }2/3S7Q"[qOrU5ḏEN'C_] jfp*̴|`mA,3ixn #k?Kx/ެya >$j2coG L.a?Gؠ}ZQ[HYeVe ugYZ7zXZִF! ]ŗXi%923N~ $}BS/ _ZcX#/[5Y;mρS6,DiXɊCwY xCY>k½ӓTb AZDd/l6ב[ !G,5(C5Ǧgi؈*hhx^f C߈hzVsT~q"d./Xe!Hv!hUv֍p!gU]^z%1 Vn›8,xyvIAtBBǡl KppՀQ3X wTl\!2SIIl O5ȸ-=tk/$UA-BR\b]B3y# #>/TkdNEpDH^{^fUoR=y֋@:KWDҞQwvfbZW)ҳ:Qa,x,2"Dku嬤H!"XpSY${6:&zDT:aM{x8|Edg0O[A3$9i5xǔqlX:at!ѪN*'덋پ1;p}IQFmFp !lSR^5{Mo#\]~ƉN=&_gƄ1֩3(gX)w2/\^kp0{eXNe\ Z3׳"K&BG"``J"o}=ɭ;eRS{aMKSψzz&=kL+"4 2bHg--Ui%Iž mn~Y*Oq/*Fdw)Q2D|U|o8h`4կGL;~@Mm`T%~naɼ:HU ԕpy![+5OZk*#se۽MY_a1 ªc-4=,5ɮ, dDj0[FZM(9ڌBwҼ9J~>c{@)$Q#fv"6eI$]]C#*e޴fx|ק{ˠhd&?M m`AN -CX4 "e#*s:_ 7P|?~:t_PMK9@XvAwhgwc3_~P@t^ }([,6_h6aU1y W' h*prXAy.ySclc oqP3^*#5]<"m< Hk *p,{o/7sp448r~z߷6?#8DWvϜsP31xr9\8τNx;(&NS'}`Ig.d߭I@AnaiV_UKDc2.^Fv7)8-A z= Eh8411I FX]9X`p"yΤLm lʆvt%+-3)*} ;2Eia2tD!?RJy>%L@Y%