SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  %, S MSO_Examples:threads=2elapsed=73.510cpu=142.508gc=4.864factor=1.947zXZִF! "]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyӐ6'fǖXQk)W:$!l_V8[*Ȍ=Fu]uG %/GuZ[rן/:)6JNK9]!YJlG.~F@RoIgG$]qq4$Y؏]Y@g?*Kdvv7ޘ7ˣH@h> }=|v2o9̋sH1FFr)Ҵ`ܲx-w6XMfh~F栊.aˍy Q'D!5}*̬g f?L9֌)' t&UۚĒ9WNf)ٟ4Ya:JXUXXf>σ`~ƣF%DhhF sX )\ ,Nm͘B״m>=;>Q&3)E E,UT5$OJ׼wkCfՓI%>ځ{M }Pt;v뤮\CMk@$;1668&S:+b&Ltc{@F]\e%Im{t| 6l8QN(%{,5]߻I}ҁy]#0hswK_IS3-;X._r^I+VGfʸMl IRV46eDiQb$dK1>Qͅ{ e=dt2]ǟsv~>T.l]-)Ois+@إGeX0svGYPh#r$d(6z9naVRQHgPj<ſzed#rEηy9=ly 21V4z TcQ Ťw ذ;"W?ǃ2S_ʍHyHu[Ѕ-~i`K;Gॡo T Y,5r >80cTbKh뿅\AGzb+I `A@{1:+0p;Wn>d]Qs_y<W:37j]w4IJ0ihx+dA7 Vdzn"}@AsY9^O83N#7SU'Yi!8, R"҃s|3ݐuyn tٓ"x gĹ.7ƯC/- rѕƻ"2 `WHd,^)_vnK(eܳ9^y撯+B Ty-2p*,$"iY4՟qUT7fߣ ph- q|# OPeoz$CL]MV#uGE/;g\c@3K $%'%3{ k$Ra=j#~.[u`=jVfmY5lQɡ88%^zXbjd廁m^b$(❧*T'@Jy0 3,&$׮1as5O/Zۦ#VNdCd,\_v#rb)yopaW3YR0hYql! f.d(~gNǪYyIC׈aCא~fE߱e"w6D(Acu}1TQ)g'wg0KIDNRGEN/: **~Yf{(BC-f$*J585OmjrރWNMw&I;lM=R\t @D;{3͘}1J-tD=j 'IedBQ:ٰO`ư P5=4XrQF{.1a OngH%i){L{ƒۯMjjBW'MF /jCNb__L^րK".5.;@ɝ^kTʺʙ$C@IQ+F tq-l@x;Gy:b5Kb%&N_*-E(;_uܚkD*PFB !\$jBÎߧcԽL@;FrB\SXڨ=8|!Ś|At$VaMi(QF;d/ŋGNg&r]g@3_NJ[;cm8,yB[ ę1PgIQ5g3"U$FFW'<'d+ޝ:^ G^M [&dGUJLF?iC. l H 4\S𚄻)qEҊ[ {yvdFU`4Ә)f%Y| *"Tg+OĎelPHτ"HeuY6ƙskzY6%~v7H܍