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  @ @5',\ w]CAVA_Automata:threads=2elapsed=74.980cpu=101.636gc=4.888factor=1.367zXZִF! (`]ŗXf1-/6vRZxY{"QhE'IcRfZ=fi"xGW9'#owq2bv̭sOS$UD-B:*U+ psؒ u>`S ù,MRv"#-g`% 1XA[ck7yw2^x ?.|HKIwnU{1 V^.2tUWlUAg5~t:OrŚ>OF+Q º6/\ g\%І_AiK0N՚pü}fZg(d+8V<Ԭh') k/[ÔSEl: кRČ,I$Té|6>}}gĿvI>0XQrue*6q$v+~km T2 (R5F)O:V1: ;*T+ED.#PdFgYZ7zXZִF! c ]ŗXi% DX4lQuY%eiKi̫|?z oĽCc1WaӜF3iB"0*\!W}$ճ23&9إE1@{aՕp^v;m!Nbژsaߕ~d/F`vrM0HڢCq8_AX? a0 ' CAVA_Automatan 0Ɣm{ !@^j~$k&-7čsF {B~JFXA$\[UބS ,G7F&\jKޑS-ڙJybR]@{x gE O4)X3y=m#NpmT}G_+깛Y+ҚNo`g* `k{Ux A~>?Ԣt&XmwoK #V锋O.2𰖙"2kDl#-4 Q-!62l۰p; ȇ&3]lJ;,&+kڐs%ϡQS OG X>#g슾Y=nD,*zr:hle Ç|D%7-+̛g+Z@T y3%jE6GSG>Ёܣz*hc"H{\0J 2 tCGD 0p}V9y!tCmuLOA0쥻Oe'II 6EE)*r=IpX9胢UܐbndKo6MiqA%Mck]IS]-GwRrWbU{G#bo!τ{A!,7/YW!ӽmyk M=9/f!'`]RvRK%dWv-;Ym_O XnD!Dd6&Un>h,n*+t$D2_9Y;/jFG R%dbEIڵ3zVtFd/,RZ=)3G0><6voMlf5L/k@nj{)HѯݵAHop(%\"ќbՄ:(Sxtg[Of2f%(6Wߧ2PCjUo,|)Ht ȮrA\ܝ>mhh PĈK;D~ϡr*T4< 7 qvg v&W\O$oa8嘏'v_ jvg}.$~qXUlLMUaM#c{mLq*tHicq5F:_kДHh܄ e)&Z.VqzM'6!:iNˢC9'jjXp=r!Lij:jw f:BäE(βm~VZ [02JW5O^wgdȺvdUxA/ypDO3#=۬(;E(Sբ)!Dj]?FLO { Ù@kR"\ȉ5xZe6b<'^?e> F8r%y-zc")ZEfͻYy\ho'@H[{n֗X};y4K!&aQ{D#B⑌Q6aש|qo;"|~Ͳ q$@Mk:S!z5x~24β