SQLite format 3@ .  YYQ77Atableisabelle_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, "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 )+ | / Strong_Security:threads=2elapsed=20.184cpu=39.036gc=1.280factor=1.937zXZִF! Z]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=qaG3S<|t=ŞzTl#>άȎB$G]f"x `oTf5zNǴXב}:.ܜ>ϨKPlT@F:M}*‘x?ꯩÜ"'wP.ѻg:T8GJ&-jpR0-1?m\ѯT8Ea&mœͧ0(.'j`m"Z@E]3PGit`ƀB^5m4ߊfwZ]ƭMPt@ + Strong_Security{,5,#bO)vruq8 ++?jg搐v@xbHP={O /g~_בrR'zU]o/`7G.tes4[x7q$؇N)EG5Ynx1 2C.(Z2>U5eGY]( }7ۡF"s]|- ֯6k=MTűrBi)? ha cBfE݈)< wX2ð wW!Ĕ#`hWKI-iY@;[p1v!D?lMJ7#?tשmDDnf!iۑF (]q ޟV;E8Er5MjMS-@F--?;u;ϗn0 {05{A inNSK[I\m-ԨqQD-}il`;ZV hϸJD:dh_fzC/eT0L $Q?D/Lrl(W;Կh͓Tg!L&n=6p˟-iM\5>0@X) BQH4zi*tgk,m挣٤ȧPҀ]]`;bN\\ws0!2xɂtt)R^㚢PZ#)骧]с/ 0-⯬x怛B*my,,BNRO'E70-dS H߉1XE`Wܻ\W/yCX,Яp<.rN`&??-0qCTR>{ qR|35ĩʈ!c4`h,qֵބ,gYZ7zXZִF! gt]ŗXi%!],EZZdk^+ykM%8w5bJ-?.b/^+x'?4"mMh_Ê1"sq>MW{'yЯ=^i'q(r/5j(*שԷ9Կxqڳ Ψ́rR7ZLEla+ XGL[ioUzUA9ga]2dGK(̮f#ʥm+BRVߤtYVS.QN@AYJn