SQLite format 3@ . BBh77otableisabelle_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 mm- DD ]S]Relation_Algebra:threads=2elapsed=25.309cpu=44.476gc=1.812factor=1.767zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`@:>.#0$VL·?k9QoiUQ^ݷ_\6qƅ=%|Ϯt#&(0$TB LH%hЍAC|;GfsoQ2!ցp=[ gք3N|{1gmP¿ n6Ҕؾ}e )To:R Q~$eoxHkq.N;`YiMx:fXX k_)U.<0 >8|S)Ԏ]JIP:B,i%v7ɮ@_)DAXy%HyVh2pgYZ7zXZִF! H]ŗXi%6So+/˫Zr be6z3jLLE#TIY/[WL'xK QfMV.MVw0Q-8֏&k0k]`Z C٣d֗rhFtL~D*N5@s 4WR :\$Vwjk8"4H=eEbG?/|fG5ϐn)FLG$ʕ1΢1`Zq>rSN;g>#Jj?d؄(;G )À]oߺ-cfM5e؎ں$$ (^Y/*bRH-Ͳoc%&UI)+Q4S$6ab"YT b9q|u(0W|@NE)JR*N%fT*z#/b4yH!n (Gf TY_J/HmGU!D_M_.QĦ/yX:Մt:ng8֪u!RFSٱe΀#da?(ctWHHDŽ?,z1A~Lҍ!η `/WӢeK瑸 }kgi?:ӈ: tYh8"gzv!vzutv^1sI.͕,,d~CQ_mkeq4ubnMLDcճA2}"Dpu([a/:QĒ3>}=3pt݋Zefݯ1c2x,wKVC hK8x`qN+yJ8߷3E` &XqF֣X{.lS~pZGcI=!rN8$ `F{~[8 OZDQ#P\hf:x^L&,v5J7q(bo§sf%|a)f +>!MSG{)M|CNm1!Vj+O`b/؆CIY~.b~Rl5n|³3x]'iJ6r((V' z) N+dW6рpy-G~ZL.r0oˆH5KSH2|qLEx[浶{int])n gYZ29c76352642341821320b4a366ed3f0f7e1b927be70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e 62eb3b92ba884ceca4d46f0ed64b9240294186c7edbc6027da5971f1a13f690883eb903931987f42 - Relation_Algebra