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 HH5) t ] Binomial-Heaps:threads=2elapsed=19.463cpu=35.496gc=5.676factor=1.827zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹo>H옴K VJq+;y{Şɔ>C3=tXT7݄j|;"@j(#\H` R]P~lLZˆmn5Į=P E:*3[ǴuV*&-1O#MuwMŹ;8. C/Ndab)WUߨ浚DeжW&cFk^i,7Hp6u|,Q3nYb>7meDImK!5 ǭ #FS/jc1Z,WNH\d>i=?!F \7$$ Y,rJXJ() r:k54`N8n$lxm͌N|YEnQR&yC E%;̖)$ıXۄd۰*urb_e!٢ʖh#fd3*gYZ7zXZִF! {]ŗXiɟ:Jc02߳|y}%LnHgoRj@v"tl: Ž }KߏNT Eʶ V<,jȷ8c|q4ɱgYZ7zXZִF! c4]ŗXi%92޼M=wL0Թ3{ZM a 3o`%)~Vu_XlyxӼ%xx)437$K2/J;t^ԠjeIicp䧙"EovDv{)Gn&kKסy0M_;FPW~%ڗX.EpH?}T3VnB0\`9mꘑm@u4XsAb&10 qaƪ]N6R54m4Ga3 <\XkWJw3t4iu3|xbrL5bst%>ojNVyq=HiTk ؂13aUֻgy/ZA$F߫]O^d I p/ВGm|rs(gM 0 zX ɦjxmrg;!9B涼Y>\@Vg?.Yڔ?G CtR8qnA_QmhnmOa9O] R Ɗv3l 7% v2 _M5GX}جX},H#~GSy`&.j+#)Md瑷t_+O9 US=הYJAJccYlP3h<|ݥކBk 7q~ccCekgԸcx?l3Zj#SK ~S+N\POm4M~櫡PLIjhvwƂCx6'ag X}fk­v.z>1%3vl:pcXIrGhWGbTaZh>yλUi]ɖ-Dõޏɋ9n/9 ~Ya}7#V8+"6<:Muwc?gf8X0$~