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 -'  Y]List-Infinite:threads=2elapsed=26.893cpu=45.360gc=2.004factor=1.697zXZִF! hH]ŗXf1-/6vRZڕ`0 lO"Eu怯"g>m5-HtP:}آX2흗BHu״11w65 5~>$ DIBS6?&d RMސټQ;VT!W ͐G*0=̡w@܅ƹAw#@?nAEOS/ryfeLk1L?;i,a&cp/yoP&i,gYZ7zXZִF! ]ŗXi%6yw/@rIK ,#uZJQ35FK;Igc`_piw+*HOw X-쎮9G&{boUzT"]<pk) jKY.uӵmզ~ϿZXQ "ҋSk6s_Y $L4#C*kP4\'b=@jӂdv2/ێ ~jW2Ka~BO+}~<*!P% cq"s|nڻ߿Vo s ِl&%[P{:zp.RP F2 cuLg0mbaU(W:z  ?X΁Go0p)sӪ /K0lY χW:gGV1b"5v]8ђ+xEu$ciE9 ^ %lS(7}EU=Q79 0mIz/svbDs| ԛyܽpIpUkL⾠tв%^@_&X7] 5whWm!no47m.ש'L (&y19wIK ̝D":5?џ}˘TSzO1 8X͉='7U%E'GL \.SKK?DOe>ZD`23`}5lRN v7.J^Q&CX3>HΫr xw'#4)ZfWtce@m+ hUx.y8z \-|SC;~θ$"1j@hgfEӓǕe0M`|~<8لKwetWimE2;#|<|NeMw9 Y`Y0om&p: A<6y'?^]/l;@p0RɃvQg٩ ^.?JO64{tA"{kcŭ F1niսQ1¯l'r MK]0Ns@<˪(t;j˩b2,!qC 9C(^mVGڜ߇C40TR3*u0:7 K=Cl^|F^L=bvK1*LW[HHl5i2?>c]]Brӷe=I,@G gUYTQu[Ө ҡJ!~r\Q;pKlҗyV^Z~@WgO3۲P}cQY 0AX.!sbVw)°6CqOYB/gBq3 mN3kҜOjPxǛeGuU"d۬WM4q"VTj;Wk1;R1Qͯ a[,@R#TOQ&2Aj"l]bfH 4Ta9LY<-DZ^$< 0 Ѣ(6x0焥OJ؅TzΔc8dbij~a9&gJk Њߍ"K|Prq#ލ~7o!}Z22??uYF[4qҿǢU;؇cQՂ&˻,߃%cMTb';auR )V)_xou{ R׹5I6zv