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 dd # \ +/]HOL-Nominal:threads=6elapsed=6.164cpu=15.960gc=0.692factor=2.597zXZִF! 'm]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sߡ c pit#h2gKm'4i>FY=C3ͭeܭaA>AӃ&qZjJY. ̾9o|@\oNMB*&Pр}V= \Յki?_MUdK1VOuHJ,B!R k-9S1D-(Ҋiy0gFdi.~0<4^?$OyA{ _/%d1=u:Rb{fDbos{_ԙ Xh3gQ_xeʟ,أQa"p 5u߄0C˿wF|7I$cס ׌i , wD-r9͚jW)bW;iM=}v۔;RԚ.>Y7jZȹdG # HOL-NominalY5BO(:ݩR}Y-&guYf2A훇' aɵܜf؊޲uF NXL|pzJ_nT܆ݙM ]ݲo$c 93p!ն={AɍM4@٫JA[,к-fw=q;n4GCIvr9 nJf_̡wbv Cs#Ro%\~Pե0'(Spb,z#LCj.AVv,P)'eϤpϣHXG^HǕ?j[qRG)t- Z @L0Z+U UӸF᭛Ԏs]F%+ ;S& M=h ʤ xشu^r3&@)Y@ NqgYZ7zXZִF! ]ŗXi%M%O:IC43X"/ aIBJ.qa%v^Bݝ(Icay`^FcOÎ<`j4&koCiL8E2,*` \PΔZ/-`ltG0٫ r„?g2b'Z9,DzSBιJI/WI`Ȝ}XE뿐qyZ4Ga3.14c8^čbǞ'2dyQ$DqPzpyQT &O89Ot_ئ;-Ua6~WN1 <ݳmP5x`N:7G;L^jyN1(ޯ_YMQ$ dzHٮ*/DaV[j tU8#ݢM>lF`ԘNc툷ۅM}1sq_bZO+]%]Ĵn!J+QwH1_Oʳ}+}Fz321w/