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 bb) Lt 5 Jordan_Hoelder:threads=2elapsed=19.462cpu=36.364gc=1.320factor=1.877zXZִF! E]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃:q)U>fk-@ݏ+9_ $Q%tk5CWy01wJq9/١?4:WϒBZ\[֗*#2츯x$]4-;LMp >9uBrd.гYsN )krR's˟Ez*5Y=XŅJeK|)sR7Ͱ)75['&:(@(h]L{@T'GʚZR0%$|STSs>I&u'X]_5fLtTd4{g`3`K!6N/e ]&).]o՞>)u/\3:ߌY.guն |ot# &/=̧&E` I)Ng=)$5PtaI2)^",&<լ?\ ܔZAJ7ZHLim SEu_˰Emy0=g=~S]A 0ǻ /lFpM7" ĩ wZ>.E ZeDVduK >r0fˎ Hvd SG(hSk+ ) Jordan_Hoelder4h¢`RT>? I[]6E= Kor tՆt79-\hI]vWTɥ6&uP?`2sJ LG9vy [#e:CLq{D?qS?A~"xv W񳡇{rd(Q&߰7" t`: J5!Ny O]V\Rs޾Q1KW%5y<@ s[}^I{d$;`]D+n|Ŧ  tF@-s5S{v##:|/+!7|'1v&5ޝTYR;Zbܫ8B4]>`UZN;N(<ÒV,}ΚVJCI{c|[.%(} o -kCl]*@>ѫQCFC16'!bA^~ J̳T6U)ٵo,79(Jj>:bOZs{@nbDۏjm;>]<@}v%?0\5g8)56h8|f~LkbvM`KgVaVVU-*oYw%,-`(ȗ+i@-肋 [j/sZ_A8Et XҖʪ^^P-λ_lP;1Zh$nxXzk7 P͡w0EJbVz6s-LvRIș8$I]ż )>|mF2aC{!VHA,aKf$JGYwG/5`MB˗<܁qeW^ԅ,۝{=d;(ċt 2@\&F>6ĹM;^KlWYɪyĖ U]|_>s 'mDlM } 3Σ}vK ccqs,9hܪpr|d?94~xƊpgBYOAq(nr`B׎y.>_[zq[V-AĨ59y^B~bB)^ֈQ3a;c\D;]C9 aaTιY䲄ZpRa휭?ц֦dRoß,cC0RQ847hbP6oY$׭E®s5Ϛ*)0b6.8-Ch(FS|q/C4QY"lp?4:3Z, aQXL;a+3mpAp^&\; !Xڥq?T)*鈪ݫfOrЃ`xԳmoO•삈 #FϪ {~y#:iir.~tvΘ#^S͂TYZ4R&~7l1Ii4gW;iIأ塛CaψXD>+ +byoL-܏,@D`^~ۊLr^)2E:%-Ă芪)H+"uٰ߯&z9=.2RWa3lkXJ$V?["ފ^1R5,"r 74hEfרL3]ֵN<矸60YB M†bI!bԅb~v6pwNrVs2dI=ELt{T /cG,^n;r wi#/+<)(C$BkmtIP cxγtu! i=)#ƞgYZ7zXZִF! g4]ŗXi% cSܦ)@hRH+G-1Ic'ĜTt^ad'VG`fƭWi_dO؟0&ݧЮoT+CaGv]/ys?le+/A! 1X_W_- mUMxyIY4f*v>>RgpY<$wt§ ,E6y%G?o*t2{0 0@3kI"EpVADְ1XRvĐ-#%v\(SIRqS>:}%|\@pU.NN [W4Q&]E"%gM/F n=֪Z ^|[ECjgay* ڏi EL*3BSt/}3eZa TOqg-"Tϼ< d~z6̏~&VM,\%,b:_b+p%_0%@'b E0=ʚf1&\Y6 <8zW$y{i:")ۇBRva>8_)}Cj=D\\4@vR.ԣcr4nMVaNJEj"+?7k&N/lQy"o jM0pEyD0q+r+ F(/:'Tn J1hY.e@_8Us5.:i?6u@$$bI8ՇW[0 vCG'fA`!qBŚ1dR9H v>Z{V7"G IzFjQ#z?Gf鰷=ҲHSt&F՗Pg%li|xpoWQ BvEMƲyM}Bz~]? ŧ8\kgJM.OVK`seb(oŧTq?H0$h>K/e#js =Wa#=Oj