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 &&W- <| ] Lambda_Free_RPOs:threads=2elapsed=18.120cpu=33.768gc=1.484factor=1.867zXZִF! U]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ[LȚ9ڻ\w$b j<=Wmb1UoyǗjznm9\WP@9ԟAAY[SdM"jhzE}\&g&ʥI+uGf.ea/\rO/PHm!5j7Ӎ\<2W+_'Wu֍;nwӇVՊK7-B؇N KCd4<+IC73yv7VaO矑6 k+%jCk#3uFE^̜S_/-O X5`%l vC*|dasI݉uzDYW 7^#$`M„v]/LYnGIuYdª3򹇕d($`KcŕGg \`xջϝݹQ[h; U=Ad'Um'D8='1gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"l[mH'`h7HDi&F{:VĐE2j腍daz(<sY6CQ{>`7|.{lq BUꒌ̬:\dhjƧRKց;RNJ.i1[{gi` 񩖁-9gYZ7zXZִF! b]ŗXi%9(OXU1W$%vv0Yqi` (LpR"s)1A1IܴA=80B%p~+F%, z}ަm)>VH*gI5+_py䐢;vF[b" ;K ͲLCQ7.!}Ȳ9%]ب6R%łVрVt4`K#`T;˔*P}(@s2tha"s)ˡZ?Xso\%qlA&J/(.&՗]/bO1Ibaf^9U `Lk lG>|%=M}Q+bB~\%jRڸAU39 UiU4,/KRtP &( )~I3)mψ_& K#p1 ֨~0HO{grvNkߺg=Q)f"y$x$F,V+m]-s` NS Rn腙GVӔC P ٔr ģR1`7bykL̚I+ @t<'v~&!IL&piX#E.F \Z"tRASR:^>)ոi1k?Q!u?=E L0Zsgyp|7nlOP%y<RP'9fVP^؎Otvw}]E1{QhJ@\ h} DJYϝ*+rD'܊AKǞ 7 f|-{c7=y2G"!+ȻmqC s r`"!d1eGbͅt糱+,&ֱ-pm`OMoek 2镅nwl ռtw{f|{ ?,c3k}%zʻ]S a9d{6U"g ZQ_ (qn-k^2WDjJ!nr yfxW2^2ېFXLԃpqNӘ%zCh3ƕ >'E-ʺ1ḲpQt8?#Rqq)oZ (٨!{Uے|DÚR3}SNTďe^U"X#nBO6t7[:hxwԲSȂZu$J./hFɊ[!!y!S.Dm5DF}a4<Y(ڿT3nx1 Q9EECL)qvʹ@JE6,z ],_T͑";e%=APhWaX/R"c:;!u6Fw\A#S6!T,g\iKpͽA/ ֖vWWwL$`w ;9, ㌘(WLǟ NTN֌  iegYZ51d28a6ba87dcf4d4712443022679e0bb595f47a3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 - Lambda_Free_RPOs