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  \4 }/]UPF:threads=2elapsed=32.210cpu=61.916gc=2.496factor=1.927zXZִF! -]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z=nBIŻuPo'o G'kmby~ar{uHWa>! a*vxsPe<̗%0jiqH.5LMѼ(>u^%fg<ƀʡg Fv<;ՠxqu7/ kبr[Ḫz?HWY7#B.y@=JB ip˱rˆp(mip]_,,=w|`_N`@_/%!yHf˽ l:Uby8*-$ayΣd+t/Cŷ 4ԷgYZ7zXZִF! ࢨ]ŗXi%6wg ivmKz=; m)P{ @r L"C99( ^%4xeo@u1 Y^gwߒW gLw!'y@akȈ{diUK)pOgZ]9;)14807BJ=Z?/c7m~WACLVV9ѥF`do Ep9x&#Bb dgGKPGۡ|eKä7Ӂ|_ eaókZaM>O{;E(*?^^ݾx &F.fOߗ2X_9Hz _?zDU,dim?V=$HSJ +xb[F(V PE@3a Ϯ y*u!$OT-]arAgDi>H1 ^'4κ˺&|2iTd/uR"R$ #W g*e)GC^bV;8bդlEq(2r[čEW%-{ITllFB}[ WB<7h}82ߟ7 αn 1%=3Ή9("E$e<ڗlgC&ЬjD{ ˯`bt]oY%IɁ5:<ނķJ@^Kj*YW g^=,ߎjj[p_'bSQ:H V]9Ƈ'^JHᾷBScwr({o qȂ*e|M=%*bqGں]c! 0ݦ|WD.x*:0{GQCY~1]|>G&anKkW:ũ22 L#-w9 7 ^٫e,pMf?6 i}CWAA AP99J@f!]ݞbi(&HGyq䃦y$cWX%dSOZ/Ä́B\x syqk 7׷jqtJ2f|G  i ]svH8-Ć$:eŌ iź,? 1E D Uo!jR\8=aD1/\IJo\uz%$%U"yB ^6KT{@1o¯e>CnLZuc 0FC[yO<]L-1jF% g%*Rg\@xg=H'Ԫ{=~S|dZa+8y @ڡ#,/:ō[D }ʌ:*CQğ,P>