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 v-DL S Surprise_Paradox:threads=2elapsed=2.192cpu=3.208gc=0.000factor=1.467zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B ZMekk:y@0@t"0|W1ʚIg6޾^|1HF% #%Ʊ - Surprise_Paradox#9P$XtTҧp˂NP.>݂@|+壇$)ʑ;Zj:U4 >$4SpbA0}]_=8Q&qof cCЛuv'| t" ˉ!bOr"uuFQ;bH PXﭵQ[n<.gYZ7zXZִF! O]ŗXi%m]q[{U ף0|dhlAA`z읹0B?e4[9GTT6&_8}oF" F͢KqW>>{^%SЀT;4.QB}Qx_ɂٜH\$o'&Y+ʂQ~0Tnᑮ -s3 W~ R~Zo5vSLtvKkAyg 驵˵Qj}tI( Ƚ[M{y-fBeX"hG8X`J_j=NَWsTtJl$3 `6Ò>Ƽ]y`VyŮ)t7Q -$rgYZ3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869 fb7687a4bae9b5f198190342b14c94e895d374d9b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 0152f0bf5ee1bd3383437c88ca28ff4e3219e9b4