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 ! Shivers-CFA:threads=2elapsed=30.177cpu=58.668gc=2.848factor=1.947zXZִF! e]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kKG)ohp)hLV+e36Đk-A`=Xi}1HS.ֱ62T\bY6 8m=i-bNwSr~WPuPڿ*.K*$R*0l%V~{+~je7ڏA>/͝16&o5wЦQ!|F_˷\L zLUH.&tawőb Z /QFƐ,AgT<r{iTg`l\^P@ic8r}^0E~`.Jt]T!TxFUyԵQlŝb4v7RКT\N"kQ"Op֍x*9ߦ෈-iWTׅհPpG7E1k07WEFc>K+Pdr騯JȄB+yca. vwp@VV(:Df ]fiH#qfm;r{NT -(٪B0cl  y1no$$w{-2iOP=Q˘W;I8P)Wۑn ي>1  N?]_ӣ1mҤB,;P]L%f@$V+6ˠ- B4Nωc]BcyJhw[C \1;aa;k%YGQ1 Җy¾Z7%$KNb2`w ZWL3#%| RO \*6R}5lbgYZ7zXZִF! o]ŗXi%r/eNJ\) QJ=&l]K5J  _+Ӧ9FHPr#DQ1-^(CFtl)Z:Ź3&bbtKIybAa(iI 'U6y"'y^ .b6C1UX=#NVQ;@LiDN~l4X;@|^U<']M=>cf\&đxT*ᒝ4l~skX %7 ?–Uݾ]"5v]y߆V(JS7|PS1}~\_() {|`3o&߮#m'<b"!(MwqKFd A&GRB;y5w:&_UppVO'rXҁ @@2:t%+mv 452MI!\w3 MO"9&ʀ沺p6ς̿;]tź!tuo'XbRz0qj5dD3 UY8A|?z Q OT%B,R`raS>6i0. VT&Qs2] Wٻ𠟛&!M+<_hh3|`[53MmBbl>/! ;4Y124t`6^ Gj!8A+N0$SkP>S|3b?\NMN]t C\f^?lgIJY#revUCbH}ni(Mڡ+-%]eL[n^ :}Ňu(^> 33ql91   <1u[UĊSE;np\`=L쬥V$u1FlϭPb4A%Ca*-6[Vq2qF(菿L'YVb1lTE4ɦm{ܡ5E^m^U7ա_q}~%TAW$1G2L9"q>n`[  6:ToWGeskD~-[xY1ɶIx[ _a9 \4q ; rɉ(0$i~XR "ԅ9 Et vH>Թxy7~BZ[]tBDSgժzј>ފ?a ģUŐECK5PYMN OٖkL<35WlʺT1gaձ &DWݪ2隠"kU 4gYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1511b8667f4ba0dc8c53caf2b5c186ac4c1948ee 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c 80e69686b6f735cdce889505ad79c4d7e764a7ac