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 nn- <Hʝ5/v.e"M^_T7eZ0qS Jg*˒v! uWK8oxM$ˍyu+4 ܙ.O᥁LG&D7ΰ-߿wٔ)Y<嗘q}Ō4d2ni~/U#ԮF[|oKTz|sD=xX;ފ֎/d0Wֲ?q|:Hᾙ ԍ1n!\|wHW922r5J]E; ؅1mYkM.t,0kNvUfJ(C/t+"zF#uP(=SӐ8Ou߯Xn)JJ Dmi;ΟQT..`?,z;I~#Vs rf d@,ETSk8c3Ws`q$[Zܡ=xP:y VVBB1ha,9W ;slZ?g, 4G+X|l ld9:̓M!+W*!L7`S?O$ᙯTi$h6>MOsymsq'=\6pt#M٬&S,0gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx#>,űw6l PX=n\or"Q<{TWWvt)cTr5BBw^(x;n.c&2Z2Wo\䱬;Mrt.jQ;7p}^ܢxt\+|k: /L#gYZ7zXZִF! a]ŗXi%96D_BMzv -v P?MC]YF\LA;Ku7j҂mI˖"+ĹKZubp1aV'Ir,> [?H RSk-oc"S36N2IP1AT /ez T4 ȫz`]9&XOUyAN¦eJlEG2ΌLS0uIx). 4>5}5WT01rQ(M uRArݹ6\p(Q;@Zn1n N9h `&6rrG|xo]4gu ?x< jsa@qhMIoV%BK \i PĿ-AyUK+P'G;أ,h8E}65ڪ GNb0^8{B*P!Llr &üT;2¼25l}=!ve>Tӛ@k&o:ޑ#1h dj&P!G"E,C%EeY\MaNn1XzØs:? ʃnW2kYSɈX3 )@mUJx>)gMMyU_k_ uյO$Bwxz4F0ɋ q濞@sWrسTqOf<oEtRRhg.4VP!*LX3D- :B-A!h eT! KlBOxϴ1_usQJ3D'IOsװϜ9l451q~I٥uhRG Q3IUmW٨D(u^PtGl"1[I<iŰBh~z>cSG*Z薼dU/zԑ<*+*Bꋌ4Wδ#rss+ˏ*AeݩK( d>&Ө8gYZ03ab2d5437282ba946e9a3756a4729125257f6fd1e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 7db0bb0deb0c950dc1abdca904e5f40182e62495 - HOL-SET_Protocol