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 J# $| ] Shivers-CFA:threads=2elapsed=28.334cpu=54.928gc=2.536factor=1.947zXZִF! ]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_Ǚz_c9*Z%[X|hk Uº\*R+;/j4@`O!cr2Y P۵،8#s+=_D({qV6\1C w#(_PE`` cAt@D58Lv_=+sa/BZ*P՜yZ!6|07)>@22[OL*d{BPz A\jިJn Yx9x7L^)w0tC~?Xxzege 9X%Oqx?ꎖ{,L;D;oh% )rlO )Hu/Fu쌾ͤ$K]oeo>#.lK.贙L G\ڋ6a*AcݬZj?P(;z/ߐMJG ͖DA2"oɰ!˞RKCR+YW~yu^2*0#n9sꞗ0R&v'PgYZ7zXZִF! NE]ŗXiɟ1˦rnzx <@0+gM:qc|i5m5#[/^͗)ZyB"NrC`K'5̐y"*ҋ&saC$cMZ{q.&IJq6x'an$2PY(ӳ0%L2젳1+0dah(S%"kT&R#f6t1> C@]3gTMQtm .r4J-GHEneXa8vnfy5QoMЏCn!'tM 0aT>`d1 q}W7]uDh|!1;ڵdVNt$|{ "K7I xfL \B}4eƷy&Fo;m畀E¿؉>w> }e$OdڞoCdYp;^E33 fy~PK^}E{]4K#P6ZɺOKW%rBʴ|WnA uK/Y7h)>|\ZksjW3 C >w;SN5fBJwW86ìs |-dm̑,k.1(T]@fd, jUD?Q)@V1IQo5@e,hӉt HTz|glh@#\S4~R $ c83 YLsRaVL)?jy@a_OshWmE\|sQp>ïrs/1w/7JB:W<-5Ns[:il,) @ :L٩""XP>Յ5h0N G)e/)rfɅ;hq.:`>S0_ϒx,wvhuȣ%ƉN4$ZG&eզȈQvDY Km9j?|W/bG<Ҍ>xCGқK0I윕1$`˔\UЗ (@!$c2N,L̲tWG]e7^YV:DWJ*Hf[Dt8F4vJS]s]DSڈPFnG٪Ih3%vhò(yF9x\4c +Vrtyp}}jl `YIuS{Ő>v9BĀ#>^ٹcR؋ͶOc]j4"8[N "*p) xU-08ڨ*dgYZadc476bcd0835027c2a9d0f0b63dabba7050c24d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a f94956453f3c9449081944f015f52317f1e1a8e3 # Shivers-CFA