SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <)TL %/ ClockSynchInst:threads=2elapsed=3.873cpu=7.732gc=0.128factor=2.007zXZִF ) ClockSynchInst! 1]ŗXf1-/6vRZysB N^MJ+f5`9|H'򟜕.2;TONO+AQIo>bF b,mbM_pꛛV&F+&ca-mAb |fN(t2W-B e/ῌv,u%&k: O J b$`;_vvWO<,y ; |юt>BI))SCP|y9; ȽKC?0u`⹼ T~NŐȸYu<6\.o\O_/LwyxRςeDV}k ;senVSCoOBn<4)ͭlU6Lr9ªţxYI%`z(e9+3}Wݰr@A+yE# !$é7>ɤ[x<ZJJ w-Cxߖ5 Xj:3:3vgN] )#πHb3ݸݚm]I]#ٓZ.zp3/?$ݡ.hH>.]2Jb^ 6ܕW2wcֳ;gYZ7zXZִF! B]ŗXi%DQ&,s`@[xyrUz-,䳋A^ `O|[vdre@iZ/+6'fli çȋPF!b;d𡶃r&g[O Afa\Pc跽I$};4^ep;=G|D2+ #8Os>;9mġ"ENƊEz2zfn%m T" UrH.RN<*au#~D0uuQ (&o#HK iZQxS2t%#~SZ܇@%$GC*NAD;JasA ۍ=(Vf"L7W7^Y89@ણbI8Y;fD]V;OK㴽s|uk"DI"w'ͦ8h |%fTdAAx>QJ)6b2^I&mv(9BR23&[lOgFȀĎVuv߿;cA &|$K]мoe߫M6B !<12gYZ03fc5407a1863f996c32dc9839554a793352f24e 1ada44196f0f092a73f7cf05d193818482d6283d 1c73eea94aeeee4ed1379b7fc85cb8af4357a08c 4fe8894e0f87c582c785bbbd6e1767f74071337f f0827bd66ec30d76f4db5a9addd865d6a43e28f27df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56