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  ; ;:; TD ? Stone_Relation_Algebras:threads=2elapsed=49.340cpu=86.880gc=3.036factor=1.767zXZִF! ?#]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gA~W ;J`rF R:?}ca$0Vwyc?s VN*竺˱dDd509GȩX~ m_>N>$"aI/80Dy89e~z͂>ĚkSD,j!.C)͠rd^ iMBh[2<2%L k|H2cy6qb#%D-bm ge#a6w MwaauCF;e=wKfbAuMm/߅2#$\jn^pf兾-lêG)#/[@ПA[IR.Q&rlODԓjgg5Ëh(y\[m b/nzﮱ9d$6-M2?<[p]] F%jo\QMΪ4`'%1֐g%&lս~`{5;0]Ýv2 ^h̏6 HdOu^_ 5n E7V-':Q- ` su!$LZܿ\XswAད14Ϣ.塆mjdlZVപZ5]iٝPB>VݲADj+򰇴U(MA[瀮^.9 pu7!N~ݫ\4Mn `6qeQzS Rרm,{5?;q Toe /ӗ2_gYQ_DRR>@,So6#4/ m$g2Sd&88fy_0įk7̮?4^>>wG9-sx#:P;H!AE *S.9rϗMEK-Xe9+h]$Fr7UVSc5#=XH;j _C h@j쌹F,`ZX-}C\-!@ bfin0,h>%Sߤu[fx7nTlzK0iNǜn@K9 Qb HpSP@ P{&N֌{?rB%wօX/Lگդ:t]@ab-* VKwJ'6&0vU W1& U{[~58Z_Qz_k/J!ъSKuDE˼( oAt0$}p.5E#Q[V@n}슂eȡ[wt[a5N!j 0߯Y"𯸩gٵ>'ὶed:xs֧ZWƵs(@sq ּcF@m_)x_&?ZHמkߍTyfu< jG>nWmHIۿ0Qӕ&hQRZv=xYVFG"X,$DC+rn^j\mImsX7&1r2m) ]`@4~1}h1})[]]nWFoa7Y# >H1 .(PL"_;՛gYn &uvǫ ؉4F$:20"9=vdiiS>v_%e$<]|<߯ZN%? ofdj>4z%(^:)J˫z YmM[)rrWH Qm뽽|B/Z#^+tLT jiM/t\%UE&{:8je`!5M--/ItU)ALN*};W l(|71X0O #%䈺(/L@'S6Y%@xB[FRC/猫p A|%O,xEWK=en` S-|XRw8OߟwU p_:=-'8yG}dND4֣~V"Pv_.}A7%pZpkXKmF¦R=C#Y5Bj^BWa!3B2ҙE(JF Q&l0W%ȋр}J-<@NMJ s^աbň(vG0^Х% 2V[lص޻`= DF7G31&8 >RbvFWB!>#2ֽ4muCbeN@Ey\|Zj"4p6hĢ_D1Fd$ Sɖ(M7Ӂh7ˤrzxPB|+8НKi ^m}I `DMulzz7 j9@4˲W (^*scZNJ]s%[xDy:7Wؕ9>RȮ'*3%Q8rze- ̽ޖq~UqhP=<X>b}wPBXC po.t nSSe@#ps$EBuPbNb`ZmQWQx.޾{ɉ&. aͩcVfD9=$(gYq~]C}=ė͞SFTܒa0:/+؁h8d*4Rp%`{*Mv~C"T!!{_G=Z!]A{IHϪWQAz/z0Nĉg+X4H R J6{Nuhg6;;1eJz{uz0ixX/Gsm -odCTZO@Q0h#[s"۾FM#