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  T\  CCS:threads=2elapsed=20.099cpu=36.688gc=0.992factor=1.837zXZִF!  CCS 8_a]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(S xV٭T~D<7؅-Bt_iWYԍ5{ӰĪQX 9xӯ'˹UBYUؙFhK\<ÛSΑN/T2'D=ve5\ŊUdUH~AY7`X|cu?CKEMzf c?h1RXlҍc̼HUIu6}aEz0tn(^nWKIJ|utI廬}O8x [ka\6jg8,R^].Iu5!BY1R䙓P-ϼa|Np)Q˒&նa-XN IL JY˾xBfeE c޸ΦIRUytW3]F_s>Lʑߙ`$?W{rK#wGt.3\˳tGUIЯ|)m ewq]S+ XԭaXɀ;Wo@M` %ÅCȉŢ,sh(>?f`yzg0 VcTI9v;efy{(ZR mo-կۨ墶?y~(ۍudEd}ts[8.J<PhEQ66J1&(?C"u73UH`gA eYĶIpAֽ, _fʪ%q0(y; +MWT@5GjU[[fߓ:H-.y=10o[pK4d_VR|-繬8ZR?M>:PBc8kiT9нbgeO7 ie҂Aoo1{8(c $B]}Y<m\ҧ)w$%*8HOw̳)蠞! nι? pw:"o'_tq({ddQ+俠Rvk=H=0h쑙PY].MZ'6<>Oz&U #E߅g>J+b)/]DNMMA$<=bm]$%7I9`!`Ӳ&iK>+ 6J|Pr.pl:9U0%,hn⦨>IWbM>;p Yp ʲ*@WRp7vӚ6+ =,/ 6dc7^7!UK2}UH}C%XE_"!Vp[$zy*F$uڣJ%^ +6h,:@ Qdpc2.qtɼ;D12=z~Ӹ(l3&$yC|Zu(9!3<>*;R/ AQ wr,b{ kAm`O/ |kS7_GDȯ4I=_#R" N(M[S0EUsSseIMְ`Wɦ_%a1@N?>A,],}l!=Vl*POu`G&CzN7{I\33 *["gYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 590e25abbed2125de2b6bfffdb2c596b0eb24433 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851b3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c 0d881aaa295a35b756ecf9d47e429a03e66b955b