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 ~ $ T ]/ ZF-AC:threads=2elapsed=6.782cpu=11.488gc=0.660factor=1.697zXZִF!  ]ŗXf1-W'S)b-LWtƺ}*֊GzG'D+gvp4 (I?RDGnSVMN |Y,n 2>SD,BO{өņlq8J} \/.~o,jGD߾p Rzme85˞1PG3WVINˢTddTlz3SIKod*+4> HdN*\ '*gYZ7zXZִF! ]ŗXiɟ98c tؠL\^ݻ~@QQr.VsY6)Ϲ3Pqu(:҈sO4:`XҁMs %EB\H _j&rMP~wy;LfJn谔ls.û:;SUN3dᗳ"1K(U؛1*|fЎڥ2TcMjcƓ)WOk gӠv#oen:A_gYZ7zXZִF! 2qc]ŗXi%;]i7TS "zCg-{UғM gWj(F80.'4)܇Pqqo=Z7,4݌^v_\ :7}>\a(c5fD5*8BG:./AЊʙ_ gq'gMo K,5qp8'0$/Du -jPũH6;_+ӂ.[iN0.: 5 )%vc)>c.+v) %٦4 Zo ! ȞѸ,r0]S(;sy^eOe:Wr݆z&;Y.\)+A):}, \@fm0f`͎N%h.E58 ҿTB3 TQ'?ėI^  6;kߗ˽ZHӬGv:N˸;o@)XP !3}*ݷ~|eg>Jd~hw%ߌC=(#F(ln5qɂw~Π(;ZfQ)?2ȶJj3գA28<YR