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 /' l4 % Tree-Automata:threads=2elapsed=35.153cpu=62.792gc=2.844factor=1.797zXZִF! o]ŗXf1-/6vR[lNq!P{csQl]ęW'ףhAYBk*~u~NS>)ϯ#kbo]Joy('9iWZ]A`RJ~ |5X_ A Uz=lG?-EZm+pio܊ CM/e1&x~OP6E:[VB(üt;8Sm @b\_G c=I^Bsgz+׹ȤCMO@]Uw^İ+[Ej7pƊ}N[_g\AD+arC}[AۅdJ5i%y}} 8dj+s\%1xRƛ5.GJ숫ФOG7zg`-r8ɴj$Fj$,':[=qM u0?ZfAhU;_M@JRr4'/6+{\ŵ8tI-U@n&,F.,2}g>P zSΙ ƋMo~!,%:ߧi0*O;RaAf/f%638޹z@9NKE+{[3"~j'=7FX!I;H{ܝsiEì7]@b3_>W۴ݫ|5WGr y + ]*Q ĝZ1!|HZzIgYZ7zXZִF! {S]ŗXi%6˻h$P2B2ZѴG .h/ oιDBa,Ąl+* 6lF_Iu %qw9p^ʗM+AŵllفYQ&iiOgBŃd3$b\_6lՊ䛑k3 ׿&`|fQ,sh!'rb.9U~L}Kkqi/&1ջ~dY$)#44 J')"Eَ> FKDK, ~+yhP~́kU5i!H_s+u3k u,_11'?fV)|'Mq~#_]a 8b,Kܭͺ8vT*#y ȂJ8#o*ܞRtEb#zìLJ} r`ظ r^Cݶjǭ~OQ*AǷ1U'):,-sONc@ЊYTꄕ׽ёEˑq oy\ДPVj&ۜϹ}`rCAed7H"Z*Tp|[l̉b'[^}GZkJ.@|0evHRTԮq㤢+M6ƹ>:~x 9 T<+⩠.+lr2CEyɀ<%azĜ'SUcCG жLY+} 03j58d_~HXϋ盶\ j#G3%H\d < zs :mO#-:b+m=0Uͧ|X~}[QfHiaJq]+L%Wҷ˜#niUlX!"Q`O,04r2#A LP goB&Dvy#'B61xQ:T,zk;V4>sQ* U+e ߆'q`d;jO6Ξ8MYI{ )OaCMzOYy!])HiZ w|.&v5sn{@BW)t[1,c3ga;K.R^ѥG8+Ӥ:J00rB"4I3}슂t)AQA&Džը9{E:.L]Oem4EVHyg35 tI~, fvsBy9CNBUza٧?WOdG~rmAͱ؃"C a;ui@ Ahrfju#[p>7*F]vNFͦ4bXx;"f]]f hYAфU|8I蟵U ]tʎFa ߥ|d.V!_r7s;lS Q"ɼ>b$BZj7|7_!0.ݸQ:x]/83LDbƼzR=O]jGFXٶzx[A&7tKh&^)HS@H) :Ƴ ,'Em9vOΩW-G"L9O71VeKg@:ūIk.ffP+S23\