SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info OO+ , ?S]Sturm_Sequences:threads=2elapsed=43.460cpu=84.876gc=1.360factor=1.957zXZִF! D ]ŗXf1-/6vR[]SZVB@IJ + Sturm_Sequencesg)]!qe!5:,M" w)KƺEݑ#o3 6ﻦ^ g*Lπ=*ݵ73?BienVʰ\g?!Mq C0gC$-qGǦc^ZYߕg'ke 7`[TgG_af| /g3*aܾ8=pakxVU\H=!Rsc|_5^u ݲ'sq)kcGUϿ8T$D=[&DZSQ V#"TqGюr¨c >(9X%1tA?lUޚniۄ17;k&GN 8;MBDU$Nr5b8:efgo30BttPr%|W%N}V=aFz%fZݖ 6}RF[vSDUO)}!r[S>F/B#ñGCp#==qΈ$)z]Q牄 H%Z- IZ8̒^,ٮ Qa~&ZpVV2tǴ7pj2^LĹ `ݑ%k,:,m3Qy\NMV`ڌ䝂OIvR(~7VH78=lI!/0g$#ɢ=QbTQ>˖ULWcៀ,gnp6%4 \t$k͸׶j@P33OY*[X@pv=HB@n@*QE*Q ,*ث~_lA[J6&Fid7!=mD_lj6prx4S ١JxJnoMn:5?/جIS9Eo…ߕN,R3ԩ,zg,ު~ N´dDX1tԈʕ E"HU]a!~hGC=$gxw׉:_{z Ꙏ]>&jF h$nJW?N{@{؏+/J~}x+ L6j"3t!קeӨՓ-/..bO܎ԽSdx>RLpR-d{QG~ 'VԜ;/r}Ky7mryYf14R OeJdpd ώqK (ֆ|QZy#n<%w9y7`33o5jt !HRaMD pJqU$'/F.G ԑIW̽%9wّ9jPAv*YgʬA E֧MX; SN,Zv~m☸~^r9."M&WzB7N хd]\QRW*t$" jd͎ˉ#vGm?׹~nZL}ctag[nٌMhs0|U9k'$;k7@B^Fa0$.":~ek)oG^`@d/p*EkA6fِ -c&L[a{w\ k m# NlӦ~-Qbt*,b oiUWjѐ%O^"gSecv2Su3h^96RH%g,;ZB3+ 'Sw\(K PcH=$ 01Y1}F:5R}YV8iespTp$q< ;v zK"qsвb<? ?db>W{PO{驥p_\/.~eDh_|3TTԉ2 VQbB1=gk]NB%'܃ҥF\Y'c'fy'޶5pv*IashB;OJ{oRS5NVұb44˼kSe)HcP9c]ξ?]oh Hy#Z}*<8~ֱ5B«\N-axK>rR"‹:2ġ_smk^ ֞Pd.`kµFB/BBzgm"[5 :B aj$ {gYZ7zXZִF! س @]ŗXi% g=PDTFCx屓kGE;?UMRQ2xd1,$Z HJQ?LA7&y)j.Զ&;ja$h !~،av-yZqm~/; ɚa EP#j>Pwu/ޞ]P}VVYU{pΫ9FxQ|FzN[Alx^8y_.X]BoJECmo`^'_atm_ݣGfOX6mj?۶DK#U CP56u~A~ `vlu%]ZQiJ֏UeD>~?$r,tfdDhRXք6KJ+|\|QnD|RR. ̈Q"-=&kB4羿<-H Ba8+7gS^ Rʓ 3wH -׉U?J|/a"#l8,l qP%pKuyPSug#[jzTb+,4ii#12lp+^ŘLsLldVb_ׅ"*^Ŋ6%p OC=Z)ޟG 7\h#I˨i%WRLNVNt\!/aȕ{qЇ١⃬!<@;ف»9ekV$5 9w ¥$_pqYJt E‡#Oֻ0.˃V].,)$\ha=ٸ\Ĝ?]Xs9!U[tmmBcs*O. ^?!* ;Q\wѺWbNf ӲS8۝i6X'^WDRr[ ט]/.D;I!s k GaС"V 7VfCD14k,cnPqO/O.1H 1o >W Y D T731OPFWF:фq$]Hj: -zI>!}e/Ȼ'9G':eE867__oU Ǹ$Ik{YXW_E/ OR rUw)qHvA;Wjo\/N.Vvpc| 녢롹@ tEC GKU/\_;Q mZ+ KPǕ2^Q99A_)Ipq75W_Pod~eDL-],o"!F5M&1ħk-J*zK%xDI0!A&#TV jXV26lfL .eۭ b=&DMh3If25'"*uUԐ .v!yGMU>羪Ұ|ֈf{'$Zfh6;zyN8?%@?ߡ*Gȅu4 Tp:FPڳ7{Fs}/~}cq_S_&eb%_,ilH'M媳n6K{4a90G%jv+UR-V;_`Qo Zf71J<7a*4.;&%+I)Jľ*Â_9e^9։iq)xƽ#vmLfO4Nd*<֘~65h; oL,{/);o~W8 kB߇mЬ Ctk8VhN撙49TVMl1cEVjbm;@/p_lFL3eqߑ…|e  idu`}OspB!!y:kpް_rfL_u}A{VQ06=;̇`|pQ/pK-NuqS~jQzS2-'}yꂨ=~Ju{s"1Z@2̄m2U+j$'^)&u$%&D ҝvP&{Ji04 !q9T_\ۖ