SQLite format 3@ .  YYQ77Atableisabelle_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, "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 G+  +/ GraphMarkingIBP:threads=2elapsed=27.210cpu=48.988gc=0.724factor=1.807zXZִF! n]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WjW ee)ҍ]Tg2 ^SKk1c10@,K\ x6a}! P27@DHRx0P,i3؀ĤY&ꑪ)Z7E@bˀC7&z(ZdJ5hƼ@9f80NA:_BxOM %Ȁ$Cw6 Jn"?'q<Јׅ&Ǎ *HW[GV(́sYP_W8Ժ-;;eHxq<NCL- o_(U}=vx+,N Y6VYzU_rvv(;P/™gfC}$&Sѐuw13c7qK<.B'u_ZYKMVG\ȟCDq;2odb}O}lA갅+f-ݓD z;RJoe Ĵ-\_ xܦAG`6Xߧ+.i3OaS:_ U HmEnڰWJ<0Oj&mΧ[BZ\ `=wZQȼL? ! $?TAQͬ!j{:Al* DW\&ʆo^iAQ`Ewe8&-b:ϙ֝Ѩwp{~w񹘂C;?-]( /jrA͌F Kx(i%p;@COIOL̈́F8vտAf|tӊ1UZ#G3otd0yFcU[fQy3L~qGmFg\i7vO@o|tާjF.=z_[`Rsc ONơlaYN]BڹjLyrM nTSw0{] iw }M6 j~}crM,,lǣ,({MG-pN` H>=4-{L;W@O b&Ѵ*RxM|V7_iPٮ =~^+uN}7avkuSoRKpy6tA* |4S{nAJ\c,5Tyb 490<9HpA? ;/BLhEԵ( <@r\P! 9@H̗KC=h&jo, 0RF<1>ހD6/>JXݕ1} B?$^aaa6U5 2>c+x 8mMЁBPKDWIC3/4M>}e2߂E3Rdor=,j7MpA?ξaprqO>_HZ,dbx'pVi^);=Z^N f;CsEb>y #*c`S%,f{S ]d"QLsp!> @ёcAR 40XәEwʞ *kӶT{ψ9pJLJw-ljuNkLlom5R罳C\0oJD#7e–cmw"n3 C騮O@ 1ny+X ߠa[X6[!9^gFX ̬څ [  X $gYZ1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 508b2d36791ba85be83bfedc4df2dfd56feb8732 55b5593ab647f53d681191494ef1db306b4a7c81 756347eaaaf55c85fca5bf27d207e788dadd292e 862cf3ac8c1fecce1262b05b9e772d879c94fa33 92b9e9176524ff95e7cfe95462176a72c371e9b8 9854ac0e00f34a51c98cbc66526d7c94fc510ddf a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 da59368582700ed264615c0ca27df948c057a4aa e2b063405e84056d48c35f74dc2f5e30c318a3ad e5beb664674ee70579a51d05e32d4cfec7e8991e ebb19963ce287e01eecd0a1f20242b5c859941a0 ed0255784afbeac0c08a5cf550c22b708149a89a f169fce37d50a4aa0aac9bb83c87d83fbc5d25fc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 + GraphMarkingIBP