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 }}tdtl ]]HOL-Auth:threads=6elapsed=57.911cpu=263.604gc=8.580factor=4.557zXZִF! g]ŗXf1-q恈tMm-7a2B1:Gj͓{:#b~N'\*j>sK*ڭ\VR}BFP+%vI{DLȂ!~(dc_ Ņ$Z 8&pOQH-Qub^J(srיf 5FbUzM 0ri3D'`:=,1Um.+W=ۓkOU+;єNςcr%A,ov:7 C;DŽmF? `c2tAtJFE.M/%f)Y}keCяN#dp||(>[PZObt c~AAsޕQs,[ZR(x49Q͛Kk_9%FsÍ^މ|'`Ӓ袹Ltc}uF7kg7@kO6_\?;rۜuheI#ޏٜQT?mae99h{L'%Yf7u/Q~AGlqbMKt=2l:NR= f-E)F*~$4^ ͘mTJL VOp;^Bͤr J|ɣ #iM"3ݗ)#8β0;!wtnyFwR 7o3"h.I XJcsI E1ckQ Z"ѭfs%]BTp):\UaЉ7t Tfׇ/X6+04(\}1.Wf>WG Վy=¹Mtau a8_5A:^ q%:POEm$2̯:|ٙC'NѾ_$;#*}N7WTٽ`$#1ӗYĮf74gfw([ј tpSB}{b@k-0Kbߔ.%Yy-Nʾyt)k4%t:@h[T' ٬} Otϊɵ1fc2$HbRN|ӕxJ줁0pW EKυ}!NBiނB !7+EIFߦ<Ђks+= Rul1qY%64(sv Qrc'iRϓȩog3/(#0sŻ`pu`wlj-]([O naM{G>)>Ls7{b2w|Η-?~S6If}5{؃ @0ތ>Wyw^aOz6~_ϕ 17P<"T/v ۖDŒbşە嫙ins^w I *F@,C[0.=I vvik1b$RqW"WP C*3`>)ynR'F. pW溌1FȰ'Rj"͢Pzi3*b0 bXX;35YL!:_K>l#&)V$WO:"|쨈Ex -lRHTYm8(т)nVAvc$q:2f@D_oc,f+.?9*Sanȩ=Mm`NJBI t0}%oqiӵm,̭'v e2Y~{j% m%ᓲz,ÄnmfB{[&??kQ3Bp+6R o_[I?]hj(P%OYd|@se_SYl-VDC͊=ǮHp(4LGf[^ `7C6jiG ] v"`A2;t@R<(fR'Xy>hՆw- 20iERs^Rz0P&1@CTEK$~l%"ӷ\*~VgYòtQlQ7i b 'aӱS'w#on8~}>s7XZ㠒 .`g-;dPU#nʡ)n3elɺf"e">B DDwY1|iBâuJԮ|IE^[o13O?$7fc>) ZJ1_tNY8Gx6 6,!xV#X,(}C(E|$%cמ/ O4-'K`Qkak/ӏ9#2[~Vf)<X_=֕:SnK&iHyMr\z';vZ$;ڤ< w#<<>dvF6[ȁmw=Pp#Ee932XN-#xިuJ yiwb?ryk_Հ&N`sZ %ɌeH"8Q}HW5+sN^ 4saKjtjuQcي_T=tCGI 6Odt`,ayt< ohud3B~gKYc;jI|/pHmv[V*33Åku67@y!%r^)?;N5w9yH=Hi:6Kj%  g/ |$AS]6gYZ7zXZִF! 9]ŗXiɟ16_ U'U%MerGJehwn&oH-3-x'Yj!ZLW`bVh7sCWé+UER],OjQ u*䨿$̥b5@8Q Oî \sR:Om_RI$B(v/PbfY)I;M[WzzH 0)AyE+U6ule{A(RWN/UӶde5 @‡KIa 2Nԑ2鑎t4OcN;!63__dQ3enl`lJtkGK3˟.ݴ:~$NKŴOi<1]dN0/ Ȭ%ߋ*[$ mZO@FΖ%CcluE#]@@ ;&SԊ6ѝ3pՙ=˪۾hZ 2w}m^U  Ȣ}8}} V9Z dPM _wD lv_%a^/ܹgCei8p,H ^)Q:N.T n#e %(ׂ-ۇ(I}ǯdΌiŦ]KA JԜ"ـ8Y9?%S,(L0F `jS!"z(gYZ7zXZִF! u]ŗXi%94j.X|hB=(PϮ-(rx7Nt:¶^k=pkkybd- ?gjZAGdq>%)*a[^}t @͗Qb3}n+ |DPAz2'f5S0ShZt4Ч3VM=9<)T[FC֫[MDpM>˩L_1[EOܟ:Z9M["0ꃒ7A?,i.WH=zudQLnn+RM঩=)|zK*=e"E-eޖ0b}VL>ݏc3~ME֑t*u_"|+z=zN2gߟa;f4t}meؘϊT:M|^AJ/1Y;jT5~Rf7PE|^o'+1PP,T[aerDk`V<Ĥk+! 7Q+&or羷FteE߂0ucիЛ)J):ݾr~VS+:lU顜E<YF1,s Û r'ߝeca鈜:.N(M<@.,؅i2)dA珘}88#Y_Sj]I߄E14JU\C䝈ɝbdT܄$c,}]l" n9rճ ۑ ^JMހk#ɍW >N+EC6إ%usY <韸5ɓ ?4 &5L j'?Z'!.rʪf;ܩ,+TZCe MS^ j _A' jTn@.M@/b(ѶMnK~Ҍu'Q%Eeʍ3ʯ.Tf'pQU@G &Υ?1ƅ 56 s)O:rdoUY>.Z+v4Qb? VC _ܵhA 9x@HD٢FEq# }RDBF2?}Cc7ܬ!q#ўj*aøkUGk$XSI{%d+3=k vWn g郾]* ¯"E\h HOl;QhR0k~)HTvI;'m9SKWwu._V˙46[ Tcl#0~d[A!.0E+lto/ !',S*e]v5>C{'4+oe5ĵL/vos \M_dH(jߚ+?q}YRѻ'@T?0ON8L՛_ykOy?vqʾM:]k*HiLOLi#&of3 &7Mi6N}5.l!dr0 GE-[j5&& E @8=[bL7>~ `l DOтobphV"v`k[7;Y7*Z%ZVw" hIi+%j>7?WH6ĉ,2XV=Ԍ9|5y\x.+@ YymcL(+n=Lxo2Ĩ8{u2&bhSqaWN0 S/T_6,I@k79kM;H!e]Yel=e0lt؅g\&ɬxIW [ 15PxvEiȳxzǒbjӉ_Dn<Ә 9̦i/>(—flƻXQhU6s{$? *6I9†](stv~u7q>*0_e r]+N]vͽsT{HQʿhf9Ç5-riG@)N8 iY6ڨ%i/@+wh[nq;kS[vF¡-鱮հe ybMyc k4QI}3ΪȥLGf?C/13Put︖hEdh^cy0|Ow=UueDwc4PU}.w:iyqEwRcmeNUqP:iOJKa}J]aʫh.0_lxL+ïeh^hX1u \ (t/b|N/4~z7r:4伞