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 V`;Gؽ8nt*q* .#lw gh,jjScyo4ɣ,(?:bm3$43񨵺{trN'Nzʑ9ɐ9^jom*T!~g)[&R`^,>÷PBFqx0Lxr0 bNZ;+(XF7:g9Arg+P:yj%H?wXEV>T 1\[512 Wa 1)cȀaH<_ZcOmR ?wOY)sv V^ 7 WUi\βD=ٽr݉2^eY>>@vInӗ^QIɀѨ_֤M0,b李V]MTɟ_ڌփB7 1ڧOd:p8a?_;K\5di` `ׯE دm#}Xqc(3;ran- թ`o| Cֆ^D]xQD9KwsVy \.;pHvAfQC+N܉$ӻCsBB+ "RvDΩe0?ZQpeczr.6+ь*7G#J/%: A2*ho4$rEgWmT>(cb9`DD4m: 4N|zr~.r᭗SkY&*72kII8~o~%ȁf85R*SFʥB6#nyԫ;56_`^3rI4tCEdlv)D?'5MTJ')iO$-Xq1u8/@vc妰GIFsv~.2TdB,wRZ ew&˲"%zI脆Dn$vRx;Dzf~=a5YTX^N$=IH {Fo)Eai#"2Ȭxk]p ?vh`ubkKg::"g%j<`#_ŸؽY&MQQ8K H[3c1]_Yu;V$s.:7#;~ 3م+{a v\⢩`'TJ=0hVm\p>&ԏ*' 8/ڱ  V+ oIn#~(TDJhZxO-ߺqXIV%m~ɻ^D-}}3⫼48LGr2%=|pl߉9Z!na$zgp=/+Au,8j_˗dab`Ӣy-&b" _LP̨ne,#\姕+s;St5ؗ:>ύָ9E.^U]q>$,!X~)Q{1rθyj8*4Όυژb0XHOEĵn n0pWLUbKR;y? a}Q) yaՈ`|C1>Ds BOohסvKmprA )Ee}sea;țI$S-y~B59(JtRH}kcصgb\J/XR!Q##ǘ+i.{S' ac;#pBq6 LJJ g΄)A\ξ':k;xGn6D29ATqa,`I6-ѹ|pJ) eFX֜x.1Q"7};Er EK`9rkL@ ` X@vM%nR,u<7ܰ )LZ$6/e^!Q떏Er3:}LO7:##Q…^ zFR@#:G(A-7H[ GT!Rg9\N,5{9[ $mE$ub~jØLǻcX[,vZjYq hf(ͯ-ͳ:s&<2)lKFLG6"cK[7ضs="x[kBa5r U(۩!f2mu,|6]0ER| i&fhC€;$4CaQüז&օ៥67jnφ#E|:¯;a V# ]AmNĮJGf%gA*<7S鮮,3N4_geÑ$Id9|8oe&?ZY$1XaDqD62 &a m(O#^3h5;ASa!QlShs\6RD-cHJ[+0q PPFZෝ+qJ !D-B,Ħzc@Z)\*C3=ZnPJ-D}EYCY}#{`[X5pUBU]#5fv7CL, er-Yы8_ujD{Xlݔr@%12 ~II%&u#mۨ.wȡ(T`!$3eN%KNׇ+ t`mE.p9/Y_?mUHa0sf-|#1;)(JF# _/PDONe`{gjEs&=a"B81vHED}ˏ0y|ˀLMvT(QMa)*Qc^sI>"C{Gwƙ;oJ1zL Τfj^ khqp/M i_5nߐL?0ǧ8g i\#>Ĉ~JI6/ؑ)݌oM'drOׇ|%ݧmdawCJ]G6fΧV);bw N NY{8S07 D i퍲5|ΑK-(wȺp67 YPnkS)to,tE7b^W2tV//=a 6%K ӣlU,J ~h k^]g(e}` vA 諪VF&hvk̰u*D}0OHVJ gYJ){.P۵*PdQ 0,v 5|񞼇,T.h|9:ш" dlW[O^ORC*>ZQ4c-•cZ@x*?ܑ5ᕝAnށ .v0i BZ?ʜj.~Jj4x[?K>۹HhSb4ވ`lXԏEE0r5LSI[8%{=d۟N5p]ns.Mߴ;7O͆x?Cm*1IA6ʹϴFo¢6a$+pX1y'F׃HN/^ (-e}PoFRىl[Bz8 RT%̒~tZulvi2q[V:fQb/zѬVrü/P"ƗQ~LT!gf@׀vsL?-: I.U5x39߳b&Oj<;}ݶlN(Im7a^Fp)qvg̓(8Dž_·nf) 7-S t)n߈O x9HjHy& -0Op &"4FBR1ö񆨱&V;Ӈ;"s_Z3L[ ޻A~Z-\ſ&*W0'[TV@'bEó󠽑.(m^R1%?(h aEI^7>+h,ޖ ,R7Nѫqї{*R_!w]nƋ2:V씫^ϴjE N3bo;đ)Ъ%"r7*FgnCX}saH' q=RjbDǶ$/.佛&o2Un[͞DĄFdɅgPJ#8h<\Jc\J/BM^(\CӉFd|Du3ilZYxH\!qtV&1#Od^OU( И^ҕs0b!tlc#5 K ;rqKU+WzD|ѥ9ύ*m@9ju1ء#Cٞ";w5EDuڳUX" +M]5 K| N1B[VwXnao16ii$JQ cuy:CG0JIooDi#*'KGg.lww䅈myR oLn`T%tiGp '\@僟Ļ Ru/ȟm+x9]n7Ag<%߸VVN5_91aOpa;##< _2k\%# ^of[2ÂC ְn "#17`lGvbs fl@$Ѿk*E$9+~E$89%پ`4L4n)щyUřm] .;Hv1g'HF?d8bPJm*җҘOÉ@u,)G|ufFu,q^` `nu Ҋ0}7)O>{?Y@-S.q>\|xPGju{@ܑ+YNRO)3UE> T4>YW>KSsn}7vU8g,XӶQw+8d/t @Pe=͂? {cMO!Pt7ˀǁVV%XNMGdJNyi}X'ĆbA5%@+BI֏OQSSiLTSKGX+"!(Di8OB. 9H69x~%>%_:|hF;HJ`Nxo, .6$YiTFLmSޛBp봽\nɣGtV#:𪣤G8G'[:%c- rj9WmHO(1-_9DjzB|q%ks[]܍Ae%gsr[_#bݸ:-0V 8 ko='D[vGF}p.Ɍ]4~R*2} ExZ9I= lq$jo2h;'Z ˋScT[lVǼ@n1n]=Jߖi] k7+( +*]!57F`q|+R_2 F)X瞧<^y',7ιʌ +bxp=XA/ i94:8?VWpfZ0'kgh]o4&:0kY˭ZW@19)ߔ;LWWu\hСB:\*3:%C=u`Á̲r.(ô ߃O( ="T ?ͼcjŋULCRC+-B()l4ti#MUk|佌CO}T E(v_2M[n^1c~5ニM7!liN]ZfeuȼMc᲼P\ c40t'46ɀh\:,M$̌iB^n-YNWg/c뮤çnSt.QWәPH x{3;59#Lp{=+?FAQUW$!]Bm4Z$"j]OX:!PM5^{}ih^3qz;/L$Pt0k$a({5ڨr yFdGW*H‰t (TzfTq%, `_TIyci1"tonY v&"!c`7 jx}f"ʶ '"YYwrom™e)=K "[}~3 C5r2n~%r^T)ODy ]EbKqXDԿ3~1v?'bx-1dc6/w]Y-Ɂ]gXE"^ea;XK:Myۡ m`&5*bEجɾŅX7V%-v9Zpy^ OW:G_x>Ր^ (9j GZ ?O4)R -q# VBǑRhm}=kyqy ׈3+F5REizE )M1.6LY_ 2[]c 3%ЛӤ1XAzi}J4_GCSΒ)]X hrj$<|U>5;j]g$tz m5g2 zD Y4 #Sb-U E(5jA໭&~x.9 4/B>1-jxBxft_l]ʰ%m=98&֢VDI='=HqȭK~ɬRw/Uϻڠ}(-W=;䄩_1a $k|}|a[ ^BB NRUb}E(@Pxخ.kYi,io*_(A'{:55:o-9'Ň^>Kf\Q '^$$,lӑʓ;&AX! 0YiO% Mk} >}vo&bKG?[߰qlN9mN蚸0uE;͏@_uSgiZ̨@:?Ez:u{,bޒ PQ ɥ)pdJI +( 1##ۢP")/H7պhh+:7 H?M1 Bc ز;SE#!y@]BB>` /0{GrE"D ^UcspX50oJM᭺95ߥJPW fG 莓RWCTd|9Q[-TaM̑h}PXl`boHX+DF}-Vfb"{jg ĜWKǾ2q$ߨ} ܍ba5+şHFhvY##X$tWiB1<A= {,U(1ȝwGZ.="YxǾĉa~E]W=)WȔ(4 'Tk@ Bxy{\Ϧ2xb$6n?¾˕# KS+$tvOegR oΫ1g{ IGGp.6 0gYZ8d819a2c7fd461147a54ecfe4022eff2857ee5b200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02fc13840543159da92ff15852503eeaed50758b02