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') |T %S Dynamic_Tables:threads=2elapsed=8.923cpu=17.232gc=0.472factor=1.937zXZִF! _]ŗXf1-/6vRZaK Zf 0kߵDڞ ) Dynamic_Tablesk@=ڷ8{8 ҐW =B KСLlDhcBӼm="0ݖ(F6j<{4;˷JVn2Α8Qf-؂Lb՟̡H14#"T(S>#nƦT ġ@w.(4^r9`bs%Kv wwGe ۉ_Xx_T@&ӆs`?ْx߳:{uO *e}^V8:*,:[--9,BFB d ڒ=nh(#}wRdͻ,BUv38:GML^>y&NõBZh^=YIݠˢ ?QEQ[%o] '|Ⲟkx-s*8'7OO t+C++4**^LBS<kG]8#vkm$h RS4'N3G"fCo}>>۫v}xho=#KrHHi8wyBu+T@gˢM2vE2xE1Z#3rQi#Rao1Mqu%e<=%|ա%&: ӣ eÃ'혰IbBިGVcTsp,GQ.&}b@5. 54=b"6ȻB/BK4 O<&Xg7 wG(j.I3/ F;<z(U gYZ7zXZִF! 3]ŗXi%B׆]ȠTpDvvgo5@mW'fRگwVP6#5t$2ߋJ_9 mSJ=@aU Ȋ%ۗ"^ / INsA"Lx;mq }پKoY9<21CHMb/kL9ilaohǹJ#OK)$:j&3}R?}^uv7ʷu6Q 1_@u OHCARc,Zb k]MWaΈ)P 9,}bP6Hʿn9 }~jt$ipp=ebN9#ecJROn '=kN^ԯq8m@6as4l/]8-FhTyYlfkHMD MUjӝǭ>z 2$+(LEr .*ԯp/67E$;ǔwMU]g/&@)mIh<7cz m ig%tF35]F<+ߚ+-,ۮE}1kCQVJ-zqXj[k= W[]Uk1/qD믪گr=tyQ6GV; l-?*IբCc E!"~5 Exيܿ&  e¨-e^OQ 9[.B쉒G_kٶ !_Xq llԞ~`N(B.L.7i_`M 'O=,:Q;أ{dL$>FFa2IiD2%O-ORwt][*[P|tWxγYOflgJڛgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59 c4fc89f60d36d9094545291466546163aca7696ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 0454d9bb767d137ca1996a26c419660f6de5ee48