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 dG 4DT ] Kuratowski_Closure_Complement:threads=2elapsed=27.226cpu=45.616gc=1.036factor=1.687zXZִF! K]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhj= xmIT|*Ymq=ی:~-eO%AZ0d r<{Wt 񬹈h|)_+ ~Spw㛇Rsȯ*J礱]e雼Ù~W8) 9=앣\kOJLʯ8%<[2@# }i+bbY*G},:wgYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^=cnZcІ`rDbAW`LQzv^0L}YZ7zXZִF! /]ŗXi%90ùf}(1_r,Id, VPЄ"Y_, }=ɷLOToH=]F'R}cynV(ɳ>W`[KQ4L|^-]`r_47Ejg`kpKOUQw̹N; 7oˏK6c}mTf)#TAa5~z ز/'Ox¿[?3G`n `I׿ES̅9nX{W.42p8Za*Vwp w51%FOlO1LSch\= H鿮*JL)y71OuSK^ze.EZwv9=?M:8LZq9ܻ+VЀrHℜ @ ZXYjb7ISG7 4] ^<mq&K}AWZպ\uhj;7JQP$O#hLh^\>/\ 8JKq$x"p d2l"=UU&|鱻hw7RH/S!@}ZS8T(̎=$)`Y5|s֗.cubiJ c4q{wT̏ qsS+# }ipKsIOL`}DSl LA5u͢{tU  hgYZf34bff46afbbc875a734d8efb367817a036f2c9bee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c  G Kuratowski_Closure_Complement