SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ~ ~w+ s NrB@qڮOnTŻro> -Wo o+sf A<G\ .K HN^l\D3NKK'[mR8.{~|@ ]CuEY0bqЏůFtxW9u Hv>UbE .Iz٠ZIUDXY"9vE#SIgA**10TX)+eS0]8AEQ| "GfA4C.$W҅սpAQ7"p@2Q?K4hΣ -0[4k MLCspaS)PFǘJ3mC4`9( 1мnn[a CMq Z=YU=~yu8(u :ɽc+Ӹz_)#0d̆7&аbhsKůt+Sx5㯚.˪3thi0;f05^W@~YihWiX"',c2;$=d3aFDmŠkFA&sM8*O{ISGTHb,t 5LZ+ymj:nϩUQҁ(9<+/B00KGsت$zL!"]!<sd_L[Ȑ'C".`^tdbsde A9"N k ,ki\HXB%8|fbZ-IԱEFi莀tQBN6tJG mk.K}eߛ}ۛ,WQe(!W鈑=0|Ǡ} $Ƭ#DSB&UK,p6jO9qpTRs,PvI'jei֢0Lrr9Q^5/B4QRrqb}BC?gYZ7zXZִF! ~_]ŗXi%qz;TJsa NeJv`IL ?PbU5\c,'iL7(sA%qcg<m_+y#q(C ?N%{]Z;uע^s XQ% Zs`j2:%Wxb18 MXsX,+r/<nK FX 31ڲN}|86SC sǁ:[4$]yn:R]>ÎźMG0;VTW/@IEכ2=!eGH+a򾕐}]fq=2Jˌum5iIV&gP|}(t*j!ȼ,'1Hi n\C-[kp;k?cQj6Z)wv? 鎠y߭[qhV*_.Zp Ѩ.ǎS52ʈ ʡk]xIDSEcnJSvQfn(+$ VuI\eKP}A/8Z^Xe2$u,3fWb@]_W_^gMDH2E] ]"Lwaj9eVUSgEՃݘNyrԷ6`XG^WLcl6a_?Y7Cl X&gYZ1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 508b2d36791ba85be83bfedc4df2dfd56feb8732 55b5593ab647f53d681191494ef1db306b4a7c81 756347eaaaf55c85fca5bf27d207e788dadd292e 862cf3ac8c1fecce1262b05b9e772d879c94fa33 92b9e9176524ff95e7cfe95462176a72c371e9b8 9854ac0e00f34a51c98cbc66526d7c94fc510ddf a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 da59368582700ed264615c0ca27df948c057a4aa e2b063405e84056d48c35f74dc2f5e30c318a3ad e5beb664674ee70579a51d05e32d4cfec7e8991e ebb19963ce287e01eecd0a1f20242b5c859941a0 ed0255784afbeac0c08a5cf550c22b708149a89a f169fce37d50a4aa0aac9bb83c87d83fbc5d25fcc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8