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 = ,\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.216cpu=23.148gc=1.144factor=2.827zXZִF! kP]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa Khm3{DZxy#uDM}W0Rc^+p94䇕ͯ@grenl6ܨ6=bQ.&bG|'|nx\K‰{tX:4ZHiֹb0KTi03k",\Pr l͘)>@"QM߆[֜;bȗ)1"L"/p)= FZ$y.Le[*%S4t G*,Ώ$NgYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>]s,bM!K 7uvOi(XbawBi+mUs&<̘L驳ڡ"/2\oz6N>*1yʖQ HU%EDA#Tن-a` Gw``wb!h2$sz{Vw G-z11l㨺Spbr&m RI؟ }?:'ܿ܋"%&TgҀHhjYt!ɚq~iy+s5IssIR-7\$@%> ]gYZ7zXZִF! (H]ŗXi%;ŵ@3H}Q ,8${n*=IhyA>SۍI>Kyqj{ 7IiVQW;IGϓ`Ð_ˠN,-V1OSϘC mR _E,woљT"t"4H(4ձF]ь)nY17Vu'Dz!a@55n%Պ@b|ǶjW6-0B[$CIjlfL,AI[(u.3Hvhc U Ǚ1}elRce|Y#4E# FQudPݵml"3&*r8_]DnnQs^xh`])!C TW(ir({  ;AuBO9kW[uzkuNv?,]+Ut7reH.Qyr,h06jMFE)G.GX]ZX