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 ff ! $$ !/ Prog_Prove:threads=2elapsed=5.999cpu=11.540gc=0.756factor=1.927zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnOrl0V}LzV#0枃;OTʕ_EӇ6Õ.}cJH,AB!F&b*\ 顅c K2Aj|Fz !< AJ|GѬ;uϤspO1;g̈́6s=&dx0>Pu@6]Z}RDxDoF)Q.& qUsb@sK  ! Prog_Prove ᭒Ŕ؛[4-/LFciS6?&\oP#{;luI:iY09^ 5}4yKߤ 8>~zBaҕ(o.U7¿ 3,'cuڧ2o0*ܿ>S7mꘒ6:isՋM!#ѼhGmRl BdG%J+l7gYZ7zXZִF! \]ŗXi%BՎ&rdGtT( _z&RʓS9j0|{x2S˫_I6@3tݣǃt5 iC1 jSH2:ÖJQ}zB FʞMk*| /̝":&p.+Jo4` ;z%onDaTS[-q4' H _h3i `x= C5!|Dg:h,l#Dv 0i5|@)f!;>-(^`mJ)57 L!4sN$81$4Q^AoE-=Lp&n`՚T .vpA^.M>CB96%'U8G_ L^؛hA$?!JE=} ʤ,sӳ^gNpmRX=uEpiS:03<^xL,3@sCf>g=!kÆ/+~'3 vYB8;DlRaLs_ P,%kjgOF<ɫ!wC0&d8#&lrml:lj}|.Eg^~&ty|bd'zy8fRWYL;t͊wJ86p(tO<2gYZ174ccd452baef9fbec2f79b6c38a5c53300ccb22 23d3ed8bdd2c476ba54e3128c5f8280addcf947b 2734df956a5d1ae271c9092920579de7e30537bc 27c724d61b0acd832c0c9efac9c78186f35bd59b 68340a555b39770e9719edc324cc560a4287092e 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 7e33aa3268c9a87c6d81d73660f627ffd3f88a61 841cd57864f37bd1e2772776299df4144bb4b962 887b9d8fc6087862408a9e468595bdd570f1190f 8f194db846e67a7e87b25a27fa8ba1259c4af82d 99b577f8691c5ca1986b2c95c171460455285301 9ca4e57b823dbf272957996380546605089e9346 a634d2977750efd14daaf8018feb1fdee3310b68 c77fc9192a7c5ed79102b09650d9071bb42733e5 deb32207eb2e7d1a4fba73a37fc19dcbcfde6367 e15673eb9787db266b130ce5124c7bb0fbc95334 eb1e66e6f3e7d325a3233813988a47dbe06aef2e f0a8ab4660f11c407432f313daf8e6ba9a6af64e014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa