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 { ,- {0o`jF!=NYUިPY83v4Qs~w8D8L 5?!bT:q8N_Ru/,7"goJȖ(Rc1eWN:bǗ[zrSrCwO ͙)|IX 0ڧxj$zwCr耾"Tiz-Di5K JG^[?>b5_ކ벴\_O/2T~2hb:7dɺN?Vp JhN\W=6Hۮü2e^S+z~:~֜cý' V}%!ϕ~hbC^n-?IF" T6tmE8BАl?)`ngvkAqoBVl3k'_ e6%fZLQ?^x'۶q{L߾+ o,fb-s^"v98 q X1Ve!~}~E(1RYۓ%kCr˂EF /=bbYzTn'sS6 Yf%̫+KV[s, d_S-U^sN0յQVEHziݔ8̼2caLpL+jpQV ppc gYZ7zXZִF! ]ŗXiɟ`]ٲP`%`U^gl^UTVD17UXG_q+_SoNY#RMHtK}-@ H^o}On.tSwBju%ih#.Z>HZG0iڜ_m{Z0^O[Hi/NBQG&MN-E5)'Lv#8՘gYZ7zXZִF! R]]ŗXi%B4!#pDϧE +_Ob# 3-Re"2>CxOg[?73j,߈sPr!|-G Ad=VGXQ `|`hg XS8WނL5{r!74tA.wk#d6VKpX9gҶiCv`s/g9{\ٽ@-y@!&j$ ;]G.:sFHՉ/[ڼ"vUn 4qIYyӊGpd,vwF*$d৯"S |UFvo{ YI9w(C1o~hd*.J]._ R\}vOf(lN84~vjLbbtP9v"%^yХ;϶C/iv46[F~MS}k.44T xCTi phߗKvQ󴹹u)29NknlG G@`)֔# rYbxOSgP djB(4qѠء&J0o9wJfxLCu ԓWs lƓKHKv)H-Tɧc@UeT[ 5#קR 5jjowu+sBΥ" :b{;*S⽳ѩ$ ]>kɈ ׉ LvPl}Iӓ[o4o#4Wqy:HUB1bdLɁ3~Lje@4q)nK^ Wd;-*_PPӚ]南qNn0jB1JLoUd((K^r_09UYd|lX=x\bQF .99ɮɯe#8Z{-!,@-ZUAys|6x - p`H!hX٭wIEG#rw|k[-1z`WaB)`nd_gRdt6YP3=VS'u,NjDejs 9z=lGM"/-7nCQhϿh]ҹ14`?j -Ƒĉv݃UotM3aE2Þ&MkcL`[VYq>STiìV1sR{L<)4'qҘ`1!oTW;rOu=_XġW\NTZgq/DUWbe%j7CG`cpӕ2ՁЮOK]ǟB?gmiCL> Wl?(P'Y)4fqsD:c`"b ޤFgYZ452b184cedd745d4bc83665ab3b051c393ffc0269cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 0dd105fa0d0db7736210eb2612b52aa3b731aea2  HLDE