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 -D S Surprise_Paradox:threads=2elapsed=2.155cpu=3.032gc=0.000factor=1.417zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B I}CDLFӉB>?\PG<*j1r!,4N3f8,mng56V- - Surprise_ParadoxP7|bILt[` mxں= b#\CDs  UՅH~J蛺*kfP1 $)غκp]ՅuXʶ@whw7gYZ7zXZִF! ]ŗXi%B׆hms僵A $#WL#@GuЮMvaY:M4~~`/Ruh<'uXX%[1bZ0S9@ʿx1Zu|t20D4_ܥQYR)z@)@*,`ZQDžatTZ|jfmwsV$2d];945nT'O\X%^W~hfK>!>8%b ~ g^DIRi_ LM'My8BzDXOZD^-d XBcY D*XE\`eߟ@Lv݄oU瓚8sp! Fخ' CJfD6)RugYZ3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 74c819f99395c98fb74c6e55e19d40dc572fcf64 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 ba0771fc0c7d0d3f916c43417f199c897c9020d2