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 f1 l ]S HOL-SPARK-Examples:threads=2elapsed=19.612cpu=32.028gc=0.844factor=1.637zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)Χlj+ڑ˹ c QFVWakiև@҈b.yQkh 2\Op 1;fs%D@lUqT"=Ԧ-;r[wCf{CHPR,[c߮ i(7RވɧA<ʤ'݈[Y^H'2ɟs`BalY}: aҬwBW :?JDBIRAWMjW >M+ A D&<бNng ^Drʩp|$5['3 I!WWDBr1 VKm&@=h^|CN⧎\ iw{_3M2i, YU15k։v[Rݻe\<&xGOyX yDHt߽;=iq@;j9~ 0nKLZٻmJ>ʔT3Aos(~_ KCu ؕS,('Sն$٠2 &W7U9A~FپWEdvھwgwb_k夾sLYzdk&ɪ4D 41P#i䶽 ѝ\<_Oh0m4l~?(d0şKne4$ y][|2"Iw 9;C VG^\W|G1ڌrYvkR X i[y6)gT[CXj+4@u,Ow͎k2g3-,99zGs{ f3AF7Qԭd;.:`@xzqXЉ]G5l\c!y,:]|e3Fem{oZnwo9?WqSHp< u&B7nW~󪟜  gYZ43ca57fcd1bf6b07881d42d0deffdaeb5940a42a41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 5a74f71d790406720ccd85a97b91e1649b43e916 cfbbdc027d0d528e71c25c44c9c97e099b7737b8 1 HOL-SPARK-Examples