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 9 | ]/]UPF:threads=2elapsed=30.841cpu=58.256gc=2.428factor=1.897zXZִF! ]ŗXf[&:sFqX`xPׇ!98|:f@ǧ:g4_ܿ)ZP@CbV)B,cIAlE q~ ^p̜bHD tx!k~ŵ`rZF'M@ޖP&pCu_bR{:SwuQw5\LPΑ$Q+/Ht78hm/rUs~l:öYD?tP D&<gg,{1<8oxVѹcs6/^sPV 3ʘ&;-ӷ<rW8u7 4_+ha-/Lܕf(lNR0#Q嬩q*orSy0鐻PR'v_A63)Jk6iTXiM c';ɉJM3 ,GDžGI*,WTe~4r(*v f:۳8A;l͠D}5%&I?pyfWk}&FDDm#e??. K0p?PR1pW'?PL)nRlJ*3@SNݔ(*:-wgYZ7zXZִF! ऒu]ŗXi%>gz𦋧`F S%.)?9"of5S׾;+3v#hmSHL0/0XBuVLP[\35w(NO)Iߎ4up HMooǯ;",BƼ"ude8m$|ʋkJ%Y_T?'׍6 &0/@=?_NÒA 3d-qȔ/⣺$vKD0 ]q _AطL_R lڢ|/OAS.)%loq^d%MOqȸ՞H_ AΌ;, "B~Z{r %S.c]4w+Ϥ[KDeAù[1U#PI( faq4 E{%; 60OL[>{R .(hW0Q1=e !N4$8[8kTw.TdM B}\ƶpcAK}!Z'PTLT*$XrV;6 1쮁NV_{Ù3} a$g"h@o(Aˢ[όَny]`#?m;$g<Ƅn K ӕ_Y]?< NBR(صOɥ]IY^nU'-FCk2tof/OE