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 6  S IOA-NTP:threads=2elapsed=7.465cpu=13.728gc=0.524factor=1.847zXZִF! .8]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wm x?cꍃCB\yK;NBc{/RqMIr2D0f7epdM@Ӡ,Y)xS_P媯(y*S6vksYԻ0nN^W56V]VX~9=Q([*3SK`z"t;a|#7{Jcᕣ᫰2|-u6&!(X-EJ ijNdn@rN YÛ]-G။ -8/0%B1R wG.$^]`5wQl޶ϯjejk ~ /oW" xIXJk    IOA-NTP{~\)(mq_>E]npϫϗ|ue%`*R3!"KCQU\e}aLUou#N- C㎢ #i++NiXD-g%*i ijz=21"%yC#>ć 6z 5ۺ%i I)1c?5Y.֫G^ρ OLPȹm VOkQ"-,ڍ9//i}4jmxQTU?9dގgYѩ4 8@ l:M@Q <Q[A-UG?\ {1vN0cG$؎_Mъ g KE 69뤄yWj@.N;vP%U0JTNIѼ{+CQbpTG!idiE՛).HEs[ѥҴ,c%Agh]ݭq|- NRlTd`{9hNS$u+ FTV~ˉ0ܹ4r!EbI']dWj)B` 7_)8JhggYZ31aa2314c60bf1df8a389d106629135074489fbc 34eb43422c09b403e5d5bb215a18af873d1882c3 3c54b6d065e1ce64746091ea957e54d91cc5659e 4cd2445493953f5e1f43fb04190777558f683d60 6e0981caccf92a743bb9e20c77973ccc858a4b05 8c9e106d9465bbcb1f87caaa742c132dc403de58 9d986d6e1195b470db7007792eef960414eb2d33 c68deed042bde63e5190737f685c33ed8c0450fc de04442d9a89a18b013fb327c8df684f4bf4358f ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0 f3e5480bef8e7e52fcca915fef651be33104b5e63269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 8e257241ac01f8b9869c189815968e93197fa288 2a0c7e9bc04a109563a70e1b5248a267a4eb0ba9