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 $ , ]/ CRDT:threads=2elapsed=26.289cpu=49.936gc=2.452factor=1.907zXZִF! +]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıe EfIE$&dZA?b83۟vQƻ/e}v5KTN=Otc7[MqVMm31dStk?\y>%UAn.ѩ`G0+Y9y$ Hd*Dܩ.Z &ݡ NU{cDҜ1- 6%^__F $th} 5rC#EkØ]p5>q<ޣ ckɣ!xh1%//vzV_ Nج0 :5Dp)lugF˭UU#W/˿fl3:ؽ]Yf漿wh!F3؆\\0Deh5dv.SI%1W>L-q^Fn~ɚBN: #QX"5 u)|)dBCOơHWP[ "KNlXsȿpJk`,{<"%ἅ|wҁaikmOas.m:%/Lu^|ܯ 3.Bpl }k5>md>Ps,3@0'bBugß?SX, Aԍ#p4Dd^+dbIB:vKUmg9RC љ=.  vuu%|Ny3(1٭CF8vԉWue1^v랍׉D*lJ; ?PHZUpSBWESTg$T$۶+Tm+?h`\irMjQ!aXN=Gi9:5^>d_B J*4 0Op yH*I79eꞦIGM=7-{An1G4 @q]K(xHV 41nd3  $3u&(i4 r?,h/d'&I`r8kc)DwJi~"b2vC:JrT s8!Mb߰=a7Q]rC43&^x(Jք" W-gYZ7zXZִF!  ]ŗXi%60n#g;'ewSs -j\1)ahH皜c.#%p;RRz-N8f~ySߖѥIGoh`~jKYTL4EZ\ugnj;}7Cq'+Ġp(kNsaM*`%=4?[_-K =>#NEERp2w:vIv.%fMe'>M{uGvX7ľݪ# >xi!M@D 3G _Ocz!. /ILڗ8S5uggNpb@ Su @p͡s#R(nY?Fa f8QF]9p Qʀ-ݑW8WuԬFޡDsZeGW~V+M5H/4&#xrF<lފe9"Vߤq%qV絎eR7O1hH[vzX9K6f7V\sڴ!\$E<ʿ֘U*Ϥa@\dbaUzCMHk.zyvwtMȚAma(ir;Kb*橒n2(a) 刺'i 5H´APb!lE+k[N&4Y2u-UA=G('K[wtķE8&AiJWl b%FDA %76)G*dBip2l-+B[ ~X: