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 y1 < Y/ Concurrent_Ref_Alg:threads=2elapsed=11.182cpu=19.564gc=0.316factor=1.757zXZִF! v]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D{d87`}Ѽx)My6#77AXדy" @ĺⱀ^X[(6NO$p -اh oy uca9Vj"~ֽojJXN/lD'cM\DN" v8gЌF@ =@n$FT'3Ko tOZ; pEtO9͌|-\ʋHtU8ku:I"twΜsĶbv,ۀUzn.`Tm5g7ņ+ $>($B*-~c.Tuq]['!.t;,q)==vi ͳ˃ ߤOybcXBQ,IL| |Vch%},=^vO- [D7֦p $H p=s!Jt?Hǰ$4 tu'SFO b̓SwEgoE邪Fd g&hք€=IlziS~T a C-ِ0 `GDq>Q'+tٵŶ Xo$U>\: 1A70-G ,{.Ŧvjк[, ̸gt>TRJ[c}\CUK*>Շ IfE%K@Gt8XG SrOw/y{戨|a Upmy͛F${4@^zM}A@~z{gYZ002646460a812c4d5341ad7c17d0a781d7236f33 1193d7241a92d84c139b643854d230bc4061d46d 241a8797f0073607263462b1c07f4cdfedd60c22 24788100960d5db04ab825d4df15c8efceadacdd 423ead3bb9c7733310cc2d44a9a25d446c18d2ed 526032e1c045afa7cd8955f01fb6c34497270ba1 5d7c8f1de12ccb58b4d7c8e522572502fa603d29 7c09ab90db3d50b72ff4d5e1efa12f7f5bcc4e59 7c9a26e853eb64897a16612b7c1f676061b06f0d 8072f514af00ab224449100e406cf05163ddb496 9034e1129e58e58161eaf78e076bace889a5bfaa aa69d3a41c0d76f0b14876b163c2de8634c4c537 da42d7155239806a178ee4328eb309941a07b70e e01e71c22bd07a0062de326597e2f8938a747ed1 f009922a3345bf16f84dcfcb853dce5e6ee880c5238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 1 Concurrent_Ref_Alg