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 j3 |l ] Presburger-Automata:threads=2elapsed=34.083cpu=54.936gc=1.872factor=1.617zXZִF! ]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>"B9%Px5`ərDVYiaHSEus7H%i[$R.R` aHcEWj{BNi K ~363'Tx\ae |t0?ET <=RtCߍ9O*ʟ:EX1z7ж'yI(ZNO>" +1eO.ܓA6V\\EXPtխË+.~VC-##B?jd*檹ؠ'$=aoc_э) qQ%31MyQ"BI vEu>d CQHx(vt2F"TdL_j/H.+`ǡ !W#4FSPÇps*iR oo*94k)MhCb +:vHɥR~@\ln/YxL,l~$q,Wz -WQ꼃Wl~DQiBcGDE#u]\IX-8HIJͦ w@N~xH̾/2{]u?q'} ZABgYZ7zXZִF! n]ŗXiɟ˕454؊hUՂI"Cr%`7AA6"j ܀>sj@$ .F)70S(ipLRgYZ7zXZִF! ]ŗXi%ή+5Сs쯜g)'QAP7mq39ԌFFXo4 <'+c_pxހ|$gFdxb>_H96N0qX{+6֤?ӯ=;`gVDN%F*T-`ޢZ JG4HCso 1x紣Flʬ.0z tX%N7?7u>~UMR1J 77J8;Ԛ\vAS(y/NyfLbփx]R9gѿ-$PЦ*9B3Շ,.:ZGi/ךּ”fht,}*S_(5W88;Scxkgx']c=wuj)fsJ)سi=P&FÏNZW`P (?!zrM4\A\^`gv<{]rV+eL 6=~igc}PoyTe$J>K_yPHǙw-:meYxU犉cߑd!9T C@_IXW6MoS1jjZ>p-w-s4΁,]S}먰G&%-Pq-(mLEn%[qJ"-hĶU+Z W+ܔ"R-K:`KG`W&$qQ6bCn³.<ƌYtqƁ)Fz׹ζ]2Tgܨ`Lԩ6uHD:I*U?$mҞB4o+bw5I8f? ,|AxUߣIιZa8 v ؉KfY 3[}'Ȕz&*"Z~RE6-q_i42SR)'QC-0e9.N}{6KKsDo #KՃRP?Yl5?l}cao< 3Ž 7kȾ+ipA օ 7Ľy?<K}M7%BNvp/s]7Ԟ\2UJ@ q@uH࣌vȌJ'UK~3)&Q9mD}%n26}_d &{r{ה<kܕ,IHNWHvNXkXȴN~G3d^3sKK[cK¢W OY ]d&z0֟N5[;*X2*o^SeV뉮9|X6o 8JՐg(Vt)*В~LMMԠY*2_IR+U#n03MY d+jBfjZԡ<^9s[Jn( h󉚑=JgNYwQ6RuZmӇ%Gk^AFoyåem?^ii!fsS ̜Ν~/mdov4áD[ڦPd<37fgu pqsg:AQOK Vqʼ1~SyO_&{D5Ǐ>۝R