SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ::C+ |< ]S Minsky_Machines:threads=4elapsed=14.355cpu=47.768gc=2.296factor=3.337zXZִF! ]ŗXf[&&mPPAnɓ0>9C~TopfpNn>p'^ugkSInb!݄1{|ϚF A2G b=Vq={QzDTYԜV>r:; DW$&_?p@KdvLC4Y{&Dy词Ž31`ވlqE y[&Ƀ13(zCyrlR!GC]|9^1[B=|-A]qVwbA#5Oۓs h `Kn9n{Vb8LZNQdv_ &un>Ch{죫| u|cu)"H)By'Vd0p`U}*Y%G%~2PhJu*3`𸒅ՖDB9ci.eJ9@߽Sl[=<( i9Be &!u7CBpk/SMovgoaLbA=KWH%.N1B^ )0&}! : r[f[+lQ`gYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs^$̛dLL~>Ńnqyӱ3T4vjde@~uز' n0" <2ho %3o>-j>Η2bhmǰ1By@:E24߿}w\0ھt*-*îm y*P)'qL#,n h:7M׿@X@cHu  d ӢcL0s6S%*OBW^M"\_VMo\ |~գYOdZ p;߹綒'ڢ }v1p3ah DoeOOVa4K#.2{ +pMA EPgydbvk? gK k%ybRyWW oΊeQ q!^]x0oaoG ɭ;\ABu[,smi7)ET [_ݾkJ.8՝W_ǛOϒo _1H!arLaLaL&=*7lKj t(]zK?/aV L+s|Zbڈ|>Z a)Ws ̿ug80(J v]izgh', /ͫ<ɁQVi=-l-9.r^ ʪ!w{>NJ4{_p%ϥ*cMX1U\H?9TCpOįi`HnmgxcD~ǡ Wg-Pׅ&lRd룎(I]8V FLq:s>L'L[|[k((Q_i$Ɂ8 f_L2>!zVKAq=. 99ފ PHٲC°od$}&Whňv#g7=qD4^*yv Or4/<upO) -gɼffpvhD- &Sd6TR)Mr {kc~ ؘH5[ LN|>mwL0롖P0BL6.1.0˧ #QQlŔ)LE1 D8 8gW@Z'6g';C0Gy+}6֩? Ű嵤(jve½|g6 DBҘUŃ 8J4Nd[B9E ʲ9wnLا?P#zfFhOSc*rO۬bh.yZD 87oFRVz+3Bqʑl`RK8-̫ e Ŧv:*h$L=Pڴ [m3Z0]Y1}oYLxzd]>+: jTBat4dN,Cc:#%˽ЏBI[`A!W-LFis8L \Jⲗk{{W^zt1l+'3Vq6|bY_sZl%n;xjb-w7je}t.%+[H.'Y{"B3J*]y cԅWTmw&C,ѽ@|lug)y{2k'Ys`מONUqG+RJ2ݾ;mTJBåШ S)n.\ѧD9CW9IiG˦gYZaebda2d8b0a791c0f9631cdf85fb690431fc83d51795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 12061604dcc97405371bc88e86ebafe34df2ff71 + Minsky_Machines