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 i t$l ]/]HOL-Word:threads=6elapsed=8.970cpu=39.780gc=1.476factor=4.437zXZִF! ]ŗXf1-q恈eO/O4EhM6}x6 4Ukn TNXj?vҐh$0_U:.j*7dٻ`sU]%$JW Ko$ hۡ]hT+jn.Qd]r'z]D,+uꧾ}ER34aFB5< B(Ej^1.yee4*)S|M kod<(%W bvi1:m F]Ǭxm)G5\m gэl z:a?ˎb ] X#}Ja:p.xufuN/=;֞/P?PjGqD @;^3rukA`sdГGxyި{;%=!ݵ5]μߐ?B1)7";aV!<~؛ܼWC`m&TČz*:oe;#CPpAfBb7P)#>bh87[e8h5+NC_(?&V`Q*!:t;=B9{Х~ ђܓiGS͠Yĺ\uWS^Rn6eAbiL&~ I+x*p7,W41<}9OX}&mXd͋;]&I*\;K{\2gy2) .[] D2Օ m .7j0gYZ7zXZִF! *]ŗXi%92F27׳CUGrd)P%A [P:tjfKEE!wF)۰BFz>&ᆒ} o<_]< Ƶ'2Jʕ- H)zslClT,!ͣK$bo.@ƽĘ~${ 7,b~Mp*ަUNw$ <6yNrjdg:,֐ i<"^Q o$ZRQkáq"7SEYaZ# l^#`rfC$piL0j~=sj mǛ ')1zW[}5 Q,O2ߪٟ^^9I ?RPJ~Nܝ/( W>/[1g~;ޖ OˤRΛ`ZTP-7qhKE;Of͑[++lÏH i9^J5L54bLwH6ap~^ETJl@6Մv u8&xt>t&Vѽ53Ŗ[l^5At&4hV