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  e% , ]/ HOL-NanoJava:threads=2elapsed=6.252cpu=11.004gc=0.668factor=1.767zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hacLu1׶Ꮇ#WQڄI K2GcK]"3;w گqc R Y5eX6Io;wmI 5.1ۿ`Ji]ܻ ORbRE|>TW@Jad>F5n՛?XE*! 12dIz=I+r}Z~#c& ;DjggYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E`5bI5 tTR% !YS@~W- gBC=18KF!otfV~*vĝj^]=P!qrk?\#dwtq r,|i4J]gg4DKgYZ7zXZִF! ']ŗXi%9*WθIF_ €HnD2vRc,ry),r.F3CGW1?pqGʚnvn㧾k:f@R Avj;EAyALp v#|#:,D%`킝XҌTJ+B'*?c8Uo:0d K4q񤹏$V&.A%OV2c:ЉvX~NLKjnApAØ4B`M fLvR1'Hc%viC(8Ľʮ( l5;n5\E֬&ދ]F$jݢ=Nn9T3BZ%jlx=\YV0|t3뉥XhM l裶pU[Y<^;0Pcӥ W/^X dzy4ɬ(6)m;wF+ピm>}L$$`ҒF'ػ9YRuaUB Wσ#rWZ5j/-]ɶ-zf? }ל~