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 R L$d ]/]HOL-Word:threads=2elapsed=26.102cpu=49.884gc=2.436factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y x䵐O1`SvQoŔ`.$UnW^> 'ȫ2Ę~<4j4~顑yUT[uKqDŽ&G@#Wimꄫ?U mlY^}/LH ٬cp!U-QӞ~viXT wU+S+t5T¦->n"^Q\ob4UN^YF7nәr u.m<԰^*WOv",QC/.<>acdB`w !XahץhU e?߭5eWɲ@'ٹRra/Ur"/-bM + xF:a QQG@5/?\}Vj2-QιyU!n]%uOHIӖB kJE-@1e;H/͆\.I|e=^׶NhSp!+"R̭ߗa/ p) IgYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&Ba*ػ0:ӵ+tQhh@4;R-R\7^ ®#m#YԺd$W)p%O 9`JA8X6vu>7=Ib- @ABxBOk!@ȓaH?sc4L9 ! q8r 0 4`oGǽ ˄dOV>gGΦ>e{#x2-0ۘb]헤 DDh(>1j6\ΞM EgYZ7zXZִF! *]ŗXi%92+Jʣ#B5/ #;( p`VD |Pn|sG˝Ugx/f DHz8`~z>TmbTN ۿByI-w㵸p/K$>Ab1\u삽vRm>ǘom 9s/G܏^LWfL7FͳN+z>o)t_OA %'1sY4r QO-KB1zt-qyή[:ȩ&2凃 YӅ*~\u:$@޷X6ӔIJ\3!qƤH^gݶ \hՒ> :: >v5{Ey+ tι}a~(&R8, C̥J{맽QH[ n2] Jv>M%r q=wkKjLYM44W\Km) O}Z*e R 7tܰo7?҈8hgHTyl͢yُ8z:L>RQVqo5Ζej X;эVR@w\މI^DxF.<NK=:9H d%#N__2sƶǜ7!k;r612/#l Ovz0|ZV mQiZz[-ȥ4l.i Pcۛ],?.L~ "ûHjix;Xa$^10lvKgknﮆNT4auG|ʹ-c</#>YR;kzW[ ܋$(ۏvu;@yG Q f/P9܋9\0`Q A4 __KCy: )#ldұgYZ2f93f58417220ec652f362f1a365f15de104c44bfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a0e18a6ef76a408091ee78011e8ee216579a93cbf   HOL-Word