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 -$ S Surprise_Paradox:threads=2elapsed=2.071cpu=3.044gc=0.000factor=1.477zXZִF! L ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B 벅JjUz +oRyi"b"d uܒnfx_ 'P: - Surprise_ParadoxU~-"o^`XA7,x*~^tC, b PQ+% ^ z8mRXj"d)ʾ9](6^&q̊%SKy-s6J1bԱgYZ7zXZִF! ]ŗXi%?5sX"weBQ T4Uac.FhjxG=7E>Bv`ZE;LxkUǻxU}c%<* l1LNυlW1gr] ķQa$#O5M(n/,+* @8g%FL>&RŐR ߻5Ѣ-5df,OkӔ3q$+H?unG^ ȶ 4<0^Hԑ9DKTGa bf1&m6ef~smx>8~$` ^0>1,&5k7 xƮPW|8q_P #FW>ykL ˎATK#o$%=Yhe86WOHY-.dv~ '9lH;ֻ~)t]prBzu3?@3l;S)hgYZ3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869 fb7687a4bae9b5f198190342b14c94e895d374d9878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 aa1290dba9409e1f5275fc3a8fd5d33a76f3eb12