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 g L,T ]/ AVL-Trees:threads=2elapsed=16.961cpu=33.028gc=0.924factor=1.957zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z!;k,E ,#cFq,gxhr;]^:Wb(r @lt^;&Ojat.F_qkk|o7mOy)-Wup^ 2%$_YxFP6xwsFk>,J  KguNXR8,;4gAk+Ʒk "ԙC MHʀ \ցMWֳ1[vOt_Nwep7 fy3QӨN Vj f%ӥmd?L#o[beܔ  ?ֵd!qxUq2$^d2"H9V'C0 :Ŀ<,Y5+=ujck| T؁89)mtAqKxo]@z s{NV1grHz4.Zb5qIފI<~G+Hk, s!'{ZH\1*H+TxMQi^/QEIb6>È~K¢04SaZnn}>6HH&f?ܓFr93$B}I}R\G9k .ẁsL+FE ~7 u`% Vڰ[T.y) z>pҵs_.Ec1gۖ(s{1Nu}7[(Ə`e5n EL D(CǾ,?SP+(䂍ݵ+AVM*8QgC+9uSzΊ|e4̮-jNe5 Qln{ *<Z.Vcvvlj#T'W#ExUnqҔżʼn-JĖ6pc!O|&wK7Lm|@V %^GgzKd",l|#?gp7HF} >8#60P$>svԳ*s oue>Ȁ;W @1 ӮBcx>w{o |]<@ LRqGb^:BgE3 cRgYZ19f53ca3bde661ab2037c6058f5fc88994383839a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8   AVL-Trees