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 J D\ y Isar_Ref:threads=2elapsed=8.918cpu=14.428gc=0.800factor=1.627zXZִF!   Isar_Ref ]ŗXf1-8>l޷VO +҄RXۼfxAaj)(1*}ǍG.R ckߨdI?>\mˠ\+Lb ² I,I?A?1& ͽxcQ9'.aȞk2X2ȅ!b ?*M  ~\vnbM(N ]n=&&[6[1XAFN~/+@9澓Odo x (*8"/8&jW9;AعȔZCJYռEo)}"Z8{6c"A"p;]۶#->jKG2$ԃN Er?Хl~`:{.G I2'4E듗Od~-İ A=/a=05^ +j݄Rdԏ$'ksEn|f-gКׂ0 "nGٞ^L6Rn cۙh1>>Y%;tcaN1|W)]Oe:/o)1ې 3Z\^x nfx]GRv4 n F0' q"^7`@]YLV!\( ĥaF|{HqOR!,cX*ECZFY\ApTQS0Ab7g?w#G. Jh*]~(bϞ,>J m'(̒¸ox#;l\βlE@ܟK?)M 0}$2VW OETcu^y|+,?;5'cO&d_*Q_,Ue11,PՄl![n`WahaU'ȼZ33c_ a<ՖAY8܁Z\ٜ-)%"{_bg~ړR'* ob7Ȝ&]9z.C9.폅g:/.)a.a՘o:sw4DFpI E/;DPW:ב]ׯ謴)7X{gYZ084f9788002ee52365b7ad094eb90f55a4defbb2 19eab92e2f871353cfee76a62f6981e78a1469d8 1ee88e05b4c6a465de29934fd35338a82fefd5f2 326f38d50c0681ce9d2445ab6ae1a7bd25295123 32731af9c65f59f9de36a961bef1f0106f8397cb 34f76b706d3c0e097564d57b5473a471bb067f12 3e545ec96c6e53f33d591029eb81b270bd241801 3ec4acfdab3f41736a42cace51f3c9d2269d1526 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 4f5175bb4d67c3ec67d5a3cadc1686eecca5f38f 5640ed1aab6291b3143911feeebf132778ccc97f 84e6028949aa598fd0fccaace040111882cde444 8f194db846e67a7e87b25a27fa8ba1259c4af82d 928ed290e532d0612948f810bbb1fca0c3b4ddb3 9663c065749cd798f869ae5ace29ce73502d427d 992f18772ebe6563b923ef8a4f8cbeff9e94bc33 9a704da287ed2323b2de3d60d6934c27ca461c04 9fb9c931110ac7289e3c279810f90d07d2b1e664 a1e5d4d7eb2e67602685bd988440720f9d3ca9fd a40921e77bf730bee4653be90ec88b36f3b611d7 a634d2977750efd14daaf8018feb1fdee3310b68 ad0366ab2d7b118cb1348702c2b8808f3f001b2a b549213b2aef49e3da5304ab78395d90a826e17d c47fe18627ec350688645dfa34784ae6742ea8e0 cc8761fba3faa9baff4f4fc6ac17fa47dd4c8e19 da1567c528c0591b76c11bbf612dc90f71ec564d e9ca265174fd241d0c8ae7786aa0b916cb55358d f8ebafc5dff8b7e491af2a7e843d80924cd8e955 fd2b02dded527fdedfb330e24b0df02361aff2bb fec323a69ef61502b0f6bfeac7add5c91d0f92add2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c bc315400c916c04295cfa60734d24fe7f303421b