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 ^^! < !/ Prog_Prove:threads=2elapsed=6.200cpu=11.892gc=0.696factor=1.927zXZִF! ]ŗXf1-hg3㶌fzхPl;k)cZ-wJ]A9Al ^s P lCI|@ObP;qsn*Vǰ`Qwg`8CB5KJU3ʡ"9ɇ߹Ns Tv#Mn36G8CҴ/^M"u$?X}[4 ;f|ӹKRO'&hcCcAn|RDyG3Db104L=F>  ! Prog_Proved&܇ b{–P0E0^X;e &,yealV*R(WfqYR!^xhsO:i5ag=vu.}575j56=  jp_{\0#kPW#@1Z(`@$pv( J=-@i2`8`E+1HO*|5K>{.'Q*GXos\tapm yoŒrYrXI~7,*QgYZ7zXZִF! \]ŗXi%B\ns$e!le4dO.?r6]FMz2n&2 oZll:ifXX%nzwrA?V? QYf΍K4E!6`dz*õOMAc 7pbpg7p^v:{+^2"٩38ԭi@|>ءQOe 4UBf1 ųW ;JyW=`c92]i$7?hi[Yi5ٓ@qlA?Cl "xܗzƸғK0w VJK,~jګZ3#1ڣ/;a*`Uҩ$`V; )MFnM^zXYQCI}afiX`gVecA t|t#fk,1U,@xy>Z}tki326I9ihԟ\߷Q0hpRHg2nqJTƉaMMbQEgXyM*`* gQ96/粧K{k|#谊GQ-o B Hg$qYDBC o:a-< dNr s[q<:/gYZ174ccd452baef9fbec2f79b6c38a5c53300ccb22 2734df956a5d1ae271c9092920579de7e30537bc 27c724d61b0acd832c0c9efac9c78186f35bd59b 68340a555b39770e9719edc324cc560a4287092e 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 6c0d71733c9d33eca4795fb62a9d49f8a42f7258 7e33aa3268c9a87c6d81d73660f627ffd3f88a61 841cd57864f37bd1e2772776299df4144bb4b962 887b9d8fc6087862408a9e468595bdd570f1190f 8f194db846e67a7e87b25a27fa8ba1259c4af82d 95ded744d55549dc14b8e0b25414a4fa53973054 99b577f8691c5ca1986b2c95c171460455285301 9ca4e57b823dbf272957996380546605089e9346 a634d2977750efd14daaf8018feb1fdee3310b68 c77fc9192a7c5ed79102b09650d9071bb42733e5 deb32207eb2e7d1a4fba73a37fc19dcbcfde6367 e15673eb9787db266b130ce5124c7bb0fbc95334 eb1e66e6f3e7d325a3233813988a47dbe06aef2e f0a8ab4660f11c407432f313daf8e6ba9a6af64e1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b