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  -|4 S% Surprise_Paradox:threads=2elapsed=2.238cpu=3.312gc=0.000factor=1.487zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B KY>ߣ`FPyiTʨ}dM)5 쪯o_2&J&i8L%0 ;DMO")"/V;'@HMlhO89,gYZ7zXZִF! ]ŗXi%6Ҿv߀}'ݭ <ƌb 0}*H%rp:WG_B.Y9A%ct9DNyuC9+&!( ȓE2F2 х|9wZ%8Xhodn]dAƮ,5ɒ` AY8J-g<%(ҰeQ(q!u!:9q+KsvڐA*>6?Ga0&zsU};-H*ϰ> -l-tKܴ=4nZ7֤KRV.Y8PBNs,s@2~R^y\G^CΫZpl߫D#.{Yf02J#Y螾8`(Ť"ž'[2pC6Y#y\~ U~z`5sbmHG]nA@> t{L{ɨ?awXPppnKĥti[fzcyDp)*gYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e bb646e1d3a397cdba88ebdfdcce100da116bc3a9 3cb7d5d99db96f968c6f53afda7f6d68c4770e5a - Surprise_Paradox