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  n n-D< ]% RIPEMD-160-SPARK:threads=2elapsed=1.238cpu=1.312gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އyMx"zi8}YZ7zXZִF! UJ]ŗXiɟ5/8PY.i#%(0#\q|r"Nw)m9!LHE!^=!fVˍ)}YZ7zXZִF! ]ŗXi%ή++ԔXM`cBi}ԏ: eh8@lbģ%|b)h11~ w{ٕ%Is9>Qhg0R}:~#9z€LZOlձ9r5\kɡ9^7ڔ~jF87^f殤,"I \uqvxLvқrc;v;-5pfÊJMԩ1 J&jT M `.\ko>UaG u%wu>l)POPeM7e⫌0#W@Ɗ6NfeQ%c G~#<蚎ǧ}廚zgi댎~ kuh(V"OM^)*BwwUOGW4F I|S>2$-'=sIvMM# g{? fw fcPV)gYZ0eb6c3590f389c8cd169a41fd85f1d7530dc6f4300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d57d820bc0acca05f731fc00852fb6fb0be4f20b bcf51b68e2d0f5e27519852623c91754da48fe37 - RIPEMD-160-SPARK