SQLite format 3@ .  YYQ77Atableisabelle_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, "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  - | S% Surprise_Paradox:threads=2elapsed=2.236cpu=3.196gc=0.000factor=1.437zXZִF! w]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B IE}bYx؟~$[M/'qtwbǮhs߳Qڍ]S>=+婸HR%\$>So*.zy $Jm"zņgYZ7zXZִF! ]ŗXi%~_((z^ .;~ݶt`π;+#Hu;X)3la1=X-]˷Øe==Wϕtyu 3(мO G=XE=ȭeC*ىG @i)T@¡kE0x̓ jVEztMČiUa_^µbc2ati+sL (<-c^𸹄½G%_w]EN3\cLw'(L283rѪԩ8=o +uW/v|#+qT='4Ǘ 'OoU>H{t:k,dYd(Xꈷ-PNsY?~+V{IbN0̀$T5[W{"zRO6wT:xd@y4˘u|6/mJ)_jFHgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b8690ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 d9d7752f1826fa147d99090bc55e0cde2ec9ac66 f71961a8814595df4984aa73351c52b8c4b5d6b2 - Surprise_Paradox