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 {' 4\ ] HOL-Cardinals:threads=6elapsed=6.578cpu=34.416gc=1.316factor=5.237zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyJm;[ SE-46R.;"/ޚ0=<0iBTE4׳9Ξ" pyo1pbپ|}-$A}k f G, LEr Z;]I;ˊ D|̕AxTC8 }L7cd`wA!N⢽qE?ilGO6X;#N4[?ZY7r{K^8.Yn?}^i! 1Rnz `?vT]RV4 f?W_` ?f$-a$處#H<7j4, s٧U)Qodŋ6 v+6Q(t#f)t$]CQ@@_F_zyw3Q )za~ *?r$˱v(1+{fID(h*vm':ӭKF x ^4͗|7S@ke%:< ^|b5hg+ڽw?Aܗ"LC|{t5-+Ϫ+{qLw[Jqp#(DSX~a=n9O4 L&IVѕ-=+sID%˟LZ`Y? ~6~Fb^'lB+GP63\zO['J !uB: xNe(Rtt4&ϕJ<m_/a qd3դm487plm-TExԪFE8 1R)N:/9n͏{}\wFΗgA:.I[0V 4WiuewhϥtVm8yjͣ}2B<%٬4`AH6Mq%#t'-+K{ԨB% 0!mdlbUʟW1k.‰uP sgA!CK3)8@?0wV 8ԓ!b=f@e3/K0"[*Ӆe6yWt FRQ-(H/dov 7}`<)q,pƪɲh f&;j,th5Zæ[,C1`E6Q{!+cCBنOgYZ0891b7c03239d1e00afbee5c8855726ae2d10fa1af6f82155bf73f7bb583ccca2ea0903508c15c49 d46974a3086b030c59882507bc02c46cc6680af9 8cd398a6bfa05ef8b8464339de16f1b6ba0f545a ' HOL-Cardinals