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 |' <| ]]HOLCF-Library:threads=4elapsed=11.952cpu=40.628gc=1.168factor=3.407zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐll`qIN؜7PnHCpS]R$.҈"KJ< ,@dAy* 28-sdQD!QpBMW/z~%jPXT0ʟ{w ̼QycIR|eӵHbhL?\2hյ; tV2 Psq q\n]eb;@jWF"@UAE^-oZ NR{ {龜^HұJ#M'@M0R(vnB9>5+b{PtpX O^cM̗äCjW:ԫjY LFsb.K:%F+-׀е{F4e@k+] ;*Aq$Gj;!`ۜ3k/e߷^{Rա5ҢԆ rcVʘeh#V?ߛTT#l~L4|wZoHR/29t)q 3$4mQm-Qک$gYZ7zXZִF! 9v]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{~cGّ騼F;őF^6{k']r˻)Չ^; }Os @e[]e$VZ"uಗNd"gX>:3K|6ǰ,D7TW od6PB^A*cm꾕[˩90֚Gw]\|z0khDӽ²;dۃ"tK(pP:D{.kTYp?+46=XG&2rs :œK&ZOhI/oIw Y.#j*jƽ m2gYZ7zXZִF! E]ŗXi%Eb⬗ngF ' ݈QPFk 4@zqr~0vX<(<= %K#_n(x48FD] AA0:,+Д5ƻklqRq#FՃtPlLFu<[ |o 48p["vs3n+wʒYr^\H-L?_:KXwk=ㄓM7Շ4 wNZ&?CH:Àp v l0Vd?*-/@|a D$Q:"&ؗE*VSY P#kh5&4Էeu[Cl VjؔrII1}'*zy|0*pYӲO[^#y8T & 6(G3QSk>/W}Jd/DRVH4OФM΀Vc2 nY1㒵 }T+nA2b e(=pY<D5B&ʺCLLC:Cˉ1饧Qs