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 T , Y% RSAPSS:threads=2elapsed=24.439cpu=45.032gc=1.272factor=1.847zXZִF! H]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ Žn%{я批dPi'I-ҫ>{R-a/=̉|@*%‹W٦Ek?&srVc|D-+LY\30z.]%{V EruI+P\aa]wlʏx ңǿ@fWPĶ|أSVLAI8~ĭ X\5.fO&<=|Mw'=laJ,kQB@,,+kȱ-6oc`nhʄQǑU *?Q)(/]^XRR}lty~j8`մ#0R 7p~I,-2g'cK3]2"K*0U ВR@T-b>x>ݣkQ:wDƷx{hv39/% t18(xGgk]9gPlBP31e{S%d{:u{:6=ݤK:S>p۔DvTr<+ѦV opT,fE7h6! KgX-r6`ځhOYA#К3csq.WD81K/=L$1m]bK!:\y16uu>{9'D>F:[~G,|MeuFrj⸑; ږG헀/ˬÓczIC\p1mT 0J~Թ1ۙF*nlXŹV튟_q^Ty}܎ љGG; YI yM=[%) *`JܵXLO^Q䷗Slj$~]gZfÃ]=gO\$!P=3&e.ct{oe>5~K~]am5 Ef]o~}f\ NJ._r\>%t͹ΪJ^8GD+ٌ >gYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15eae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9743b36a172e5fc26bd8771e996d5569f1687f17   RSAPSS