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 3 l ] pGCL:threads=2elapsed=35.754cpu=68.044gc=1.776factor=1.907zXZִF! 9]ŗXf1-/6vR]uY*؉MPLo10t[BMFYc94N-V2sXLG񋟔c2">@_T-Սn 4JTFpVDy~0*"3%$XHӯ+KG v[e}ӷ ; ƭ TP<:~}FCr} VdP%*>qj0} S:csԎ2;5\#eoX6üt4ztMŲ5[ Ux^YM4t2?U/a׭:=PY/~0bGlFEq]h>^f͉`or/1 3Aq  pGCLVڪH A < X k|xP1r1%}2] mXL*78[57h6s߉1;8[g۪E ½ʖq9s%Z$k˅eE3;͓p1v[E0)(M3VS6^ms,pB:))Vuj֐\%)H-mr\r_CʲtIkk̽XV^Q3᭾ӒV13bXl5xTkt_m-xڻxspO!.@Osl6'yyIڤ#-6wo؜p0͐n)1}QmD9wé2AO?, G A:5gYZ7zXZִF! L]ŗXiɟ: e=o݆$b袦*6js\ e@ /ӰZ/C6Oe V*M-A4V8{ ?N,<0;ΰ7& w <=\ul+"J 2)LzwEFvzyUڹ s / 5F5FikF yb,{ONHј~:t:3խV H(o*{ 8a;R4oT53!3" lqͭ},r + r g=Bȓ7V.տ~ ǏʼnmGQ+15],'^\8ȍEa*-`gBi痆=sqR2iNo̯O 孑YgYZ7zXZִF! Q D]ŗXi%W~ĵIX>*n a_/Nϧ4Gͦ3Tg/F|&wB8l0/KDd<.ujTSl "}q$9(N% W Qv!ap –-l K[?,qQ+p?itp$%I:wG`Z)&cقC$[el|H-qQW]n HnY<hc5”6(w [HoFi̼jx" YY1*f*MVu_#rsnkf-gWm'}m(N2DiuW:?_R`{%ha#\7m*t*xkB0"7#K1imbAuN&┅bR61s&ҝ3|%@I͐n { eKP-I_ql2Rʗ׋ܬBX;=8/dLr&9r1 s3H&\%7>qҰt[?b(BԔeB}i( W@]F+M׉YG) 7pW'Q^NH?xM4hIc-tWaYAVmyJ3Nu-u@^>`ΓlD5윋.n &bhNB"ʺs;mD-AAq%6A6΂f4^ XM 9Taڹmio]WVCDl}w?BvV4߳03Fo"\[t-RʜZEG;v2_P_ Pc2XZn.;߾w,܌Z-9_i/t -M4ʾW<- ) ^CEh!'o"89BhAW+$]`~7,kF Y#Q/L j12 0x PƋs8LEg:|dLTk4bOV.Z P_8E I&:(e<$]ep1KW8\HG0|Nκ4;]pu;bL#,+*֪'fY%m?XO71KvF??r@p4~ޜj=ySt:fGg!o\y/жM~*43IJ'5lLpi1[W,!ӦΑčnLu1l6D›S*(OQ73w҉ !A"ă{q"{ tsD?p%24Rs'hXr+HpvB+h01- ~}aW>' m 75EfӨZ Pkb6|*;CN oq%)ng5-gA :Yv*hɈTr];yW_ű\\a |gDl3D2X} kn(ʸ lmFEnQGF0o ٛ0PnJ^%$4S$Y0!Z,mNR ,ѕoT WF`hA+4>.KaE@MbS Su0p` N6˷zS^[b|c0|"O%}h, 9AҐRgYZb55d7390ee46d356f0fbebdc0449adb907ba048dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2