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 ' L ]]List-Infinite:threads=2elapsed=21.114cpu=37.980gc=1.876factor=1.807zXZִF! C]ŗXf1-/6vRZڕ`0 lO"Eu2LV28n^ YVxPN %?i=~)o1 X8ջq)_;maF,>*ٸCjaf׬ƢEʳx6]ʐd"=L3V1}Osd4=Z}-ՁZY^9SY#Uu!+i\֟. ab) G lUV]bSV/h !"owQTg e4 β`^r EhuZ<\( %ݮ_TJ MiygV-s`WME<4zk`zR]/?h+gYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!H)&^!ZrT!V Y#!@ˎI: GAoq*bk3(s 0[ͷ'3#Dޭ!+\}7E<1S5 kwzmj }u5EH/oDR*.W92G:7nǎ!?={pdse5C"wh@b.˱gYZ7zXZִF! zz]ŗXi%;2QW7o x_G?w%J_78R$Sh筫]O@6Ib쭑c׊Lb©[޳[Tl5RF@@il׳ՍsÒ}SrX4i׺0d#{ P`Yp#LRηxA _5aWy YP``;#s \&RNyfe^\Nze_Ͻ$UV$p`t)¹k0'w.#Ygz  'pA`\ >.Sk행ZCÁmK+71]= ^HkVkw,wS/p%"48FGJ;pOVs4 zy9TC} d&Y|+4Y?00g!Kԥ^@u`"QӄtF#,j4ɷ7ߧ1@[4ځnM_h1,|EBE+C̜S@ᘊsB|Btw˜fϡ׃eb&43tC3^>hO[ل,B=]im5sQ'B=-ң:ڄK=CڂѭA  cR_dq1jUMJe7j @oZ8;ŖȚ.Fnz-~u˽?=AaK#c E}NxFYuLlnwoC핶2/m+6Afo; -<+ƻilM_q9 N1|1}>|R%A;+~ 3  'xTSqt%:F2עl-{Xp(0-;i$g/e-fˆBo&4ZꔫQȸa4bq&=R3mLl^3zD.rw6V [bXrpPRI8ԝ'EQ 2>2:.ӝqV"(b]Al =7v,zI^ | 鷩w_mjS+:d ϱyRPhzҬUUBEFd¡sWQԣ좹IN2B k|-wD+E&% y.̱