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  )1 w% Stewart_Apollonius:threads=2elapsed=5.693cpu=7.540gc=0.136factor=1.327zXZִF! ,]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHh`AMkL7C]9L?[KߋA"LgqA=v ~sj$\[4σ<5zkf+֙6Tàql! [SgYZ7zXZִF! %U]ŗXi%6 Rd*O#ѻwgc\`d?wUQ{?vGҪhy[䖌X[c JP;WkZl$5XLENXqx+Ky(! <,zm5N7mR}R/3G Ye/tl1X{l@N,Ŀ yCPv͏C5X"ׄ ll'[ Pf2Z+X0Vm88gt`NV_BG,3m#P-Y2j+E:Im8fxY{νVMSȺ;W=vcf5-^jM;bGD3͆u]ֹ~}FP_3kpX%L9$`ƞ[%8. . H6ɻ!`wT6BZ̬X)>lA7PZa:R\4ۭwρxѩ0{G~⇨Ur7< 4Ek6vsoWcKyO #;\y?}CHQ5 -a 컌N[P=6!woxEU i~[SݿU=߫_xX-[f5Vh*"3a "C|l8Yf2<1H=N2J'۱gYZ020f06dd13eb2ed532ec0dec0f89bb4b0383e034 0e0f097f06721b90cbc34bf928bd857646fb74d0 67e9c1086d27650a831509a3399f27d4871f6567 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 721e4ef6a784a88167e95fff874ee5ba5b33b094e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 26e654e9b4f864656e647ac5422b728715168d52 1 Stewart_Apollonius