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  d, ]S Real_Impl:threads=2elapsed=65.150cpu=108.820gc=3.368factor=1.677zXZִF! +]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=>Ƀ1ԉ tZU0{ڼcggxč q]hojI3u[n+ #d$sg8Elbo'7^hܷN1/,JX4=BeSSLD`KOS ×LR3BU<Ԝ63\0AS VKOȼ(ȓQOx^!l+5u8Nc/\55|p?p˶tzSloS: 5>CPeȅYI[XX:|%2֏wiJ ,!toq HXlP)ũ9ӞbNpՔ L?f~0QL /YOn5qdܪXZhaAg"D^|M AJ[,oM6dU?lLc1V¹ <ڧ']& L.rk?CPpު ΗnSY;yܶ2\cSu?"f3+h{$?q܍ 29CY B~A&\t(D6> ԉ^z[ȝ Xb@jYA+:_w79"_C l2;Wz,-zh2t~K 0طNY@~NƲw v 8USC"y8sz' 3UctHVjCl GT}&\؝/@} C#x ǦXI1NCt0MA3oj0?7 x.Ja1f>]qOL,#Pgեp&BVKD :M'B3by?Z Նg0  UzA%D'Oy@P8? Lp{6Eߛˆ9s*V_`V$˞? t^"WCuEou 'kX칯˗c3ZC ֹ'h CSSbUkbQ3\\F_> (5L! 돬0zџ7e1]Cӷep WgYZ7zXZִF! Az]ŗXiɟ|E\Ât+.*aphG)%uG%uwfsIxD!ŊY}yur8'0ky3CǍj4vhKG՝$YvyqY" - XN|TjxI5}@X*eL.֫)SJ $U6ocG@ECI0ӡCbƵeYg,87>q:PS+H j@IL_ uبyլf,gYZ7zXZִF! > ]ŗXi%923H`ߨo0ub@PB+sImҴVӼ+fgX'Yx*T*#`K{(@xd&z%%e5"lSDr>[5jAckm:M0@+u+XhP0ԈL`o,7NȺ^ uQ%SaM<^hV-t,Ӕ 7!iD 7Z=Q`R)\N|P}$݊ʚ@eps&fkե7x*D͐0)JDZ9k` P!iqCN ᭤aB!2Re%Hg)E($B6M݂Al5u}"+ΐˌvA8C0 8Z(_b49i*(WD{om~M9/w=yV#TwSJԠEd!YqJ;e+5,UJ,ZfP&Oc`+{6C-saHրH/uX}e2+BiG%V9b4Z>d8ai)k?ϽLk4%1ؽpPy;LZV)v>z~!K:-l g~ |f(Q8KɓeDQSDSvn:5pqXH~~@چ*q*H27DۇI-%K#ѤQXhLz0 E=6ߎpEzN`41x8~kj^A&+B--"s S5.%#Ni^$j?O}{W&L3 mo=N8'+7[^V֨SGқd\epEMLw靓i 3oVP"tХ ܰIt0JCaћ{v0a, I@LSuU "L(єS/ [PPޙjm9t܌KmthąJ4fZ$V6';2߿AMx+44fh #0f>bHodJd7$:wdΡ"U80Jӹ2Tk=WAG)pBM2Eu)ǯwSWNtg>N6T݅i},l ĈIq/%4z==r8i2h&:^@Q_(J{A v_ND&`^ o@kYV]{hqOL>J?br2H6B CDhVwZ a"ǁ<9a66l'<n}᰻\D}{CPTKk|s/R~TNZOSYS1ƹw`/=;}!9BwG6@ yɆ}Uj1AgjI:t{.=IS TBg6qP`@"ꚋ{+](WTa'VTi&3S' v#p!gfJU&1A[B\@-xrCjbUJ {yb G ]_/4B\6n8@˧=: LL؃OslC&it7v,-&`"1"; bd$5^v7poEp5+> ݳ4CNt4A >7.ssU.3l?zn<eIϤxgXދW_NIoyөEe<ԣFS*vEb`SN憢ʌ !c `urnd'lR8-Ƚi/y -dRHx@Luq+b7o[RЪO_`xՌMaChJO8D|n<mV35>QkCt|u"Uε-˼] @].k򙼬|>PW|U׎ Ժuz',R8+O 4ok4s-i3rWH:^|ڻ55o@'Lp$R]>j|wydˑϤM*G9jGW3f, 0;!P9KJ /t_|T1UUf۸ ʘґj#6IQz~f'ǭM4(|6u>8-*aBTh J6 t  D/]gYZ453ca730bb0e8b8ebc28ad9c8bf7a09ea5b338c9fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 94e314f1995ef0b2536736cf56f120b61e058f29 96d1c2dc0faade5ba04c9aac867db0fecd915ff1