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 gg# dd ] Rewriting_Z:threads=4elapsed=29.197cpu=71.896gc=2.716factor=2.467zXZִF! .]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e!n1p)3~W'T]m;A]Ywh3fm 4@j0WRc:@r<ͷH v>x嵧azAXX>d;ҭl'VH9 Ct#7Si]eu*BfW%|Av &fgH{)~\3˗eC(E ܊F-6]?Sй_MrVÕqwRzLJͩkT"Eke*d 7.$IKD+2|pHF#xHόY2c#WW W9e3ܐ3]v\WLzJ1\H(($[Y2t@9`b"&؅ vңg)ΠbefJ(n$G" f(na@%* .BI9/ 1Xp\#YPG)%ӿA;?hC%p/!c {_c `HI~ZNdY؟ExOkqmiik:u>z~rb "Vb$9}w!GؖrOωUfoH1:~NVC邰lösٶnvW/ ţGKS5θȣ*4QScfC#6\G$Dm5P07a(0ԌOF0z6GWg=vo,&艞3cbۖ *:7")wǯ8ZR-a47AWE ^;f_U%@z 7!&0!(&׫iN*42DˆcECw:\z*DVqU5=ɓTKN-FsQJ´qW'rw~s?xN&`5HmV>6ɣ7Kw.P6&,|} +b|3ʰN8D5j0&ɐD }̐&B"Z+8lG#(a/f)?SIaEp[PȏB^.&wLg_-DP ~<) fDcܴbx[ˮ6~)J:ꦵ5t`"=X 70 PeF7x%dЎ **=l&:ǝyi0V~s/q-Esgh\awŹڪ1oKJ/ (-udܴ8@oRnp=6$X iEr'+ `0Sa;m/Y7]Ϳkk$it^%_llQf峕-I{BM4&w?L-Q^ `T b27~!zƉ7J054@j Cw"Ʉ;c5۠[(B(P Lt*/ lT&'/2 ;GKae3>m}pm1aĦA|?A8cܔMb[~ )4KF_q5h#OܣNJӈ)bVPkTS˗4ǽMLXO"#f*\"Lqg}ͪꝠByz<Fl㴳m}-pD1N~4&/:\F$$<z1|ܙ$^,:P;1WO? %+%iC'Z![=|CuzoO.^V5(;Í.F~@&L\/Wg*>8Xב\dL͚wf{nc83R` '?ὁpQ [P6' {|-D7qeP^a_ЫnB*8&:UT+D6CC)9GLߦgH-Y1FU' K y  I-j&ɚfYGξ釩/h݅6Z֜NJb'a2|BQPG&MQ2^1 'p0Qd06I;f87.F%]XAfۖ]0DKc7 %X9&v+̩=yBW=bF3`JPQ