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 dd! <, %% SumSquares:threads=2elapsed=9.707cpu=17.224gc=0.332factor=1.777zXZִF! HV]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|ۑ=gx[+Ҋ9"UVOIdO؉@|0~GT޵{,.un:)9/Y#p`eHճ,摚5>fu[lfnFs젰? v9x?^ 4 1T%JCY)0Wf} |`4bFf@u I'ٔE9UCdXWJA8[\+WO"~g- U.|0_ pƺa:wB- '욐, m-OyAw֊#ԸvPʣ[Z\e)Q>4S[ ^.dW#}˞նHBsr4HxvQsjY /9&t;^,B#8^Nw BLv2o ]I*L]42!Kf~ -5J}~r?<$rǮj׾a˴uqjf/ 9&G~XH cN>A \ kmŔ+zT+ sʤC&k$JVbR2R,BYnw{E7OjD7X{SSW=-#/z1J=/KSvUv]pӌP R?{;wyGlz{KQ֛ZzCn:S: FshXk=8udK"wc+ l +ArD ]o X#( U[]xyͭ2p'ڈp 2bxxqDGLj-2>qע/gHkٶmdԸ~_߂fTXX cZPȔf+ -9\1ji{iKxQ6%X\OP*ҙhO834 eq18BsĠU޿>»KX ѫ0~;|1%phc!guا"z;^QT6!u7'n2Û_rQkN1Rgd<Ň:njèHy.vMH3qFZ51K 21>Ĥ_F`KEN5jtJ$|- Qc*Tdpeu$!{M> Ӧ%P`[<PtAxN*/k&. fFӱgYZ7zXZִF! 8n]ŗXi%  Ey9ט|jtvB`}gdQ))Sb+`$.sN4LAoK^.W,gȌ]Rk~ު81UP_7 /;qwd ŷ0Q_~XnR&˜>Nr #ʗ.wh-xRXkB~MŌ0׿L̋r k"=*Ղ.J*&B= mcu7I`L :b}ka=Yw? u Nr4КJF+Uoq=PR@Oٸ"k[C ~{_Im30}0H0'銟rL;ӗAЉՄ/ǯKVt|Uښ3 A}o6*}eRk &PoPq"WDSCؐ(x=][at#]Ltk+.hhX/DIII6d ܕj&Q:4Czl]/ǧ_%5ZD"C /Dz*ykdDt ܻ{ga^fNUr 9j oh bGDCJ֧&5֎02y3 'kܔ~関tu`N&Px+D:I 溯!}T4׏YiFjԠq&+˃W1&G%UmAol'J=˞7tnp{Zء֮Kg6^Kƀ,? XOkd