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 | DTD ]S Show:threads=2elapsed=21.271cpu=39.376gc=1.832factor=1.857zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF@bx3^ø_6dj b/nN{-ȢqLC#hU8n6t>`CZ#[u=?hY~A\<ϦeXq(|WZ33u{e'mB FGK 6hX;rS ,(8dֺX Rθx)صD]Iddq)Fsu;(A9SWaƍ&v|HBOOtg1v\JY:bn30MGE.my3H xضXALԫ  Y@BE,F5Y͕jv8#,x>L\K7=e'VL`b'4TZsI PMNL-gKI_Sv e?#fx%Qt?hQ J=3凚]T6P;~: !\; u6WfAA7`Dʬ|0O \˒xK}!+>TQ2+pk /i;;Fi*T֓ޫ[qrJ=ړ2cb6\3' t=x>J?81Eٯ^#(mN3+Y傓o]flgCx)eTk] ;F4Ɵ.08 ɮOy:=/ }8'k7,%5V{M8>OR# e>~sh8{V3)ʱgYZ7zXZִF! Q]ŗXiɟޅ*-qb.j `;ĿNvZy 0-y#Cyk<Шۃ{Οw 4gU#>|w}AYD"goŏ0E86KYq eޤ'=|sGP7993R6/2}M =Q,%)I&T _8KuЍ koF^AJq,gYZ7zXZִF! n]ŗXi%92I^[;@Y(S}Kq贘"ee@m|EC|⯹ :_GxM {yªJMleRЃᜢ ~@WBQCe=>Ϟz)́2 ӷlWŵױe-R }ZYA9GM{HWzz.yk?b5;~6ACp1flw -鈯u{@ H8ᇡbw'/vrQ2`i=e_׎/?Aja= L^I#fAJJx UZ-G,++9}`Cj~ \NY~BxWUq7QUc;NBi5кEwbikC21V35WoL8',$b/t}]^`[ʹ/kWebfR;UN.}Qfk9N 蠳]-KZ$)9ll'LJ)eA?Ɣ",|VR353,`c1Gy=jɧÂMbj_ufwAkjlh5p-ME q Lqjf1]ݹi[7i5jB(ت`q"xS j̾(T/>-?w!F{Re+P?y7{t[&1 5E@+#>O-E~fn @G92 QmlMS?g C̋a/ηWs2%>j^Eɼ&5H蛸^3/]X.װ{%6R ,pĺ2<2m!u_TϷv<^}vl3H/T.A.~RG]/MAhlP9pM^!Rr}fZz,(2e3íR}wj6;_[xj[G-틪NpݴUi.߰]J9VM<u/(@3蔰+Iă!2#v,/١gEx!-4ZuƂE3s^6>@ C/J&WohBXg~