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 /5|,z%OtaIp0?6UMsغ'.0+AEsJ*.XlLr"l)Y!FwS 9U;NVMi.;kz)w,ҍ)PejWXOwVZiEG~ەC+h\8?bƬ7ٖ!l b$+yr Ļ:wK4 ʂ (0; P%ŞmH)n_7xn+rQp1rJc=B@&gp:be ~@%L6E nB".F* cs7jHlgYZ7zXZִF! 9]ŗXi%Hʃy2GݧkΰRYyۑ?[h\k@N)""@2[zBReY6 9)3+ ߿A鯘>"~B(3݇#{x6tzp껶Zwp[6CAG-S94Mz)ZT> 6ȵMd -xNgtPiItNח0MQBEtVΤ Ču3Jekzj٦SxYJj9CKX[+fN$݉q+![x\C<}8Bw-Ej*n:NϊV u52wI^VRyvXr\-g P6^DFu (ŇeyheE77ZehHY:v<54h`ýk%K|u/orO>GTb؞tjKI{$4̄ڃ3rx=CX!ĸX1?fFp˽[ı*pNE@ߖ2oh?{o\wǿ XJH!g? ѠqsM8Fɚ׽ֽS֍4Il`fX4TB b<ZgYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f60368c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07abea2adb6ca3b16cb3ae41e2d2935b227d1abbef