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=13.252cpu=24.872gc=1.268factor=1.887zXZִF! L]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF=<L̞Ïy](CxHK?+kP;!WdUP"/:$ztvFsV=J xrX> +6T|l*殑&?ӟȰYV8-DejrfLI67IDslY @,vCzE5t@sY9: FջQ*UF ߂p{8G&vL/i x}@̺oHJypؓN}SC4L~0CM%Qѭ~D~E鯟RkKPJ :*T!6ngYZ7zXZִF! D X]ŗXi%6ב 3oڅȦ-!'{:~*˯lapCm9h㵣iɎV6 C7LqBE""RŌ6$Y!Ps0ʳqHYd.>B61#>(GwH7YQ]{*Q:3#~2>Bү*`8~X^TrZc`BCWK!0ɖ ɪƚ;$؏c4:J8c:䗣Ir_$\^ >l] !Ξ{(O=c$g #dK=mOLI׮m1sP3"꼿<pMbX>)v+*Ҧ}BRߵbPPKx]b+6L t_8|LMIGٻ$ XkLzm4ˆÎ(^7P]k޿75wVɃ,S<?>R)4靠=e/h-ђSbd񫶸13 /?fn=&%5?lpEU.K=,w]CJl3=Ցsg)Q-t6|_4x8Ya$a=z[FB4&[!8\t%\@(T摓֙!ud.x"[*VsrMz],ޞ셒L"OV5録Xd:gS3CgO-<"e1괮M[ >d(gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 09e0808c0e37c102417cc80ab635572ecd263bca 3122c5b55089566c74375976fd6040cc34c326db 5090316d6fd05652ef7fb2e15a0accd50f896884 5c38bdff89b1c683b958bce65a050098a703f107 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8318053763c5b112f11451c6270f7c2e12fc4db8 8af5d309cec3e4b5d36d1001c18ba9f8027354ac f8bf8602b256d952d1aef972c9aae94ce29a6c15 faf507e60bf30e4afdc86e8549f3fb8fb184297a238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 07e72b773707226f758ba9a084938fe221a57096  Show