SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ZZ# Dt ]/ PropResPI:threads=2elapsed=17.004cpu=27.588gc=0.996factor=1.627zXZִF! ]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&Py7#ٕjB -Idn=iYIxqK3[dyNЀ5΂Wn ǡRmDZD9 b0' ϚdžD'@F"+V۳`i+i1XMƤہqѐ5uf"$M|Z& m=n@"8Z[ur8֯[ tR\>ܿ >0̉wxgYZ7zXZִF! []ŗXi%6 µ6s1B%h퐾i؞[ט IL mpOͪ۞XWks e7u]wli"Vn/[Ek"w3g`. (^c5"es.d!RL:'\Au4GDpwU!J+ Si(=E"CjWg$L30xC۾TZdOMp`4Rx}zYcqm!xI{LxiHgeKZ6m^IA/"6y:@kp/٦E=ƬX!,*m)>(gvEL!ʆ !o2i 0mݞe\4&>l?>Q^@>q: oM%Dx ٤n3Z7=Nz$ɟWOp>I4KZp<_w?IcSVM՚,kh5P- {حRQ7xŸeV6\^-SK}q6Mze ./퇢^cX˾ƃ3/FǏPTn'tyLYa@J\{ ⽢Ȇ e#PMRvt&x(;EDUF$hYe7J#<ԙ 3`Dm*! wqJL|̫-7[%cJYA\{6:OpskmT]!ǹY| #Z"=_P P!6|ݼâk8 r&*7yy쳥2N+X6mβsp4dF$fP\վ ɖXHqLʵ)/ y#{Wa&>i}ŵn4PZi! YiZ}l:}lG_)8?8bBduAz3Třb^"`&9]8/~*I5o' ҅0KWK :8DJ Qj/E^rjMDH7?sdes[@\Mʪ>4GҧIC?zI0 I㕁~I?|ε-B">%fWC7bdą<*vsea <2DZgYZ9465e89cf7334b632636c3b1377a48b7f0f06e52e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   PropResPI