SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 Z ,\ ]]IOA:threads=2elapsed=17.961cpu=33.400gc=1.264factor=1.867zXZִF! O]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K LgPto֓U~jzSYMπ@uy*~s w,کS8Luhk4;{u lén4z?^PU_{0O1,h+ k.l3km`) wxV|ꔴe==XO⒇N=IvX v*pۦSlrp(S7\͏wʫ6bU?npK0pC08SCcsx֩'-Pt+ۚ0N3UDPnþm7=JL<8uדںghHV6僧0B>Fy!-+U 4WBL~ = 1E|k-cd+=""/ X? fZDd-ΊEQnJߴI|i˼JTvIJB[ӐÕ8`A$= #&gYZ7zXZִF! `h]ŗXiɟdN*ɠ=)1 bsKBҡ?!"md$NJx*~y\ؘg4p:tAm.qs~)QFGҐjP]= ´5%?D1D[Wn+;"YL}s4O\G1[0Vw-9CX+:bARbz). _0yeyj[M^cJ3y㈬QHhu> 3^tFG H[bgYZ7zXZִF! T]ŗXi%9(Pςd5z{*0e&7>:4dc9kਰnW:q ʦCP1<~X%gNA&@gEַ}T,|8=c&WX G-DJ‚fS6kpq> =?Xg#!wZ"I<̈Ms Sʦg.M^^8Lyb'~%PDDniD*@0G6*;+ni}4}9+vC857 _z,ͅ2oʿF4f"7AE[[F0#{ agNV`͢d.K=mYr!5zi_̗|ܣt5Xk1½B5rt,F!Vgo~56_շYYڲ*s'Ԏ_<*HWT`T^?/ڵ8D` |:}']0WD-bS߉(%aLB $`^"Z 03$=W3/j5M(&f7R/OC~ 2*2`ЗWO!Z:SH"'űԝϥ`CFi.6Ho;cńưhn/F^1RBFRAoz(1^^ !+OgYZ85de0f083b41a8db0f9b9cfa2af5bb2128835b756f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42ac431ebd364e6717156f55b567dd213da2fe866e3  IOA