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 i1 <, ]Abstract-Rewriting:threads=2elapsed=34.541cpu=57.404gc=2.572factor=1.667zXZִF! V]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'!)[s1?r4 X0oym˓r.vu~Se~Jx?}`+X)R^ \e` N|)!/(=5X'(mbX[ʬ]1E@lm*uzFbWcpot@?p8?S|&8ZM?^2z_$o HΆQFkatHux#0~[8+\ 0/\1DM}|p]BCt5 1 Abstract-Rewritingr Fә:\ŁLsB@nS賨V\TPHh-n݊P:]M3ق8?U{^'dRxRs^pTm0o Ȑiˢ'#~MgyQ`ql44/Gz1lD8Kb/?>"aРJQ1.> :yxOYwtd4/ %K Z&2PBZTL_T>ZM1 gl+b=_v0>"m=v_2?4V'@H%n7NjXC!=o>:  DuRW8Ah79,5 KA XvN9X}jI|n}*>ѽ >'2lg&U9 ;֒ eMA()2'?MDfp_D,)ryi`<8?)dgYZ7zXZִF! N]ŗXi%6SRXBɣXI^~(Eǚ*Ytg* Le, $'g̓`ͧ+'뱀0yNh.UDy 'ěZ(+ qH`CGMz=[cpSM5ҽ2 QW(\X̯Ȧd"@oEQ|{ xDwH *nû% 8Y7?pތşY, J8bC Yid=[^K]ʥڧJ@^[zM2'0KP: "VT`^y:t>Yɟc_ nz APԌ˼}*gnXFlQ+m߉Zǵ]Ob4KW͂&0$twCxiSA0[z5FD'F)`ҽH;< H%"X=Y0cjZ}5?逅V Bˍ tC=cȷǑఈJ 'x83c.#9Pce5@g!/,>[϶vW^Ep(9nUsRIC]7L~ɏn ,p HhA@#ǀ@$@HNe` ZVKGm iWg^w&T<,U1[\%g-GL4"|o3)#K`aZ7Y}Ffni%ѣe7NHUFB}3FHVu >镂=] {+yYbY׀ǨQVc+E2.NLCBNQ[ m$֠W< S\I},ȴoѶ\(tlXrVΗ(V<53^9 əh q/&Enm=v>.챛ҩĔ LkcxEՀ} 8uWD xwLt8yƎ:b+F[8&L\%eniNJi#Fr}l4|Q-ag(\z<^3-\AWXw\<x??ޝxF[\>j"K>4peuI'*m%/#ϊâ'9疥.V¶JX)2U ~udrg;DGĶ9x/Qg8kL nFyUO9W}Upo]h%÷btSJ$2+Z5e{歅:?HhL^n*X{XU֟L쀘徛k. (QoW#TOWw@4 |"kfTfeYehT7-ܑ˿IX5OE 5gU*.:`tdXXT AB=-(Vն)7 fIi&1lt宭(E@`xy-ΩdX"zu,F4!g" v2 rcD4aed̓}!HjS0+>G$&^ `OXkϰ2/dmk GM;BnkkVޣ #"~%>H#MvMmV3cy(%/J}ddd2]l+_Rwsm7uLxbvQr`  ûKREh,v| {=FFHz[vJ!뺤/q.LZ]W_ "b,+˞/$쿄