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 77F3 t w Presburger-Automata:threads=2elapsed=29.959cpu=54.872gc=1.984factor=1.837zXZִF! %>]ŗXf1-/6vR[3 nQ@f0o2췳_C?XAyR 'wq 9sLPhll,?tI'!6F0%\'5G? Xvޅ# lppYţjU,=>y7~X< Vvn߄t挵G>ʯف!5&LnC4<9X?X+#ჾpփCqXO-k&'U65gu쉓Kq[|f2һ.~!Mn#xH:}/I!JTڙSg?l"ly v*/YE_[0KO̷@t{%̂W dKܘm[IHuГ.š{^tCXтVw]XuX:1~c#ĚZ:8oiѨ/ǁ>aylQcS1O_)pu!eSB>AN9OQdę^̗Ga&kYYS@wuJ ?gYZ7zXZִF! z4]ŗXi%3g5y3SCp+qTa֥ yV #;SJרmx{a[o$Bּg[4?`Mm=_:lO}pDuPD׺"c';-6900NV7yK'l0㝭§\$FW/zf5]Wȩ߱Jx&Y_ʦ nn7Q ONVU[Qr*\ha *ulRl5YD`GGDˢSJ'euL̵ksnls' `͐|/.C9+S_0y)#,-uUi[kkA2[uo?:CeE/>G m/rulV-qyN6 IsLP/,NMbx,:Ƥ0Ue/% +60` ǐan~OS—k/`k`ZB T8n%b^.^׭2R9}m*[ /䣭 b5k &٩bgE(l%G?kV\Id4.|OBPiUH= 9tmk(oT\tb\ ?:1brSuꊘxur6F}jhыO@ٗecUNhua-0Oywyɢ Ϯ:ZMpAUSӥē$e~QW|RZ׸}1b)=?ԅU .RpucHHL?^O#^~WXEjFSewn`u$s=v8Hy-ܤ!&LUlOiߙlCJ({z72ZP i&I#e刱)#&'Γx׌BE-ܯTq:a20]O;\'1 v5B,U(Vp r $VU3ZGc[x=(؈7$ѻ\`MN<&:E)dr@K'aG)XN:v& cGC*Ѥ/:^#B=&gXD_׊=4H=_$K{?:˜U Z“~RtcahfQruAa-'LVg\኷WS-3p=&cxXFRxzjbZen(0Üu%C`F4P PoZݡ !}ߒG kY3\KKeEe&Iq^VzP@ѵthr~g)`o|qk^깿/d7EJk,!4w ~Q;w:Z@~IW |"^ޢ=H,4,bܐ4 zs$ 5t\*8^`LMIOɘ!"{cd;GQ7 G˃Zp3L:@M'[#Ԏ8H%a]R\|ė\cJФӋ.>٥R3>Eu#0YMHatQ^:u8+ډFMq%ç1?/Y._ᅱ`%(]ȝ{k-5|fZz1N}{I]]- ec$6