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.294cpu=3.300gc=0.000factor=1.447zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B K_{U] < ]V O)zGÛ)Ḅ lxl7^oyug.caHPmԑJhCe8opeD .0,gYZ7zXZִF! ]ŗXi%6y4Od\9Yzӎ$_>!&x=C-<ڱ-5U^T? j/XqR@yW\J'k J\9χHk7ĹFC-dk$11|Q q~ŏW|:$n[݌V ^ODI^wުU ot Kj7sPvZ7q42+r6aNЦFbmD=lBVauѭrR% qHEeEK} \֦ٔP[>氆c յ$ &EH\q݅6&[Oaf)K\HRY$H͵I1GWQoC65?bX9_E/=.}x(*4ONdx^iP`bqO;ɺY^|N4=&*xp'̭ҲPHyT )\ʱgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a b15d30799cd38078a94aaefde3a020ec2efc82e8 7b3dcac11bf41cd22819c29d65318e5264ac95d2 - Surprise_Paradox