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  lK |,< ]%]Transition_Systems_and_Automata:threads=2elapsed=44.887cpu=83.076gc=4.824factor=1.857zXZִF! ,j]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *>_8܀:(|ВcFkG2bWG"ށ-qlTIOy9mN<,Бy1 f)m9a'~q ,U :s-q*#D._9ɅrYdߺ rb -pEAzܟ>C]061c RM*Y DPJsv'fcijj44^R(0 K0x!Hg7[nJd%E=AAL2 A9^޸<m낕V囒A$-{ )p҈\ 4Y{z Dt_U (^RAC7*DX]}۝ܻ`yPzH]}e!'vÌc P/?KE-tS]-2\"_w賙%B: rYs[͂^c=>gWMhwàUZqF밖qcH#P"ߐۚk4ZxU'6){B SsB X-! *La}! j(0(} W.m&ƻe8 LmfIg2dʕyi*-BqSXr⳿@8?Z=/^_i׼L$C>l|?]?T8ϕQG'x5 XwvBHwb XšgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{=v~&4=m_,xgYZ7zXZִF! U ]ŗXi%92k,#&b(ѻ_|!gNvLkVagu|~sFx:(K9fq,:`u_J{w!2w쭴P+M`ѣkzwdxX6L6P.[st:l^u2(U=Sd>V'Wľd@"V[9i]ШF[O"MnJJGW5RDzT;GԦnąV;R,sM~Gm՚%: ڡ\RXb_'e߇-צu2̓Ug,]4>qe3cLBNS}z*oN6JڟbԈjnDk"sM"7T*Oo]"d,?vס,')E`n&R4$ZKeCd/=}HPMe(t E(cnKc$1bH٠/%gCƽ (DX52{,T^wZm _dT>F#wt/ȒpQ~P&Q3@Y/=w p1_Gp:%O۟{Et;?(^ s+.; }նk$63[!E!Nرes ݓ镸YmӜ0Zo^ EFՎoЏr`)ؓW ) >Г}ltMu R8REzNCUT\$=x{\w|C']:0n |s? ږ(M+6z宛^ lf"[=ퟕ1Ҋ"n#Y9d-je+]!3)\& CV B3eY_7e'&D2:k4n2m.O5oIg{iMҖ}7 xL1 İ.>g˗,)hha]^ ]YnpԯR_h+;} wt+cHXK0a&&4H.O=gּ OhN]k~'K`d0醗#%k}kKn.|%Lf [w^8w-~5zztu&-۞gVC&g'+nIޮ=6(`~v-[?W5t}'.b8z+4'%ΒfX?`Gu|_+)b#D?~@Ywha#W^SZ5e<0eV=y,/(V/JnSjnP_.hExKR,^.kQuҌ$ 6u)B"0D8%X zBUH"ז穀m4G]Y,ꭖ[L4ɫ'gz |֮ y$Z8@8 *NWzۑ$Nyu0sMlШ҂-^uICDbӖ{ay!- 쯪lѿ-䭶k\6(BG)ɿN;peX[,}ݍР箑Sm ;7N|}L=llsgu`^Gth@xɽzC3n%MtHrjiL p*(<'O|XUAM'?:쾗.m|uc@[μ~:YlHdt>˛ߕz2_ٸכD_[*fVτf{ 8:aJ놇mC%p-)Ҷ\Ha $pEM𝹝-}:DVzK)1{uʩMO-ֶКgYZ38663a096d3abe99f7e745b652c131ae666dff2f0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a a00db45f922c076f84c700721fff4242e157db35 9474c800230505bbe6b4f1d92cad99819f4bdb3b e3deeb94af35788086634df4a15cb8079d8a503003e96fcd053cdb69eac2b6bf8371beafe92b0cac