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 "  ]S Show:threads=2elapsed=12.705cpu=24.116gc=1.228factor=1.907zXZִF! 0A]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:e~"J&=@%hB0M!k7nmeLX?Zbmus஄$ڪ;$.҉#EzDo6Qwv<=em fvN)pu56 o::FnKjM)I#y rs O2üigl1ü6܆!Jg"E'T.zsP-w袳UI }^7k%MdOٌ锜3 y&z 5CԢ(`͌k%Q@cRo9᷏V:,8U$izo"!  :E_RY-υQ Ʌ]=M}{"[յӼ?d_fAH(َN<;DT&AdqYQЃim k#f'rTg:·[<Ge-Bj04e|cC\G1l_ gYZ7zXZִF! D>]ŗXi%60n&^ Q7 @O\F]9Z׌GbC؇U>dhb-qd^d>j'wVEt+?AB (zHHt.+zX+پz#遥lh)70btMQ*F҈E䱍: њ\dxT.$,``RJ5x( zAcdpʼ̵w^pZa9E"0pvnl?Dה;m˺:Je^iHxFgCH~%/vE}pi%.='KAnԼ*3E$(f@̶n =R,O'EJ i*oo g}rr0)}eiֈSEK֔ O~JUZAMScB'pH039{Sr7Y.x2Z 㭫5p"_̺Յid0jneDt_9fS`0:gsyd 賴p3^q&\ V#@~>ĎtI涗6R2#?<ߦ]Y\Z֓wgtOFjYEۤV2Bd k aU=O*_/l̀:B!^9mv !u/g8u_.oI(;dSI37{%`_+&4F+\9xLvՖYP˰zgj ۟`󒷶iCeMh'f XVq=w"anhzEGm](HLVۜ69װO("L0: 'zs)gYZ17f37711401fd48c2ec4d46f92ad00c632969fcae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d fc0d3383a26548ea0a74864cdf8909c413e666cc  Show