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 xx} $ S/]Marriage:threads=2elapsed=3.975cpu=5.600gc=0.060factor=1.417zXZִF! G]ŗXf1-/6vR[Cx# U<Y dCNhtvaYgۙr)rT@D〚Q}\0;0n$+sâJdHSm-RD}bMZ Iw|E%'UI0r)!bFu\+xH,2j [`?٘/.ZS#:=Tp<X97>lZ=Ni(O5MGd]՚̠ |u=0T#bk ]ŗXi%T٣_q ujFdEtEbm1Q6ȉ}D2CS7'v bc.܍.FL 1ԛ)aOBC[)yߵ ]`@ZhEtunfH@- D*s n'!tAaad{8Q8MPd xcƶ/ܛը=J8V=X7#~z#̗STU҂t>7d2Z3I C@`Th8+YEᴛ L fG{|;=tFJCk&Q= SLNԓM@>d;NyÇmDF>Um/}8̉ -V6#CSG6/[)L{<ڽ L%^Ӄ2D3oo1o MU0tju_LL%v|bT wzyuII-.EڣO)<>nmt Z2ޏC PQ,/6Jq>,ϕ4CU.+54]hD8c\ϣjm&qzv58OFkV%ߕ<ș*gYZd935082e94f9aa19003a2467cb02ced8b8a4c150 ebc4257a9aa7a5c330a6b8083a3e451564d7e130 f908617c446cfe641014cedc51b988e94879382c fc6e402b6d3e0e415e1f7c1dc540714b270f58ca878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b284245741e9c363ad19c4d9ae0b3beaeddbf79369bbf42f