SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info = = 4+,| ]]HOL-Probability:threads=6elapsed=70.636cpu=330.232gc=14.032factor=4.687zXZ ִF ! ] ŗXf1-%˓> ؽΒ$%`?D+l6\pR5J^o+*kTV3h 9ھΊ*ÖڮU?AX<(3d܍BѝS5doe a"&`|gvbc{+h8F"v R |N3guζ^7$U^$CbT)j bj~ İM[&Df#Ty}f~KF9Qs9m3@p͊nξUJaG.љ<49P?O2T1Sbw@͍o2xC\ 8RXVPCJ]U7B}g,3ѐΫ_K@QXtm8~̮d#--7e?*BD2WmCqoflhV(XM 1Cw؏ꦹw'x_ȥ P)tݓ$hC;g1X A4b'FYFfCs^Ρ/xK+^tˆ͛ G\Zl+YPaAV[umѕ6;.I:u'V9>K~0`
vJt̡/2_KʳZX$]ս+nu]X6
'NI