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 77F/ ,4 ]/ HOL-Types_To_Sets:threads=8elapsed=9.864cpu=19.008gc=0.729factor=1.937zXZִF! ]ŗXf1-q恈'+]&29?M#!o/bF΂LThmhIMItsԉ;ie&6CL(y2ZUΥ#QHCTta_?A7)#9!tmb;V`I!c"oj XՒYo={ 33-:a/i#:!P ^dFO u,rBmb5_neSfQD l2FMjcq2<7Bb:x:9hVbITMVg|jvuN0"U^hn xHun(k;ʏ|(Ik3wTbK|mz&Rt2&Đ}A?u蜟vs%&͸@xkyvIc~yl,{ڢ GɱgYZ7zXZִF! M]ŗXiɟ1KwCe ))+eWi`; S#'q{9oq?m 1~Vxs~T['7pO%,HYx ؙ"n`J͖Hp0,7`ud#}=w/P˜(\)7 qg5 v"4gYZ7zXZִF! 32]ŗXi%>t{?Ss֪0'd[cWEIM[iJ-鞢|U`@/q_e֣D] pwKTvSb?|5tF8G^K+͈ΪQŲB\() aln1`%3$߭(#B$6GFIJཆR5hs.eX'㳺3=%MyR4 Ǭ Q 6[ o .uF_Oizc*i({Wr5, ?@ /-\(9b@< e$;I2vstS0XuG ^ c_rc=]lUY|߈Fyn(?>. lʌpղ{B:1Imt_)8+F)*u?KGW FE2i9~zBKO"H2Xu%6h,Emˡ|٢ԱX2jH"pJtxU!ƲN {age `BPMVe/ Kzdq%@}%;GZ?6qh+}-uLg.[OWcZ{Vc|$}7'?@P:A#b]ވE<Ņصoa(ih|Vc f]s94賭NmML_ju"ޗ9uW!3Ф8 *l|t}?}i|D髒aົ9/ybY AP:uխL9Hz ó;fڱgYZ4c0bc024a98b24aa232359453d222db0375a7e93c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b / HOL-Types_To_Sets