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 3+ Dl ]S Minsky_Machines:threads=4elapsed=14.217cpu=44.816gc=1.736factor=3.157zXZִF! i]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诏tƘvk(Y}`ǩj4<w-|1= ϒJvCH!,A2*+jD|*JW+=06AwA͛Xm}wȸv9yٝ}fx s@>gQ&Ϡf[ :5n>gB?efws֝ ڰHè, SFzֹMoeQ qk@_m>fdn멯T+A(8Z_>| NAhKzS$~L(HJOݎ#hR7W #ݬw]I G/g J|z0n;2c1qv4iv9]=?^з郡TNsOm*JrW4ΐYl.+W.+mS)r?(mz:Ypp`:Նtʇc|4YB@žv3]T@Zpҫ&MķTm` }?SFxJKCӤaqO(|rgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs]sϯtfe^{$;M۰m; G,bi(ʿ[̈zbX (`7jaYg"w (:q, ;],]1qCD@1bdVR #?P!A^zd~e}ɣ$W@dنΗ>5ίTgGȱgYZ7zXZִF! d]ŗXi%Bt0RGs4RX/7^uSq=ӂc53.;[\i57Gp20>x[3x́@L`&gPuc[. Z9$VmBn՛r1#K1H 03e7?N@< =g N7 xk q en RūS?n}Vq`Q"'D֞39zUIyeh9@HΘ]HK$qvRa>lʔn_ÇYh ^8 ~/h@L 0\v`N滽RU7#8`+BylUd[<]Ixx:;ScPK` KFP\ہ 7@G1IL,t|e׀֨T}:<ɹ MzGbX.T0?sev,)KB6rE&tB_BÒ.' -4e;29f5\ ٚ:=ܿuaWD%W#=8uWI 4du=+L BUKX#D !5jrTZ5oٝ-3쬗lyd{ z/# ھÛ ìG{TK Lr|jorųAٱNa Tj\* 7$9`A@.@cKw,pmi>V>Vjٰc9iC7weAd;oWd J5gDZOa'7&~_lv#߅([Y083ɐd%Vr@~*| 4M@IEK}#)71Z },tuO&j K@'rKe! _F]p$nqanO?l.)*[q! jYsf`ά9Z=OT#+S (Cč?N tN+f֏UVX.uDI}iद#ŨAA eY=R(τsH*?>]-ܙ,);"9ÄL8nE(Ȩ9?h&{>=`8^V*;fN ;D(zwgh7<>|/ IS(>҇m[h,VEE/\ԩmRP2ֹRm_pQ2í\KUIa*5ϲ*F{Iz% ^3vNCUg$:fF5<'Ym&|3e)CܭR5ɪCoVUn/$>}PS%-! hkD{^T ]FN}#N)Z1O;tOn9acqnR5@9"f=J2{L!}Hg¾/﬑sG8쒹wHTD+Eٰ!-b3 iQ u9H`4&_(_*,v\w1Z[Og&a)  3JȘ2B +3K.0y"ĥxSH2'ztCP2IIygjܵ*h5KL κgYZ3b1ec94ef98931f2772c7711f2730b908bd117b0ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 71dd87a5b5d4857c0a23a7e2ab1b5ba6eeba547f + Minsky_Machines