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   a T| u/]Nominal2:threads=2elapsed=34.908cpu=68.920gc=3.220factor=1.977zXZִF! '8]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S:f#$bbU`Fi?V$r1)TfUUţ`7saޫ@BA&ݶ {W%x<21`@i'=0\P6Z<'S@j G0D DK#M dq3ɾ$%8 '9 ጩ} (LK %ְow&<4\qc-k#}BNxo<7l&)j#y~4uO,Ҵ٪8GfB.ȺH1aPeM s۱? ))n#fA;VMa8E àd4Mr.f?FN#/V/-+}z] ![ނ03\c3/SвEsA hSY=g+_&n!Y$ K2 gIJQA! Fϋ3.8)żICG`Fvܽ h9'i3kɩ[r>T^K<(wsw  mj̞L~8;w_SZLf n$}/Uh3 lLT0i=4OXsrs,ڸP4!hF%xe[L*(%ԯ0Q2+\|2np"vbAf򫷰le@<ڗeRbB> VCm w-vn*,~AiXZU[H8޼ Ǥow$ I<ĕ-66nÆc!1E~(N٠|_\9A&OÀĜ9,?2$JP$O꼥qYC:0BCD/s */;H" *MXqr&[-@һ>@ P&s@w% Fǃ'EPcp՞vXJ񐦕Q ы #Ll;xV/&K3sRνڈ3@9^ȇSOI0G NorgYZ7zXZִF! h]ŗXi%}j`VJ;H2UYl| ڵZ0Ŷ|qؓŽ(cƨa'Tؒvؼ1Z90   Nominal2#VޡmD`E"~!Y)z0i QIe.r`moQWgZ7t$R9 8٣ָd숅G*e" ?AXpVr̽ =FL} =em TcV.lETzf{GΒ `Ȥc}IK VNl}8ƴYܟD|kr&A-G% 4<rB;;QEsD'=Sk3Ci #DYppH'iu6U:-ܺv{_'p2-@`i4{jfSޙy9*TbAhd[m((b@!'<`eX {wA_(82br÷"o'!&>w`ZR3W|]]v{b_),i?8&" \VsJMo3秋ZZ5hy:@||IMƅ1eSkof_saHvXGF{!х5Nί'' C*@cKoLN~"QRccm8}5pWT] ¶"ܡH?].ƮDsS0גV Y }R8̹pg1w^}W@u'H^m7w6$г jkHDD>BB}Xt_>g`ZG\wapm-ss`ܸ?%55Y^ hA'( ͋qWxjGZ =zJɨ;IwqjPFMhErgH$2W.6 Qc^/Y[aɋYXBn(SgwEa;3.yiν S&"\ @9G dً6M]Q,&Lpp\3*5+)D@.1CKER"6iBH3woQ(v}7@`.J;p_[|Ln>bgr߂'ߪ[!]M`S)/:βub,93R::5|V pZqg{yW*1* g!^"2ϺQ#ʍ'[ U#3Z׫uCN? .ֶ&|2Z&;jUr:9(U-w/V<\Es67+NzHFEnW"|fT)aws~4h. 3zx %fJ{U_Z% C~j 6 9Z:0[хØ e@78YFMHM<}Ck|d#"=4n7-~J1QOyMn!t&U\22Hc/crjC?8zdHZ_k^gQt, ġ=Y9hRWaGɭvQ6%8XGK?+!u>aY?sLYV G:S;( I#"rn<>JʨSC VIWh޹cŬ (Fk~'nwD ôgS&$}6OA