SQLite format 3 @ - l l B77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 i i d)d4SS Rep_Fin_Groups:threads=2elapsed=93.707cpu=146.988gc=4.280factor=1.577zXZ ִF ! vk] ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛ρ}=|dCM h?*0i*|/֥ ,m-zTJB 1lujoF_nrH!z1R}CQ2@MWVi[߉͇X.jqfUѠt8h(ߙRi/"_#es1x!n7rd6Ǵ&|dQ,x嘖d9W/30D\tӻ!E1SY5[llm8JX~xTt+:RAFwo:/Q':r]əE{qt8P $Q#M_6^"РOp9bgeO*TfN')e6r%,78 ۆ+v^|ӬՁ&vA#BJ-Z,A\}7Gvnl% ) Rep_Fin_Groups 䴊a٘DZʭlR>u*KAPw~Ww6|(/I7?~_sNVmj #֬ 2xx8ʸF9*z-[ S$먰n)R?FB,%FҟG1<4r_Ѽ杘b8:8hDޔ0DL;1J|;)P. :^q)`;.#2CCsk\ Vv4ĥg~?Ӓ#%Z:qrO萍[%;QaYN˦`'p6&v4Me&dHdd{8->9BZ.>P Zs-Q^|;M7{:PaOﻋSA0ṟ F+r*D Hɮ[JpȭV{830sVwhg3a,w숋";tpyF熞M Ո Q`pp@[c`V$!T{W<