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  -| I% AutoFocus-Stream:threads=2elapsed=71.708cpu=120.076gc=1.812factor=1.677zXZִF! ^v]ŗXf1-/6vRZ]](5øF<<8";,5Z\9/9.8@+bc!mah#t(/ej+u70}`a1dkѩ}N¶lLQ*&q3$@I(J&RECXrF|SKMvAVSX4`15öscTܮ$_sc;as;HgXlYʏX}>(L^LDW:&I[pYƣ.Si,L"8(pDMl c"u6mZ^s!g{r+|vA\ա$G@V4&aWB .Q-;- /@KNEzW`d{ 5ڨyRL}ѹ9՛X`VNVɜ_3Swj]6)-z?Cjy|8BĦ(O%"=}J'uJqI#!(AI G(%s܎7^XXBaiK+8Gm*S XK'?N %Z}G}I2(TQg\|[fl ax)ތS6?-@XnTDFhl2@4q4*Q{m|=ͽB}רz}hWc du3".I'k`뭌J1N~0ImUT@5a\E;R= ׶4\/|2@rYd*VW/b́d_>\3lt qlщ*܊ N<j5:"}Cw<* wZ)n %/4ɶB_$n8mC"ؙO/1j>ErD@c\7zq ILx5.rHi]u = ;E&'(MS WpL?psӑEIpq+Q0C|ϳ׺j#N8o7'9e^0VdF+긪MFcLUrM<BWk_#xIJoڡ8˺ v@X묪8zr%,ؑTrZ;lwf&T3/g3N%vVcsy B"ê'utfrX*~ƶ87n]qvywOƔb؉ZNs {JFX6*ӟ581o(6!"%;zh^7[j{'f\QS%p⤶#!Ou DRW\iZ8z|ULM7FlB\v RDj~BTK/j!E 2/6DZo$b }iROSz׶VI}wHo45Ƌ|2cf#3A||rnYyX:'fanٺxx٤2>{J&wKBO:M ?%>F08i9?~PǤĝf62$!02*$؁HGP3 sJAg7-B!_Rb !ra@DK mYqk8ƣ=o"7&?c2i 7sOee9Ϡ6+hg&} D{"nxCB,JY,Ÿ|lO&LXz?tܑv!f>N j<ϕc^= ;E3R~ʓ*2ґ86FYs[g2SZ s3'L6X,@:Q%f#MRI&͢f~}ey*6T bo5@]DȗsG-F{zE9 %CZz-z80$N[b`)ML\w VrRry$~yQ^p]pj}+09i_TlX˛f!b]Iz쎸ޅ :í~O;"6!I񺳮=Q)Dζ+UzhV.܁#U#1*LˈV1(vtS"#cלжXհoȘnfޛ ҩ~PC:93h Ѥ+/ew2FcXw;*T>##i 6;i9쪰!:+k'CXcMzQҏW}@9qG=+&suTn Y!6;T@)mtm !AyL)Ϥ:;\טzh@LwҦnP0 ą JSs5#{T:ii3F2E?}5]쵟ˍL$5t+n GžM4HSr_:@ 6\FT>v}:9icyf48Ko,jx8xa@ʥxYc/ zTi"w=D&N&|[(kI Ѱ&F~;~ GtaQB~G7 E=WiB ߽)–Mp f(VA"oZDalXioWAL)چf󜚨t SG+> r֥Z5AOՙ9j` 6^X cKNq8`jkӢě #f{[2>GHA>*Z9R}S`-7uד1DZ̬֩N}yFc$ 1,Ғ\bOYzSIHg-xs٤Ɠ^)*B1ϔ|m!6nd j6a?]e9R =Љt-Ot0X8AvB$Hlڌ d+#!*#0ъȕ1-N?9hf[E|q?Z/O^p3tHĴ):9Bv]Ws4>D?ELӖ/QoG;G 8҇Q3q1+-SnvQ r)d OMbp :IC R_j}5/ߣJyC@>k8R g2ԋ-~&.l 6YҔcgv' ,(xNātv|6 lXl6k+`~tv!ajF kGmoT&o`5xҡ3 }/}YVY47?`^>܂?Bpw`3xDή8!GII2/qutN9UBUT 'ɶi)tnbiF5B'9wy.p]Xuck%`JP] DaBFR 0> M3JROZ|g,x`+ȵJ>d.QH>y Q_M}s' @2эQ_UAE}:_x̕C6tG=jQ?E$1X͠DaV)te tmĵQO0ґlQ3apYKpVN~#+0aq0A(Ҥ3I&LPa7wW'ztI9hĖd\P-Vbѳv"ԥG612X,48wKɨeq*TPk߈ ¿X6a{(j X`%::快3&FgR1Ix -=2, A~AQ_aB3 mr={6lZZ>nhx_Lu"e`(JnZSHLn.E;6@) T>0b"C*KtIÎ)ǜ+aZ;嵤q0F5M_u%ZՑJ}xI(վ|$!'`NC{s <)f-;qտ L(. { p_ WqTgYZ296c07736a2eb76dcfce8bf32a68975a73f1d0d3 315f8ae9032504ba91aa80184784c89d0a33bbf2 3c40b84801f079babcb203bdb62bbc97575716f6 503865e0a5eb2763605275b2e670232d38346cd7 633b88c080681c6712c9f7cab4483e8cad1b4727 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3 bf2903c8fce04066026fd5b356e47860fceb87f9238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 70b9d5031ba2902127f6c56941368b40e9c579af 42059f96f59afb1a563a473505d22fd475169dfa