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 SS*C tL ] Boolean_Expression_Checkers:threads=2elapsed=17.756cpu=29.388gc=1.520factor=1.667zXZִF! |1]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1}X`#JL Iursrlӭjers@aQ%Q+ ;}h;=O$}*޶[?H`?R݂ͶphlJXmESy|c7ERZ/y@b$-?Xb݆j[ 0B1~K˞=Nۊje:H sQH)O Q3MgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=DqZnb G"?P%h=bfXG ӷj%\r&ig7m9*&~1F-X1gYZ7zXZִF! Y]ŗXi%9(O[T>Ь~4$ vN#J%r%z+hbG0.{B-08>[e67㽍*g1N{|Ƒ R^$${0qZh7\}`D侟 gAIO()'b3-UmlɛyR9oe փ07'8r[S2zQ'JN32-n U[ #Lqr-]eEGXe=M:dyNIxu~扰 2HbT*Υ@CmcO}aH*AU]?|Cs_3=;ŗma9߰0_`jXȫ#>wO`ƢwLԗ8`M'3XS0¼P|ԶMLBמ Q@xT\ `txLc32Z#r>mI{P(WY:~jCok? }Jt%/Ym98{. L\fT %GL Tq Y4$n#*4ԝT}xcQyJ<<uZPOt569р'P37;x*uW |MͶq:GEwR]q,d#0jU=qkU}H")K&pm)s3>1jR4~}{=3F/~0Gۀcpct2p pPث*VF ".s+TBh+Ad-!5+239Bnt5gcr̶$ǩmum93thoT4YG=Jp [Ne*8\G<\!,h*('UA"fّX (ba9!XbO_'eM .֕Oc] B Q;'ъ3?ln(WR@lM?{#|I+_ktQCiLF_UV]"DVԶ.H]-kx/Jc4DJ $mm=P޿z)>Ho]??Q(,׳9c(5 >gYZde9038813cb03123868728f40a7e1d020e4a3e033bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 C Boolean_Expression_Checkers