SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ,) l T ]/ FunWithTilings:threads=2elapsed=33.706cpu=36.576gc=0.212factor=1.097zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9#ɳ]5,A9QT'HH^G{wr4x\˨OUZ y~].-%|}<,]J~6\7(lo>^:ycsy [Y6mĐ(BuR~XτFig>S߲u H`̱gYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'w tF=-)4C J_Kl}YZ7zXZִF! /b]ŗXi%9#qq3n&. hPEʖmIm^5& 2[˶u`qRzd2kGk&A/ϸ(3ei_eo+ f;_?:&vMr 1޺DNJ R'`ul4''09d,CGQВ#Ґ]gbcZ)OFʮ`B!DEJ,I10o5K&u)n--ѣ^=~۫þWD{^Yc;זI~ŖZ:%) ltujK|at=0#\Łry_^w.StНהNؐ'/İ=sԘ=0Ŝ-(vCKєnC-.mMi-~{mA CBk8e:#D)a9!ZtI -a\EXeNq&bm@'H*m鏰k?+GGV |.+6 ~SIlUFf9o܋%)=Uzѹ./`%$;$'=X+RRYǏ= \x8P2ܲ9Qo_9ʇA0&>R:lZ;~o>Jm3ariI-0LO HI ,Իxޢ삺0Vж~g'=I1N {>Emrͱ{,r&v.θ#Xjʤ]C^k и)/gP .^llC.\& j(IfU?SK@Xg5kR'!l!M՟˖ӄ'w~,ǟEF1