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 ii7 DD  HOL-Word-SMT_Examples:threads=6elapsed=55.624cpu=73.764gc=0.912factor=1.337zXZִF! \]ŗXf1-q恈2Z( \9 .b(Blf^i1Mf"K P G(j9I{݀=۴Y,=[{)TH ?vQNdRP.^%̒ ;K {=L HFPpHALNC$RinPfWDϣ",슓XOOs DSN͈mпM2cyFg{Vk` TeZ󏻹W"##/}0[xqA 0e*`Gvx!`lZrfZȡI6BfOIe% s x;.ˏ=ޜj3+QP"{[6I C'0hED>xI`9%jpG[BWsnJ٥3$SЈ&څbJoȏ1x u̹"vCtݩjgz@~kJHX-egYZ7zXZִF!  ]ŗXi%6'@uFKvq`PaynwCpZ,uɞOeyrݒU|ӽ;ͣMv[,X=]a.Rq#tGAӟկn:d2)dX19'%ݨr@IGin\tʄi@BJ%1vyK ^1΄nj#|6!={b{u-V=:bWjV"f5?$g?û)k?MOgnwʿ9[0ʏC(Nt "i?,̚O!~;dUlsM5>ZV,Q1T<;2&MEs,7[&vNG71E2 jQ }dg rbKN˃_U|DW,sp!nJ ˅CD65*R#- .+.FH>] -፨줽[upSY p~ݨpbSԸi[M"@= 6<[Ej~j~.78 @?^Ol{jdT&z-,+*M#p;]v";6HK e)zt M".ɰ pkهTe;(QMNrp&d&IrV9iQSZ̦0撡M/WBŵ]ͳ{!JD*&-N1nO#;CnN+xn'ԺH@‘>&!N^cJ:1elb'|CۈaP 1oT 6sgQDR=d[919/MwИug```ӛ 7 7%nr C'kwy6x˼:Jš+c]tnŏ#zǂx큑gNDЋ%|A[n#޼yĈߔ-p'k,9ZeEr{pĥP^:IKF>d vF-ϯh d,ȇxOB>yԙQ;}CƱHHfYafHcnysNbghV M=d oI Lh|M)ۮ-CgX\k \fA"'s`NlI.b4|%"BW[zꚽQuùV S\jc, wm'Hݝcn _[1܇jKkD,L͘CIk;솛$?Wfң!@B_E0%6?շ> 1,,e*#s+_=G+#X: (']~Fq/0F%|ULdNg( %րii{')P.YԀ@gpq((51UƙMZ .tBOKcHZp&36;CC{bE(3DpDauFe9LT>aK !)$1%wjS/Nޱd)PlL} 0w a]iB 2DjڡPBT~ve-+ <0WA8'K\6z4 vWO#gϰfyXu>emH]K!R|X {xetL-dG5N{_kEBq4hYҕgC>e-@l (j;)e%R{becKKüZXrA.̒9 E1$gD}MJh!v ~~tIMAiX2ղq1^ٓmwF[#9np)B&Ls5bj ͜d <![H>ܱح/)AÖ@<ȧ+tk3ZTƀE+-}8)$^7gS@ ~VKfn苞Wڔ($aSHrM@Ԣ;֓^:+E 0S%OVXj+قA2 %