SQLite format 3 @ .;
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
+DtD ]S
Minsky_Machines:threads=4elapsed=13.942cpu=46.028gc=2.036factor=3.307zXZ ִF ! 퍻] ŗXiɟH)0%o
c @_f}g[HHT?a8irJiL~̾й~GjftVWBĽW8-y)vԶLo6x4Iq]IS4
ָRp1:MTqTTܠ]Xf[v@ёJ
Ԏ:a=3-l_`+!#HSVA8bgi28"I#[46T<@|?=jDPca$ ~tHtU1o6>[&~hFAQg
]]pz߀xA(8'-l"^'_K*"`]RAZatw@rkK\B7UEtŜ$9!tD1\jU` kapλ5@H,% sJԂE2VG}ghI*)nPG"VvDVׅs i~PmjR_'SM#p
0\{Pd2;tj /O5m'qncc,Us;Z^f]i5AZe<=Kվ'pS]e ?\n16nG6?xY^eЖ{p
YH9
&:ACrP+4(~&ZV#H4h>&Z_s+i>
3V_d` ؔyvu5eu
H^ u5pf1s+ylv}),2$ZE\Rj?8Ƕn {DEz':_G>f`0rYuSUdm~WacY4m]˥˝<Z3xs58COaL+pSncxpԈ/{L6&B+ny'JM;eYw˰o
5;m$0F/4\S%S
LBu6LHo_~Mw@MwWwrƗ2tT=L2 \:܀a{Ó?%C M̧]i&&2
X (TV0^xwG2JfNc]u/(hNs2&l&@Kř=?؞҆-RM+\U#efU0#xSIU~{^S6\%zXnyp\:oNovO0ǁDCIX2EnM[#K5#,%KQLZS[rJ[9,Z~O^EAHʥ'jHIoE}zMPQ㐼,V#Zf$NƱKXG{A-δeKX[r+0Motqcc|-:nf?f? PȢ/3LGmR19I>m~h\89q(pGo:Mx`\Y8 zobĉ
D@|z5278sO8f{zk
NQJsXaou|$AwAi@UJ<,5ЌL1>>+#2pgc^xåV>}f֭>p0nj^@#.g?|CoIȂd?PIKdK}0KإMJzxϗ:AfSSr3fm4u(_(asq)3UsS9ÌwxH*S%D-:xNeU"(w!QnʠDM-*W0#-S̥̞R>pwF8G^PVnwzѝ\I~<3ƱE$1§((ӆM5R~`(\mA
*L{}SR ¯g xZڟ|ŔdC(s(AΊ.<_^p+k=q_SJA<_;u&j ?uĮGrPF~'8&'tT kUvnw72gwKy(-7K*#".\\NJ'
+ Minsky_Machines
Cl54ȴoL8/-$=ߤI%?ŕ)$;Y8ܼ*nZ.'mޭD"Rb0ajy/,{Gs}{˲&+()" we)*qC4
mF5ǀ
sݜ6WZgg,bN`wq@J_u/v,Zp* 8؋BtNGB/Jc=zzUd_־{#T1BiRnHDZFo$M;K|m\zKgCjQNGu~L,+G/{O!] GnB>%ONcp jf-`˨her:7N8Y[JrL!֑oPHS`92EcPu^X/> KefSN`IRB\uj:[B/Ɉƻ}jLFb`7!Oda$sl8˼Gu=eij zgY]Ic\v |p AxYs\DhV(Z?1
zup";!eqA1vt :kܭ_'eAR4v`ZQx:F`-qL+gs4,iJ榑A7RJؾʙ%`MWԦ܍vnۻTKdȡBUbnsRJ?1[6M!nʝ 凄F50θ+[1#
*Y,+ C٫.Pv=ط `
hPu)#NyK`ԚPW/ \XuCojwJ{_kw(5Nknli-oYo6U]nx_Ӏ:hgEc+QY $?͘6aW0?z!psL-*H\F
CpATӱc0?bl p49^(8!(/a;gs0gYd!="ӛ@&ٵ^Idx 4g!G! C?+W2p!XR[KBꊵdģNԾ]G-vڍ]їd
u=dV/Z>ԕ?w}{[O^ZL6Yr3B
z3x亹30dV4Ll
riΌKJ#dV+ELR()
)ck!m,~,a
Y
B
·;%`JB_.i!9ԭ)]:4&vlm,w;,H5r뤁w^Xcn@NڕJ̨Kx@!X ^c~de0yfGkБQODixfoyQp)yBZDt0J*~/fF͜`
י!j6̟M/Q⇎"߷jHbKL
"6įi]wgiՃ F#pR_N:C
ylCw%7DIqsL7G#dCvO|@rbp,|IgQAC
Y|.TR1oE+0q&laY'14=!@8poXiUNU$r
ϊubaU'*`L^)@,1%Cz6n:idi&H/}4wW:a~]U,4O\OP^֜?VDTsx}k_6UחRO5'gO qCT\al