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 y% ll ]% Stern_Brocot:threads=2elapsed=39.954cpu=60.336gc=4.176factor=1.517zXZִF!  ]ŗXf1-q恈͐7ӺV 1̙ GMjiuQ*;U;z92גϻu]T?83FWpz\J˅P{[˨(;69C}[{8M ڮD͠}!#rꅐ \@a+ oHv,+YKFV`80?W6@V~;yL&*[ŃP*gwG$16m2b ?! Sbbu|W]h|lr# i0vCREWHa@Om kVVU9ul="Y"SPOK3&۸'80룄e;jtgPBYAh=seiҺ~O9ʸn X bPׅoa3g='C.uD(cUeyṋqx ]A3[(ߟ#'l p:2Hە(eo=δel^0WAķs!JrPy *(xFx{DBo,\ !bX+= ͡~8>U$Ҡi^FB-kR^^wy_B.1zJvSCT=dY}eU`=m$ȢVciiqpl%xt[[IQf"l?mQz6p0#N~.4 $76 /99O$ݎYtGPx(> a}Uk%:&C5o s7>oA?#EhTy|B5dupʨĸU޿&7oTfopd>MI\M(e3!TZΠF]k$Ξ_$emYy[\T=u8DIJVpx@,W00} /YVr_'$Kks[GL3DK6WU΄*0<Gϧ <9^ ;`CʍF@*Ub#X_"ӿ>?r!ʟu<-z9IYfUT,wvpWɱ򽓣o'b/'2qO,3-=%xfznXo2:ё~2λߋc 7/"%Dk5he+Bj$|%̮FxBTTj%ᶬO(B [*EX=Znno` .cpWwk8Z_ˊo yΞQˎ`)8O#&`|+1UhBE4u~7-CN7#`DzQ_N :VA=U5^ņ -G{ (8Qxh7痢C'AGDD{jJg 'Fcp:OO^CeԼ5W݁&o]k RBrfm]fLnGvv.^(4H|o! k1`C`TNU]^s Bl9\Z4dL;Wa7_â5`BmAbA5a~9$'W8ϭ '}~ʏ&WCNvo'yP&NnS]wRLC(w~kM,ck' 0Î:܅ك_? 0p \pl$P`N/P E~-j+5·fc䧙4ͅխP>BhrF9WL$v\CNّ ݊R뱱gYZ422d5b33de56e51117b36a5880962feb96042ec802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 08e409d96f50edbf320c0d71d4e959d75bc61bf2 7051b476ca030c5832436a5489f872df29c14e18 % Stern_Brocot