SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  # lL, ]%]UTP-Toolkit:threads=4elapsed=24.644cpu=87.900gc=2.020factor=3.577zXZִF! ) ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e!n1X5=%N$ISf!.NL ¸흹ܱQ8IG o6ĮZ=e1kATXMŻ}o,Ւ8P[sؠ6C bykQYt9aLĞt rDi V"O70.358[W/p0: V,A9Jn_u[3evc?*Rw"\U\ivhR]@,^wdi`/TBPʬʔBQCSHEKh=.[O=?,[YuC|u # UTP-Toolkit  ̵7%#rʢ`Ex|ђn~^%%H^L8 {N C%<=wIh"g cɧg-3ԀE, $JT`[>W4 [,YK nKuq "xK7?ag5vQ;1TJmm}Oԍ۳432& ;f:I@xހymmX %{bO֛`3s}xoQ1GP, B i !3<*X-7yJRIW`'ּe'ddp{wa]lͰDT}/zP~آ!/w|nDue)7t~ПyYi~?4_a| %J:r~'m"w٫k\}njo xܼz(ˍ%A%/yQK,XFUDm$,e1^gp%tA➿b@=aylh0/9 1":@~ DNAY_mXٳ R! /k gYZ7zXZִF! x P]ŗXi%ES3_]iUL4W~E COf$G 4q9k9 ;yk;e)ZvQ,} ISh?ӲyJ+#'-'Ť-nMw=bty :] (eΑS՘ gLGQ|`/хOQ [њ 2.oBJ]1zFdPRҲ?_KȌ#yIZ [.eי' ftW{)0+8DI#% jyt[S$#ҕE촓>@qb aRKk_FHglhgL":`#Z7U?xrx5'?PS }mVTk[%fprwXp*߲0Rz-ը{#mPimGCrRc 0A+%M|y܆wLX-uTfk Պ_(E%#pumɔ=/_I]E3Ջ&>jنBh:TWAg.\ZyWm8{YG\f/R΍v%/#Em]b sJ0yvYШw[aNȱ.YC\]('"ڂcAU]\g'T=pAZ 䱳fF]TTfvl1,Lx%D$aF7"f"H?Fo]A뀮F\#QJ6-@2S 2Xt\AC6T|,joiaJܿ<_ :ȥxꤦ&ekyD0Ue/nz Bدmr:z8 /4kk獜JSk,"?x*<_ `6o :7I 2ņa֕ ht Ml֨ᒛq !l4e{do8TVUpXw27#ļ/GL3DH&j:=Z&g&"yh] 2Sfʒ˫}̉倐ά.1u#:LCVfRaN8,@T۫nҔsMK2]bp`&bqfgdΚ|/R%V> 5(>'LaKDd3K ZLާ,;yYmi\'h)(gVd>_XQNߕ*eHrs:L(p~DzlB+N0 EdT0Z< 6?&Sჽ?Xul?s TK7ƅ#Qz_ڃڪ':EVEz'ot &?hYG(D#d-A?kenog