SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 n Tڴ8_^ ȟ!+#UUS dƬʣ$BM$ !6~W* @1&+8f!;Emj O`>(!B#{=|N J<*ʙT+m14)kT HmL(mgwCXd#Mc:J͂Tqg~P2)a"voߝkRku JL&= U@%zlԔ{_!ErcE}wmKӆ;TԬ!8U딬V,5/&T\ >;)^K  v~Dg^ Q!,1Y,wfӛCB^':Ӭ\*B&l/uQz+U51*=%Ey -fG1iXu Q\( Ϳ\?2Z1]ٯI Ȣ^Qւ#XqD> Tf0:-?itYW/jzc i co'4w|X#CR ϵp6 *;e2xHU3GW&K(WԻ7!PÇ\ s7Nlǜ(yMJcL,IHRH/ 1!;;_CI(ΠW~G PY]s?\uq!ZNaR.rD3V?t-٨9?H6b}(jƷ˕p_40ܿ*d!ho`s7FlqQCϬbv `P߻Swԥ7Q͠K$gnJ~Pq^b>p mlX pjlgYZ7zXZִF! w,]ŗXi%n8VG;2.\9,fV&&ZkUpnk=|<2ۼB:IK ͏L-T %n@ RԘ&:d.N A#=hCbz_?䏪Rɝ~5W zAٯ6KUf]s *o%tkVϞh,ȸ\3$aĹc}my:f'a6&qA;i+ehnf4lSeH s~ vZ.7BX#[*H[>mfHLT)V!}mhouoER1`f72x97@ SQoɫ4#FFnqjGxR^CV"FTnv*꧓P뱰g \,"KU*^^2ˑFdwt )|RC:лZaV h-n ͒/I<>r.IF>3ٰi+WHx +Ȧz5e"Ğz W׏F>A@HnAWt{ª294^Wמ IRrF y=/hKx8tCw%&w"Tv!OW;]&2(ٹSȡy]gknS )פ] '+\0؛t1Jnmp{Y]t+ph_F<,> 7CM9úǂ+6$k*kxlv7|#,_ ZRפMĔEK}x``UV{|d٠ݦ6BQKLK/[ (F*H}J3ʿqm bQkSfZBueMf:XLt 5 ]#=LPj%0x3_) gYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f1454bdc50e5e17a7fe5bee3c7612c578028e747c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520dabefa37093bf836d99e48075aa461ca4339414842  LTL