SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  5 $ ] Priority_Queue_Braun:threads=4elapsed=20.767cpu=44.240gc=0.524factor=2.137zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫wD>4E{LV؎\9wkibD83d*bkX]Ph@|D3lF%Gu]& 'e־ }ɷ(hE%m>(/?L9 /U'Ͼ=Z_)uT@O;'YbI+%P^10i?X*Gr75bbuj,PtDHrkݗb(:y"<Ԉ[A,ů*꞉]K-qHBc_/3fi+֌:4dY'`{R2[c4]wz@=> ܫ,k)Ѧ}FGXKm JnVh|}5 ==8^%Y@6{[A#DZgYZ7zXZִF! ]ŗXiɟ1]" M${np^PTܶemDb!مNRhW0MQ%D*z60 @;L+{ ꙾\TBaȮ)A{mGt/(v},f8LgYZ7zXZִF! s]ŗXi%B4Kf|jNF67d+&z?H32r3DvΝ*aOad|S :kWB#ڰiU /_C](aŨ^L2P(MeLvmm j9FfKWI92lf -Sw,-+hɌA+; v\Le.LZ8q.smt>Io"(`Wl8{f3E#<4EæוD'VTQVC8a5\)k;f:LADД~&ᡗ)'ChL~0uhR%֮}h7P-:SZU9JW|+&5v#2O5M40ёׁ*a[0m6nfYx"l`D-1u-GܔE{ {CT C