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 ff \l ]/]HOLCF:threads=2elapsed=17.910cpu=35.536gc=2.492factor=1.987zXZִF! E]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J Ds⟝m ͬʇ;-25་7/pQ.Cˆ u T1mL넴:氌pI(S D~A`@v& LE&>އKn# S]VP4DEfšm $W53t@Jie n|p+" +MLNQr6&]Ǝfo%!\e]D[3qFk1Po$թ%U'au:A[=.#EY1rwEɧWTk)Ub}9,9{<"C&'ªC@!,2 ;ס% DŽ#_=x@uV?K9X0KQqFN%̞pr湜5dB Op::QH4g=0ɧnBc73%yjUŽKv)b5 |@}Q낽]A>&tӳ(–D"{d|2 i꼱o|T8;kT3Ndt3"6Ǻ]*6l*clydSR6N9n E]g@晗*V>Gh-uq~Iϛ3 |JnMz2 &k>QU)PI_\;јַ-|=LX?&_jW̢2! [VJ(9_7&xD< z@"ԺCL]F 'fpu D1׀Kbb2;Ιm\9q@KjEM]S^'#d&Zlأisc.&6ܢd m ofa; 2i2I{u*6ˍMVG6l\)oP!ϱgYZ7zXZִF! l]ŗXi%>gc-_ ݁bwɌNd'}֌` +~V4 Od0Һ̓VȢ}J^ttFJ\#VheCx:")q QwZKbsz hFIySvo>aXͱHW[fr@?\ O7mn9-}P}b;0.nCg^%9aE~XlC_k~ oߜ`[vZf2yk C$Jյ9OsjXcpO9V_J e<Ú>I#5Qf 2µk~s-K9tKGм:C03LJb$0 [ NbsO3GhM B2L|ޙV%D NwiˇpzUگ_Ձpi,MWڦ UGaY<'$@lްEd2P<uO!k5Uj)^\hw 9 0 $M=aeRfL)6RCA[(wذYp" #oLq[v/ECJSm'#>2}l sȒ W~T{Bg7ťIv_DfB:k_WOXŒʼn2W3Uقߡs}WitQ XDJtlDhtlcgԤ3A/9_I8{@+vk F"9aר_ N1$jq F+c2-vxSHx>)/9B'΂=T&nڌu`Z  Ņb&T͚e'v901llRsi=o !"8HP†6dϗ7kHQ=7y@YS:n ,V;.JDti&W9eV_.1@@ #"gYZ0f1f09781a4116fd88f414eb89e82c5c14b741f7665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7798acde50772b3f2f82b04d5bf3fe9f09e58c08d  HOLCF