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 j T !w]Routing:threads=2elapsed=30.170cpu=50.456gc=1.596factor=1.677zXZִF! 5]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx_wo HUöPe<Խ48~䘌L[</<]k)R~o:ݮ!d_W0g4w ġMcMbpi dѧCQn5>+_ܟg^)7룀Ix58[ޢ sE_ ;"*eEG}(b(:md̗K-V0ƭ1(>[_B貚Ez_:mq$J$')*mkgƸ+#,3;+HD;エTR1,3)b,DZYxϚW`d^NqJ u"9 Twb[.x=}.xM?ve/k*usSl]%UV,?1X$w1:&?c.c]\@]BCb 5e&uۨgYZ7zXZִF! ]ŗXi%6wB'iQ`Ji 0X݅dQO[;XN/nژyD6.)U*>G쐎ʖ]-alH& 9Ҋ%ə?#=PcV[e'a%_lY-]Gn0.Xz_U3J.5܆v$0W n&z(Gao,\cb R Os!RQ&lǑNV3RZԔtcOdw=RDw'NvƞlLvr(Op庴erP3m *԰ՏLÿKFp̨ M2EӺn78vH-Mʭ&#LMWyUcH&XC_\f؝{+sXZ k+U[XgPj;0zrD*X. ۙSu{k}BGB䈔wS\v^.'ؒv> 0!E&$~۰/Q{w!Һ#jʞP v玶\OL}SRk@R4IAvjV ]#eJOm- /@Y(x۠! + ERcqLʔ|S@̳o+Nʤ"_ZA>SLWYb^]2;",(5]Y*75ɽeqazXu,Ȁ6&,m(PB7 ~3ypP8jOB7bۀNaKW >% 4Za밌\B, ؚfW$gLgYZ0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 185b62c9a47bec524007ec7a2225b16a8f4b9349 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 5117119a178eac69d137fb85243808da2d667eaf 69b4d87e9cab0b856337e17afce32c08395ac7ff 7bb2894bf6b2b1879e224f67e577c429b34466a5 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe c9a7834754ca020e75afb9d98e309c88e75bfb0a ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba09182 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 9ed9ffbfa941919f03d1422f8143b76efd2eb613 725416eeeca53b10a8c7c80baeeda185eb7566fa 6829fceb14b6727461f88a3f1755e01fb5d2c6de15ea1fb4e3ed2b895684974e2d365009a47766ba   Routing