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 u1 t %S]Nat-Interval-Logic:threads=2elapsed=50.137cpu=66.676gc=1.440factor=1.337zXZִF! 4]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_ߠ*Sr^JZc{pAln]mXEg[OO,@*:<+uO|^ΤQM/wEW)!t_ ]B#cq^OF<,̖?%^s8 ]qI}')jECKKzxhKLq,8[N<%sT3 WnD?R}]a" Sv/A,` s4:ԥ@2 1 Nat-Interval-Logic9)8y"Qo F``jRxb:(T*i $sOui7AK?A%pb9`0f; =ŖR_yR7w ޖ~I&730ژt)AۙXBO6v<] / Rŕ#+߼wdx3nb%ZHΑY\ iyYǔvzGEP籢^EhPYA}jU|㍯~ m҄MuY:4 wcgֶ*OW#|Q,#eIWzpπxls|{|1 دkJDfled(I}LtCBjP_>0v~ȕb ^NczA|d&~'?}w_u^t-'fֈٿbtIL`ޞY3eܦS+IPᨧ*KzVP]WLwM"vwx;/L"Z6a8rRshA*H׏Fh!f/8KJ1p(?Vb LԆƹ|#]\jAm_|U2IqK _タEq?Y8xdlr;ljc[.N'luÏ= |R 66ȓ^p8FEpӢ8{UЏVfV ,>9'>Iɼ D1_O*@}0eG:g\3Si a.GK`*4@@R؁{m2ɂҙq~Cx2Ԡёsw0ف-5;\kbdFV}iemx{zt)a"4 7Z˖y ^|g;U?.J<Ђ\]9k[ FJZG'~D")wҕvepr5-d[2X&VM;D4Y:TCjĚ!9';'mvX/D?*(Ť9 jr,!_xj$^5T\'ku.6&Wy҅F!ЦbV\C†= ־x&kq5%Xcg0FY/oadVcV1t}AA1cTV$ ['/w[Sd'W lj4*7;#Y+y*2BZ\ےD\_ʠl''e(4i8do_ IsЂ\}Rиu5ӘU*rKSu=I v<.( ˪ؕGj;nlH9q>0V߯W{@Ԁ4hZlAD cҩ{5 wQg :„5 1CgjZ EjrK !o3bTgGVbߎpd_k0ޗV~*O1r&Džh@7RP|HL%Qo&d(j-k\O.vJޚ3T H ӦB/xFؑNyBZՀmSR=S3'QJ[w5|X/:{ H0بHNa ^N'ɇ}oUWeNbp<kzuЯ24%+RwE',*)1rfPGm4h')֎A8kɯ>yI%d]/Pė(;.:wy ]..in֜!_hev% Oݲ,LЅ*1^'Y-|Nw 栀'ES?O+뀼4-Gooit!5$ٛ+,@yJ?<CꪀG4!pj:VuZ@Gӛ1"_ ߎ@h6;k]d"["atLɳz)xjo{^PbPE⌐?Ђ,RB g'U t*A,h*9x;cfF.l H\4;{(X%Z?I)ZB&6I@ 41 Mtپk-iG}38W2Z9in@ lKK;rJ6ȳy趮ޠ8[Χ*?],U~H*P:^* trDa-2 Y2`K?8SNͩݜX@؞1g禚Srk w|z'QD$0'Mz^œ O&y]>M  1<.*DMt XӺc}q,tVy̘Gt4vywm3h { *Z8 ']g*M>%^`SN/UHq/HJ$Dtnf] iFGou&&euW<^b~cc1$LܼAH- u!c1dS'񱘅VO*=u5u_k1um<#y& 1n1DU]x$ J{d~6 bg