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 K DD ]/ ZF-ex:threads=2elapsed=11.651cpu=16.644gc=0.572factor=1.437zXZִF! ]ŗXf1-W(TUK`NDdQم+%t;6(4;0B OQU5>:΂bBY)u l52.-'r3W2`+0'όK_.}`6V_ӈLǿ(d69ra琷L4 w|H;؞5).#OȒV m<}x;b`39x}ǁ4w@WuM>vQgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\ʩ*?LH=6cDhWPRl0)M5ՁC? *cf_F02|dF<Β{V$1(Qȕ-q\B`6-یj j}=>\݆|f Z]!~, M͟q SqXgYZ7zXZִF! 9]ŗXi%>g%*s>!ga#]kгj.fP?69&0=,V@klWCEꪥs/ԗ٨q2wlP}& ;z7(.XiʚLDWՇsoOFwE !zvpuF^Xp٩bB ͩ݃q_L7 y qׁ= DOYU 51 /?Ao߱f0hH pJK;/Nti'mULuqgk{ OM]&1 j)84,$Nk ~M>tcL.E1Z8O)ԏt3_\K:jM"A7K|$dW{rH̾ORq߄F 1&I,;f$"g4-ՉM$"scүڊk3( hB($-VT'yΌaIՀ($Bnƛ53(DgQNO[E <4H3 -D]oNj0-@B DF4[f]/}K3SQ(D{%O? nk}xGYOF ;:qe_?3U2'w&AoysX2v+`/xM" y3zc)׎FO?`nS2}ƴ[Z'^K^+)6|cmpMЫΛn~st+gYZ588fda609175ef322ddbb06f1e9cc512e68656c582ea62db878002abe1f561b243b2cfa9fc698016 1e7bb8d896755bbb779450a1105f0ed37cd956d6  ZF-ex