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 <<A |, ]/]HOL-Word:threads=6elapsed=8.961cpu=39.788gc=1.624factor=4.447zXZִF! v]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݧm9צŃB1S( ŢD )3nXo92縭30l<M0P{Ey|FzhMbmlYx%2JC8B)st&Z*gGG3uZskU9jA ע#[/[yCDvEmjhA/짅J6iLJi|GO6=Y̜<©Zu~QbwU{~`WKDs G%*& `Mєh.0~?4aEzޠȓMIn؋ȤEr7`T^h~i_N@l)8is(t~Yw0cLbRgS@ w,1&afgN:D+6v}^:p>mS)Jy+:aw^cEhN>,:)#ugYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A[lQ FaaC}!{{t69_.eN "]PW}yLii 31$EtGae871u_ŽvbVIGq<atb>|Wv~F< y< `/,3~C&K V8Rǽ ,}Jdi7Kd>xSx$ ĬFNyMmӶآTfyT֥#dDP(yBoȖ6*^bbL-+z7+ JV6Uk|iQK[;1P*UΘjt#]x uk>$cnx. f $gYZ7zXZִF! *]ŗXi%;}™DⵇS#|ҁ,g,ԙ1- CcVKUC';tt|Ի0 ޣ{a@sc빰;wGC.g^ 7B8{犂,ͤ 3q@jE=3 ۑĞلKϲߓ7Ǟ2~h}1`c[i|ٗs5xdoإ @Wgs#7g%׀M|yL .q*ByDȘY191c2>9"z܀sXGuYUդ/-m6m!co;_V H%fv^i?'0+/̓Tq0Ɵd# ֓O0DlBEzd?0FU'ryˑ~(̡ L3Ԓ< IJ@Z< 4U>C0ݚIx|ZvnіZ{7TOjI"f1W4X\ kpXNW%q>=1Qc/"~ "݊B FvHf%ϡ͐Wx5 ̹͑D-T9+oMvũ;jL%!zB5fKdsG^n@m6AUjхm^I̹~Z~ QV H)F5DF0ch9DjAŲl,"%(Zj#Op"QkUA>ԃdiYbe`- S&A0xk?pq-{טWQ#!͸M H*ݜ6gDzkRvpe1KnDA<6O_CWY'/L.(+̾hݸNtwn@gy} Mj >wUJVgYZ6eaecd6c0c7e28c3da9f0e042ea6d2662f1492e6ac799521742c6a511fc6b752309e53d5f9492760 7d1e272668ac77c0cb149e8c1935fb9a1f4501b811c0a05f85bc5d3463dea3b8dd477e7b13af6fc8   HOL-Word