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 :# \$ ] Shivers-CFA:threads=2elapsed=29.103cpu=57.304gc=2.876factor=1.977zXZִF! Q]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_Ǚz0'>Y9u٤_x["{{UT{|)>UM<ˮχ$ B,x 7):$2 P{~_lt(>80E'd̐o7BeRP"CKmu'*i&{W_,V.K~)VxI~?M%ɚAfVJǜK8)yb,%[{L8QUﬢ D&X !ɝ$ʗa~Zw0`.Ќ7⫝̸[,Pv+Gps;Od':BJz"0&R#\,$m]:aEm Вa?#\*m[4,\Pΰ9R$ȒBd'? z=u) A8褠.ۅװ M oǧ&P % g^4ŞBGi ¹ڔ NŠAJHS&Sxfu A+S;ϚJdrRm1M AA7}'Q|.'̮ڈa|kpRF2z2*+K8gYZ7zXZִF! NE]ŗXiɟ1˦rnzx <@0+gM: }Mx9+EI}:D{1s0`%CF,}SõRm}N MLF{,&w(ӿRevPt&U9>`h {5+Lͪ4tbrDgYZ7zXZִF! %]ŗXi%;Չn弨^#ܲ/Y2^q~U4q$ ny4Mwi1zѿJEAN/c$eA`RF*飈WL:C`<pT@TD$dR/ 7eȍQ6M~ҾQ˰d~ V'}\x TU~CfH>MpVerpuJhӝtϛ%.\-7αQ.cQ?i(竈6BS%p`( uTșPT~ Y/(ȥ"C*UbZBjӳFO/ѧ[_ ͔jgo;~_ lZ2ϋu ^r|; >sgv$oD~o9P{[\ њ1T[ B>K.zIp>Wl!Z{#Zز,6{JE.G|ه(9&\mnBryņL^u'  qLne:`s`s{"pj.m;q"TBY:zm#1x\1? # vbK#sG~k>&jMglqR;Ы}: 䕁#JXG2ZV 5v|F.h,p)Ca'[/ !(8.3.w˔\]u!y~}juمxG kS>%Eqx` .9tXm.'V(:E,grH5Ρ o2|.pssB"Qs0 |Sti3; } B1Z$6aaNX1Mp=tn&K$2N{7P v*qi2k%,F =baWfcZĭȾJ{4ȥ .xJ RH"#%5(1ɔ&2ÁP3>'sփH4+Ӡ[TBi^odhѦ.[MU-uo\`ϨjTj8^¤[P_E:_yax.Śxw3.9/2z#Es.J4- d!+ fTDv9b=Re=jabVj?*֭d=DV܃QСR#Xvp=/{?]٢Ψ$@. :`CnRɀ:}?YV: 2ڿgYZ4c682843100bfc1be2d9b6a91a794384af7424ae79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c b7c70401be04b6f8e0ad08f6066bf3435963cd22 # Shivers-CFA