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 ~~= DTT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.443cpu=26.188gc=1.020factor=2.777zXZִF! Z]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa b.C򑨰k.B@X K0;o,ܺ֌$Nb\6N{SS## ӾKa\fּ=stةS \{y|zONo(jJ,#;W6ჷC S:iy?eڵVwY!ģ@ 8"D:..ɀ(pd.]a.kXi K'RqeO…X~ӌ!7RȵgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>]_ciٙuSUgKB:i}&R]}Cbx(}ow x](jIFc@Kz' ~4х$,P=AG{"m)r~RZqhS&ᷝ<)maRFǩ~Z'SWt,4N].+Y2;3]Znx &:bG~jHh|M}!^yA5jŕ mS<0 fDZgYZ7zXZִF! / ]ŗXi%6ZpM"¹e_v+ƢE;q7qfeT/ol5h`T1~X#-XkN>5qfLC"-2]koHy$ͦULRuq-"CaMߥ$w• ooԕ؍U+={ "`{K(V)Tj M̞ Ev'{Fhڛ H`cmH}C9/(sKGE39)v ͼvu ThbʘUZNJlmM.J JյV; Kեl]R~l *2q/8"{`7_3c775Ⱥ-OZTśr[{;9YI* J6]Ukƞ[M P譞X7^$