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 {{z5d,T ]% Collections_Examples:threads=2elapsed=94.971cpu=183.332gc=8.232factor=1.937zXZִF! X7+]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM͉Od??R=sSZs֕,e߇\՝ vǜ6$7(]pP.'AR%5 rc&(5 P5GZEdBzAT飐uy{kךB'gB:,H_p/U)!jӄ5}~sz1BL>LݍfmIf;X6I`/?o)JeQ2< 4 E@ _D &mI94(z6OGj}~bqQF )}.2r;E\KMh YWTީX:(p+FѿڥY ;lP<j:KLT{úSI!L#_[1_8t"Tu U~ޕt)3ĒjS;xȊ/{6Ve_5@uH{upa"TJ}RN,PE+A;d〭sF=J=Y79ͯp1"IYuV9sn>m%E1" Dml,SOC`ԧQ}8 ɣ #wddTiY;<Wfzf\rVՂ{hdGl˒m-sF (o$ D ^cJ1Co#; n5[RaJ@!n8U! .tp7};_;֡+2h NuVup45<ѹO NdũCK>J썶ALJ"|ɠ|(TMwVMcCOCA %5mI/I< ylȘY- \plI,Ny@mb0T<<'ou`\F."uPngg{'IeQ/ᎏ[E]hG 7e?Ӗ_}_TL$ l!4H:TjrL7n˼hKK8 m0NhWQI7c4W/WuEpflJmS5&+[ooA |ZMe[.h[κtx6{ϷѰU39@.SXKÅ$/5*N:sOZٙZ0Iʴؤ 1O *wx̖ņ ~2馲'2=RJw}fb{z];z\ 6RCnGTȂ=V[ f=#; ڷ\Y@f(41JBAUsvѢ_2{S"A镉{yAqePp>'EC{{P1ӣ.;ōJnN94T0._ѽ"o:85CoaB$R+t+ Kۼ*H4Cf̉Y`̸% ̲ЏB%%j-~}<69ߟ,+Ԇ7lN:Is0lZfz>RUp2[ooȯ&Qdw)FA*I{4<F]Ӊ #^jOR4TRec(>{)}T;VuqO#POR\$gYZ7zXZִF! a]ŗXi%6StBf;2mpoAȺ.#j} !2'}GJl8 sJ%F~X@Vc5lTbz]1.\ʰ+RU!@i? ./_չ'PZGx 2XjH7ϨXcHMzr!V0>[:,+n`GC&*TQ#0֒by8j|et'7r,|D$΁90Yv܁ʀcٓcn"R?oQ,I iʫ3u Jwr>rGyX)_ +솾^HH7>:jɢ{ ^(5qRPt6rVCJ㑛VG-;g^xSJ­cϦ'} Pw@$tB_AT ϾN4AIX 0;+4\Z\(`0eg+lЦO,Xs01n{PzEGfECNf9a׊52٩7MN6B ]hw #ʼn>k7pEDWV}+'{K(BBD4;F7%Jҷ1Cu#>7Δ "aq hc!w븼'T. dWU8$7&z/M7V!X/(e{/B:PCQݕjNӅ"YR?Qȉd;f]mO8ЯY;I`NR)Fݛa aAFh{HN*sգ=gpZY oBFXzMAZEv2 -}#W daS(xմqPkO;ds(ڠɝToŮ$adAOVl8G6k[NG8r+=q\bUFrhAKh!u4*&3&C:qc D.gi^,_뒜‰<>؉,3s7o 3X[4ꍂPi)HFV oB׈P ܜ16saR(7Ê1|a;DFЀ8f3Mk U)-$AGVHk_\똳w-8(B1!L0ؗ|N 9s]} ֢٦Nz3rIMr +o?Q\AܓecW!m{x .tlf|d0-A<^D'j "BM}56@AЭa 0$ pߎ4e?ݽQ{J%r !xTetDDvTi758NLx7R BĕM5G0wӞ |շ1 Q#>~ŀ) u; *@̊,n>jk9h NL}c^D\G# eo3X39͵!l5\8^5Xg:lhQzv V2*{涿_Ì-N`R Sn=ݯאQS34cm)|QQR^ } 5Xp\[*m"r.Gɉ`:)fд X%7X)ntr!v6›I{?i/|v滽 n!4^ZY3S3P faŇ:p]7[k( ڀy\[eO:kpcޤ#Ѫ*׿c~f嫭v;2=ezfx'[Tse<wOzXޕ4|(ٞh(TqFuW/3^2px9>I7ߓ~ ed@ 8=-t*p.h4(ބ< Dc_j!#SR:|K2''? ]6b#_( 1[v'JxjFϾiNn뜰p 6^wrB/ 7?GAF#:8T]ga[[9ĄN"vLCqgf:{SL`WF1jڨX;X^>]>?TrÝNcPJNM7SrHnHgOe5&$,}k@ $JF[C&}iH߅@A66FI]5AWFEoI`]7r*X4ct3W ;ǨϮ#+I0_ JJAO u7JWE[7\EY uTwvTQ9uVDHAy}n۽L_o+DXf"ȀWLnXK}zߠЭN5L6U=m䎕[Oi`e\?~!x<8m}"qrTMK^lRC=|HqNz q>zYl a"MqaTE L( 3^:ϴ؛ƎjzrLJ> (bcd]bGf7[]&@8=Ŝ߮j;@2%"D<- nS!@'uig%nv 2^BRe[y=FLJR 1T_~I NzEv( ?ޏm̺G9ټ ]]@k@MzCFw"g껧\T`~1AC $I7w*^da7;&q8vD3|W+JRE!Ne,Ws6q A!MKᛴ[q4,ͪ*ؐOF`-?)>o}Onȯwӊ[T?a#jh2P)x毉఩t &Hk,+PoL0u>p~F\74`r[?]7}Qzo[*R4_Ԙc+ow^MImb~vk?BY!i?s}} Ψ