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 -Lt S Surprise_Paradox:threads=2elapsed=2.167cpu=3.188gc=0.000factor=1.477zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B 0X2M,V+r|jjyJ$#-1=M 7$es>} - Surprise_Paradoxs7Oא"2/TWؼ2>R̛MNj3O{67= aZ6bǭ"3k*eyfҒ=ug$K6_(7?\ue"BV!\xZU,`5<2jrAgYZ7zXZִF! ]ŗXi%DQB_GT/puÛ^>0 G٨[+"N ǘwQГӿĭNn"y\mg|HІW$:w[p&@]uE0`8C%rnS8{׀c + n#\-ݷjiވUP]G[&bpk4Փ](2 )lqr*6+'6WHtms f_:plx*?y' ì.%v]ʝ4`u VTWnkw"5|;*].xH}"1_;lyG@:#^D&_IkZ7Jm$h$2÷r:\Y<"kb,+MCԜYʉ>~_,n{/:YHTTi+CJ}?nukr $]&)>F gYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b8697df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 87f7703b3a77b11d8ff2c26ed3e2afbad9fbb7f6