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  3 D, #S HOL-UNITY:threads=6elapsed=18.863cpu=90.416gc=3.488factor=4.797zXZִF! 0]ŗXf1-q恈r}O_'^ZZVBՖӪ|xY?E–{½gx.$N[H'@tG+w=0 7+tEm F/tdiX/N]Rv؛Hhs@;];0 nm}smp-2]," l>G/ M^ݕHz)5$$덨GZI;= JDIDx-{㎉'5kY7sk{JBk5hRZ3@,anX$= jWgrx@י)oe6c4a<ǸZ34bۢ\J͛ۘibuu:2 RlD^9jRKB,f"%H{՛RdL')"c==3~jyIsF4lT $S 0"ݍu?yNH@;(6:'mGrO ;ma>S7xfB7')e?gMށ܇kOm,GonPڵ39G^ퟡYRA-eh;dc搀ED@/wqZ|}1i3L/bDiˊ/.r5ZC?y4mhY]˳[IÙb,ج`<92M%b=P̹2ueb~|#>n[PptR Z[YfxL) N' vxK^%œķb]Ov#*j_;cնk12љs!#HRQlB*[8e3"v]/J(RZ\AS"t~ª9<*α?n˃+sMVYF =yz5l-f '$^ɍ!:,n荃k$w/| reL-ghWS]>&Ɔ Ymvcvj ē=#xRoujV >R^72SŃ9Uqѱ;7Y{ICci|)+wVT':Kݗ>::oU'6>{>]GdV   HOL-UNITYE ]?b9)JzDXrv VGiYlG]&`RsY5^//\)'DS8TM鼋ҏN@MKPyR㘥2T} a(_!gYZ7zXZִF! Z ]ŗXi%_~rqm ]Na@BzEdS뽁 60&1?#,C+.Z_ =8uQU˷UjZ^1<0 V.G*Nù tp\6V-IC㢑iK]i@J\s'?%GC[S=fMw03@rL@a)PGrѱjIľϷ(6 W |dbnxM_h5槪{ {&K GI5FLFڲ^8Ժ Gf @H!'T(GQۦ;@ᲯH%\n )Ÿ%Ru=):61SV2[=AԥՐyXbyYPi4lX+dGLg2/PزbT f8m]HQjс pYj|ل(a98zj@hEFv>4&Uys Ƭ)TОI6oů^m 31"!ā)X'b?Yd`p %'oɝ$OXhM}'gE^@b:Q2aGm]QڐJ@Ғ]Y3ɜYoL1 "7wTvAY\f@N XܲӳU~_ HlV\ݧ, ˽Nʧ6'41ߢ?EM9t5*ޝvVngw?sFn7,EZ@IlHO RY' q=!1ݿgbC,Xܵ8{a$3d„