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 ?C d I% Comparison_Sort_Lower_Bound:threads=2elapsed=8.943cpu=15.108gc=0.348factor=1.697zXZִF! ?]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^D:KWgB\G͠&N^= )R`.%cBi@X 0%_E}PPN[(ω4"W߹&R[Ȁ aW!^=4 3.b/[@P^ktl3j?y\](f +<47c ɿ|ޘK|ψY@p}cbD C Comparison_Sort_Lower_BoundskcJOm ?? |')0>WQhTب҅os*@M2ڄ̗V"{'in\Q2w,̄ ^lddjL̃k_MqKUX5_J?Df+JP7VyC(LiFƪnZ|rؚtYN_f ]o_Fe/>ERhAݿ!o"" U;"ЃKε@NzFl'{űxnhȑi=b"eε5-HsۭAT<LaiWtqQhG]ji EP yU6 x|pja|]7=Z62$W&{}~]Рb0uO} FFI^',f9s`XTlP!mKdQޫ1sq|SXw/!2]d^HF@mWb2%B IffF6#%@LEBK|4ÁճT_P5@PDr ~UYgYZ7zXZִF! 3j]ŗXi%HT1XE'. W3v\YaM,!u~*SM/%s!Kr6gE( Kw&B]uK}yv,1LѢ[^MYd[)GpCwDE>cX_O0J\0UOBtyތ~Lnޞ 朵f逆mMqE^~+.x4'/b5cA/r S1.NV'`W,gCG'SeV4Ibj6($:5~SHsJ٧z}_$D$CKB2 dAB氷 d{Vcb:'gփ<4Oةaz3c4 KOw#5F2EŃ7@Y@9ȳfgڴZoL-zЕB8.RBI?;`D :zm]=ԑC }b'FvfP|X_l;<\VV X7'YUSqsg~j}Gn{:.V-KSkYÙTF:6*Jj hGPgd.gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7d5e5ded6b7f50c67e0dc6b4e7f533ae8afede4d 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b9ebefe63206634b984e3c42f405b18029f4964a8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 cce5e359cdc08868d80fc98e6846ca4e8992cb71 eadcb1f9d0d0107b0667a2880b65c0d67bf72e95