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  ' , ] Stream-Fusion:threads=4elapsed=8.581cpu=11.748gc=0.296factor=1.377zXZִF! i]ŗXf[&R g/ S!SQFQ&1{ySW7x|:~rZ,*% }S@f%-~kI.G9E(MVO"kVG&'(~D~NqopZ:I- $'Ega.@ J>"@4 O7g?Ü8#OqE &DF#8:XD%1|n ~. gYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(vؐPeplսU`6kΪ҃?340cg 'q|e:kJ\VMVqAw GoNE-@ ʹJXR ?N9gYZ7zXZִF! Dt]ŗXi%GV8ot#{i&m'َXN9?^:{]^l@X&œMxuOFlRaoūVU!<^b2SM j+mT|d\g=H8RiQgtde `)\ rBm`A@ 1*O=aR0Pw80gt.tj+zDt^*ݳex<?ݦ8b-v. WwQw<#ox0CS:hĆ$Q <5*ҕV,KC)e =XbXdӟwwrHL͖d:06]S8&; zmeb'uX/ܬ4%u=k\GMٔ>:qajdU{B|>)*ópLOF@0-%|C?dzlAp_lifiEkM|E*bWm PFW#2T?כCl3+}d91dj:4qC.;o#$Tl7LS[e0RS64 %blb?,j=J4 rCT$]V^b,=>U c@FꘓރJH+/ ^Y>@"AD *a4}D NudU?&UM!-¼xTܫ17uf2˗{gɻ,cE BrdUcolwbhhRJ%L>/ J(bſ^j 5z2p~U3}{8K`ܷao\X-, {&@!72%y 9gYZ7838505518d1245037fe8452864eac307564212a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 f3f649306a47784fa6d8a6fec93370899016cdd2 ' Stream-Fusion