SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \L ?/ Sugar:threads=2elapsed=1.105cpu=1.284gc=0.000factor=1.167zXZִF! ]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0zljDHST0z2L݉HmQɢ  Sugarj\nu]lDY%͑|"`$EpBV@y͙egYZ7zXZִF! ]ŗXi%Hﱥ /v׼οsl:֜`qm8@ boRdvU͒H8N)&42~(S2Ǒrr57#ר!GE?GO"3>pjO}?Qs`~'P6ߵ`,9| #G?B]cxbv 獣dںKiX(2X#Tr9tjJh%yu"- !ȈL^b}U}tِvKB^;ǺҰL:pOWogQ,(w?&~|98_%Kzk9:S54K4T: @4MIYzg6NKF.ĠQjA!gYZ007664efb3738ca409342bcbf25b57d436593bcf 0d23fc7b1a8c0191346827b5e78a62d1b260bb54 1b1cb36eafcdb7e02008b7932e0aa3a598e6034b 304ca8c01a25af412285de51aeddc0185dc75abe 5b00ba8d0076278ae4266077ee70eb7a0bdc1162 5ea4b8e31674525de970ce99e9d7e687ab5a9043 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 faee925911f94ad13d29fb9d34b8d8f824a7470b7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16