SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 x' l4t ] Myhill-Nerode:threads=2elapsed=37.108cpu=58.980gc=2.496factor=1.597zXZִF! 3]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ5WN~U͏sƝK;<\ V" A8 r99(OAڢeGX/bJB {tp,xG*2Ew2xO\ a&ۇ\sdU(9C6hkM۫T;Ǵ56m4]mM3 pb=:^LmOGkUpgwx2<3"VbsV$bBYЀZ=plG^ ' Myhill-Nerode[T'p.!zK7!B Aj S:(zMd8NYR׫O:ı =fn&,r'R,-fQNnq LڈFm~2}l3gR*?T`_jOq`i!yU |W`g VBRAjM )}TW(5y֊6O2]N=@›WUG˄OCih_tU(ۨY y붤RYv#ԗQ4Ft9Bߓ*uG*؃\SyYCVӠrEya\A% XH껑ZřB?/`TפjxQ_Vu^tv Zḕ [袃^xʭZ|kP`tM=Dº? otdњ{â#hTWQu偙BE?ڊ{;xzB'Z&`'|ʁbJC0AoQy¬|uB B3*S3њI&(aUK6;?9Rw M+W-;2:OQE.b2.'25y=' HFoj 3?s8q,!9 d"<G`„} G|^-^T#ǍҾBU0h-p>C`9o vT U}\H&KnR㫫X_NiC Wgfr:Ψ&G1ARрʝilbx GV V =P r-%:?4Q$~Nrϳ9_"㣋6=V|/gYZ7zXZִF! ༓]ŗXi%90ø_{q"[+e;՜"asA94y^,E,,_=I~+@YfvYϦ&"ZT+3OE7mbHq8MB sZgH\7J9Nij%*C=$sb W>-cZi=`oBImWD$!˿Ph/#aW2x`>򀣠twce_0eqDSaOPlJG>3UI!.saN:߶(^ 0y_Ntk{ )a`+A[늮+{̵ґA\ݶVs;x+Tdo@xS=SJ:9?B͑ZtyT^!kiX-<[ ,)>TI.v!|$B 3 ITdX \oLI3z _﷾eq2*Oo4K~ecrn'jLݶj87 "!ѪwAQ5V=~;Jz;:L1f5gӴTۍVT =r.AO Z2)%Pc<_i ^?6bω3ԏBW3e@h E>|v=&OC-%`.q Gz:mO0 BD$)d=ILb]w8O[M&K CÉa6$!gXnÕ?"?m'C=S60c˼(7%7UW*I0];l]CDƆuB@{ѱ|?*;v4c5E\U|2)B9oE3e./Ҝ)]H#G.nڱ1$p$bzyBH٭MJri:ؽ{=+hnnDuTiTC9+%ݏ6\S3tIBBm`s,&f_0LS >**59\Xi}2?91A6^@lAj~ A x[-λ &d镣FE D\c Kva/`cC{wKҴo #lcR'Tf@ӿ`'TPjm9oV`,cc| ?PP\DMs@rOȨHVGa,Yc|4vSqF^(ݗfq4 (J֤E}) +'d<6وo8j2mKxтZ~ߜ)N Gi]6 `EYԟc\Wuך6b%tř .zΩw.fDybPH%}G߱Az=LG|:O. w6냆G8Fөyi ʮ0$dDہMzF{Ve\*v+MsmEK7:NޅdQxƏIH&#V}DKG*D ~Ѕ-׉}WtXG xʕ|)L8v.K]f% .d2`Gf:kM^ x֖^nۃ|Oy iI/eN'Y@f,*+A5