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 7+ 4l ]S Minsky_Machines:threads=4elapsed=14.076cpu=43.988gc=1.400factor=3.137zXZִF! T]ŗXf[&&mPPAnɓ0>9C~TopfpNcA nyN^E* >7ϭbc ^8<[zD /"`H}RIA=kON-wVU-}NH9v5mXe/m5mz~_鷺doHv}2<=G]O3ݩMߣZ _◉q] Leֹ"Ei ̫P.CLW&&bgIƒ5 ߑ4!<~K0%2ƴ5e5kpINvwOet,&Iy4̊7,"TWKɒyrnlWNޒU[;XAl=Q2+шcص'Qp~cՔpA['<7 JAA|`C3,ql=,'!qTP7U5v2 uu@o-߬@!#|H R)z2{K56hWfDwr Z .&VvtOה#=ٱgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs^ȷHrwꜚD'{{r:s&vF%R_įFи kvreʼڷfIm0_ |cPU.?:$s P?69SűՀL{JoJ1mw}$kiM9(w/\nX@g9',sO \\k( l~.]rH mgYZ7zXZִF! g`]ŗXi%ES3o7lp'A;GP LԸ0GpUgjs73viÐ0`4oM۬] [n3U]HcPBt >B~0@; o:BKj=qhϳlT~[Al)L5XUu? LVw;Я[0aIG@DFQWvL|k(_X15$-f1-޸Ӏt~nRIw.]aA@3\ͼ3@֔GAY"ńO{.{̑! ryrWkȌ㑟ȆVl)Q.;݈ ]' t9X~_\N,}]+|=iI %a pchO VϏMz9~Q(#\wFz;C:WDN./bZ~[en@>׸s>V0!r-Ӟ_`58,;zMbfSZaf8M4s[7[,%ū6(qebщn1;%DzV=oߢ1k[כ6CsjtEXEEnqj`P JP 6kU+)0Ņ^AhĹSY9Lռ3^$3$N6gD=CslP[HvF aJŮYL֚̇6)>/;npQ9E`^`!s~6F*kv%Ilckgi8Q,B)So\?, 5jچp[͘<p-6l{ىM5!}1I:X|qΏSan7 pa,ɕL;lQց3}|ZV}wKE;RMo*eBr*2'&tw|@ZjQtC *U$`n%&T^pB$^$ăq%UB#8c^~US]@q8Ԙ<>Fyy ~uŪ-/Nf;c^4e5eT*(Z2X))inS3*[ZY %V7Tpc#DkȮ%yG s[%ͮay@al 3)@ѽ4eЂbP thC ?DY Y(tjԖiB>o31}3?^6ch\n9L+f<=f]-wc-^/gBC@;7<"*S.'S>|zqq.=ϓS|YtR8y >bBRytCsf%6!xYmZ)2-?vFx@7IH[sW-z5Ű_Pk2k@yp;MxGNojBkޮh%_$TJ\z&Js.h*K:ah*ǩU(xνjXf8~=}P[WB')!ĪMhC} T$l3UIbRt\XMZV8i(L>ml_ۢ??o3(Q@QaY`.]56j-{{=VDxaZhmsR3;SkǢew{/,{57eClt""agYZ12c50155bf2da457f5edb69a33b1d1dda50e47f776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 83fb425665df347a0a76e8911de96d8c65838a54 + Minsky_Machines