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 |9 \ ?/ Locally-Nameless-Sigma:threads=2elapsed=42.479cpu=70.732gc=2.300factor=1.677zXZִF! &L]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂL,yS  >ɭBig9ƎsXkŌ>C1ƋD`m^ !tHG GB),1 ;$}N>a\q[ϐRvcƩpUW}h˙keYGC|P'"KZ0ߔZ$q0>]g[Duj'M:m֟Uݍm\ )F! !ٺԍZe Xkv;6$u1Z 9 Locally-Nameless-SigmaO@ńILU> 6"\S}oE74Ҕ\D. Zץ^;: {{ظ4??OGd~&xy͓VjJ\vsu^ctpDUWf*Ù#]Pd'X$~ {q "3 2׵/x(]!8WYff:1% \}Pik$_&<{jx"ru 3R</7!|cތ=-lVǤ/A"iyɪcR{Z"[͗MׄUW¢ޠ#+7À4f໮3iQ u"Y+.y%cq4HXN)O%P{d&`DB4db jrd(tBҺ4*B3qX&5mT;%4Z-M[|-LQ(>M(d,lZΠ GL=a3c~q;6pr2ekjMoc12;J1AʈoL$r( @hBp Hwx,-旔>{n/3m+ђdk~0E`,B[E@: T%7QV& @ג&;"y4 o3d`t|zw$.)u6 WFa-Vl@|#Bf6 ήyu"wT{Ol4%flk$uXS$)Vۜ^9樭 -oW{w]e{5WO3u,D;tE4Jk~'{ȝьph4zzF5ZNFn2_f+_, H2H*} S㹁гH>&ثXJP Tf.D^:gLJ#Ȳ spT ,w2'ڃ!m ^% ಜ^oNEv#cgX&߸4:ֆKr{%J`+{CҾ;RpA0J}eS7A8I3'#% Fflcoy-DEF<~31x.?[Рދ G½kmo(͊AkJaOŒɻA!gF%!d%r H*uMݬ+~⤈:u|&5*!C-Ch/v^'mo-_Gء U\,9źhl5݂qF9s])ڟ\G=Z64~!$qM<ȲX| k@(p*0Q>k>ڋFV> 7ֱSГJg=0gA!W`S-o\67Ύ^ͨr|y(h5w˺v=IAATA0 x{꯿MuMcIHHAq!j|,[M\&$vad52G W$pW{i]{yՉiydKܛJn>>#O!jhL)ycU-oIu>seXAF*H9%z/vv8$YOa Cgx e}T_i=5|%iq=6UҢͯSFɣ"Aq%>I.NS*R׏47YЗސA S5\ 㬒lvNEDEEI/Ǣ.]WA)oXzc Cv" ipJs+7]-n ? 2dFb{Q[zQ'y f,纳. 3/n2쮃 ֊%wjv\ulyǴ2R=ncL2+)%@5KgYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c1648e0349ffec6d2726d4cf1c4b41ce6ad77c4a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1