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 l-D S% Surprise_Paradox:threads=2elapsed=2.180cpu=3.136gc=0.000factor=1.447zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B q^I)=D{|όV h7l:Jg<ƞb؎?Iٗm1cp %Zx]Q1>Q!18bȆ> T| - Surprise_ParadoxԶ+ʒژ 2vB x{gYZ7zXZִF! ]ŗXi%SCk" :H,8n`B*d0=$ܠl: (uj_%\6p3ї*e7z)w$夘$و,fh4N-&-`wItdDY ~bUdƶԢ`] bC)7t#wIPrѫ'28La(cՂws{+qYSgWc\Wzku RmwOt0xg_̟͋DHj_؇cmZg}:)R7B6Yo4{3IKz_ FK#LK,w'֭ m7uId?aV>9( ĺKBdcm .B4ot8GG'bOCtzOF /fӎ߷GWWEz'̏]%{i>9 T*ʘԯYo \i|o')EرgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b86980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c d059dfdcc8c0e3c2ce906bbd9f3832c06e0165e5 84272dbdfff88ba97872bfaa56f41dd8edf7586b