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 B%4,D ] UPF_Firewall:threads=2elapsed=122.192cpu=186.764gc=10.344factor=1.537zXZִF! ]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%q7>1+eÁo ͩhGw3nOzW50SR7וawECj>K3*L A(TC-tj~|Sc- ʘ`VDPu4+f,XN}pjjO׃%dxk+\N_}6h(s8JL }RKhUn>Wrt֓<"6xZ3mg!SlZ,\|%ohk_ tyW[XghfpwdVԭyIJv|蒫m%3.zѪw\B~ q)X塾SoeMʹ0 $w ^}."ffH`^^ۼk:'n$nғ(<'39B)ϧj8\tjU?O+ gl X$P쌳9YaÑs} G% _%my\ϭJ{={CUFo U ,,I[xR_3rԐ|ݠ&Q%=B)K'0_9+T/s`et/9HM/<P;ܬ:x2T~ 3ӓMDЩk΅&52}U͓PZ xA (K7)ZY=%EFVeF?u8#E .tkY/ds~Y[R^s+rSD=if' \{v8w;N$NHċN>Z8|ꕪ9.㝱=+3Z\eU%?_z'%ZvyO@?xgxRkƏ4c`eYJ<qR7&z/ЙB Ջ3i:s[>9$I<{BU$wEcɥ!nVxE_SZ6bẒaLgЈ:pBſCڿ]RQfLFMVTHd^DԀo2*3Q.K۠eJMmQ4,po#"!$y‡IY:*fId:gq<͝_ 3s[ɱ!)|CB^FHMT p$gl:ƫ8ךXB2|-cpBad2ZZe4/5]+tbxT^  0}>FNxeL|%A$奌sI׶ɒ6La`cf)Rm-0Dmj X@f֚4\]AUx"(ؙ`q'aMy$GIy HV) IQ7޻ҘU_n)rZ2ROm^9=S,rĈt 97I,-tfyd< fd;<% 3;I5P@ۑgYZ7zXZִF! H]ŗXiɟܤ#ʁ<'\=4x1@Nz]AB$igm*Uۓ'Ta%utM ;q|AӁX^猦!椌=WF WE 9r~K&MKs&"J.q60[mx鰪n8]E̒&yA|L_9ClC4p~c Q"s>j=ݝ:Y~U\s]ɳi%i^qHM؅v`Ym j'"5O">փƦfH(͹~y {ɲ%VAšvNXdi߿n vfL[&ק 2ۉ-!L.] a8?aT 6Vaз[!HҌِ ᶟ 1%#p#օaṮ22%*H~*][{:Q0r[bX[Å&/0L~5U $wRr o M4Fy;ʅ&_4-pw 2`l ~[̡rmm.b3?-9V_hkR3P>ݹ&j}"'VG}1پ(8̈́fB`H7mgYZ7zXZִF! A]ŗXi%;тwE |%1Hջ'! |/.$gvw^@ec猳?4$ȗo_ۭ1. _kJ#o#6iF>Nh~gdn-|P'I U%}`G-Sjסcxӊ4etgtDonT>M:Kc#'7э*aO !lסxhc`t^紼=܏]~6fʐsENn)UǟyN8Lؼ,+lRfk#B< jdoNXłDΒ%b'U>BM=\biv ޞMaC^H7I'.p?] 3=Z5mXnLCzܗB/WqDUv竖tE`p =+iՐ~jN%N+3(k I-'40Y.fpZqsD&"Ƥ`_N8fm9~s~V;ۀW\t[ɹHeuNC~sc=+!Za7xzOƣFW+f7!&|I_+M9D%lۗf=D5u;"CJ2)X'!}OipXj>yJ2ڤzt_\#;`0͍u]nC>K8\q~\I$C3i--wE4e48$ ! ~jb4)grV"3}@[ٿPzwӗ5* Gklܒ9Kz]q.u\x*^*+µ])G%)1Od 㚉No:#κJ-0e$TlO> F4Ik5QA~(hTq/$0h)l-lK冩q9gX^@^, }=Γ\:b84 m8Wq ^M%{i!(х-> eB'`U ڭ f0<-)jA)쮐-6zD߃Ϙ}a?cH2֎n3[7VW5>)j/ %pܣ6TJS¢RHjOhߘ17E E7ƌ s<-My,-ތޕs.|.U3?CiO" #>{!ڝD")9dlbI/lA?9?]8va'^yoM;dh)^i3Ҏ<{15F!^/('@TZD&ꛈ MC)BY?!g>!LR[~:lcE%"ќLQUH6yUW=&lΝ+0Xm'|@Q,`ǂ=|6Q+fjѭ2A i14Z8 =V\М}z{|c _]Z qZ͝K8ňS} d} {~b2:vzjT}#{ר29W`D{Yo\ {jcC^lW嶁TЀ%K#]3͗sݰ/+_UM=P%dxivfQ1Ze'nI5앟wx8+@`AoA?'l dQG-jF\%YPxɒd}ةcK5&3ռjP__?vzC w׀Ӗi>\5X"2|ql~LqiػQteUh\7sfU&9'_/~ȖRȹ Jrn"%1TM8zO"k^)<]v_K@ +pV1]l%Um[=܅'wp(mS!Gϻ T ^JM;-◼-bkn2qhI-.W&+Aic&&KT6VVK0am^{7x8HX{AUeEn:@)N%F0K{#b!: \:[C0Q!$z u k%z97:,P1&ݣ_2h)L#o)H %+t`*Gl6g;=<-lwEh2/\7!hv}|y:+.~؝4N:ԋjOZ ǯm{;z6bKĶ ԐZo &oN2~{ uQfWӮsavVX(OmNn< F`GOzXa&D&ՍPHQa rANk*^$U$ ..]O?]ey[k'o75>W/Ģ\Iޞ-zuDs oC7A\ܻR!(0idGI?]U>B5lMW}]58Yh?~f;V+,v82 @9znůPWeiFsvauc'0<tS??ȕa9G,0ggګpPZ5| UʿPgȓp|Q ׄ&p>sbA>&UE0`Ct>iSe8j3f14;]۹KJ$ϱS&C?K$A!ʙl~_Y_񞱰n[ JpǷܪ}3&MTEb%?iQ cMgў4Q:w'l*P}IVLz研{4'[P~|~RЙB$Fir,QHrf e;?Nf< ;_ 4 hVGS+v;] 8B܀8A({ ʑp  x97OIu9 5ǕÊnt[tP *LjRx0's1I`01ƵXWzW"`ƢmͿBެ&&#IXifp<@Ϣ&eGv]eDiG͝E5n`*sb/.%fF*^J% ^$#I w8 bZ`,oJowQöl_pVi5HMt)vtf~rm\D9:q&sڻ4" <3!NKy;AxaBiIJzmoXE b_DYIDe\0}TZQES A`drb`,r|\ F|CjG%v zbTjJ`.#ǟٕyRu\?yrSF(eXӛmbNxdG pۜ)a3 ^5gYZ680649aa01b47c5fd20ec2fbc0f9d7eda946bfc579d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 0890eac45bfc6119622766d74357349b9cdcb202