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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info RR++ |l< ]S Minsky_Machines:threads=4elapsed=14.169cpu=47.432gc=2.204factor=3.357zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诈3Ox"ݧ&[kvm:K'#]Y.˴^$9f t'p14̤Dt۔Xǝ [ø@GRݫxgᡔF'9Fy}ԫfF TFSsw%nP@ښM)QK5#wQ!SG F(&rq2z*X#m篏 Z|/Ў8&KB U) ՆW\]P770wM7Rf 9l*|g}@p yҚm-qDL!fig5G L+?2l<(xQ"T XJgYZ7zXZִF! d]ŗXi%I,d+TdV[nñBABbM5 -/4GqBqb\0SFhڒ'e\ 2ڟճֻ FFfˆͅq8ŦNێBE31x)ϪԠ,Bt+aM仆׺r'X1dԢ@C D >Ŭ^t7SK>J^ܿ=K҈!KW+4Y|_r:Pm8v`&Q1# 8My+9T/Bp]J6S1@0}+2ɖĦha(7 B-&bE js(!UqQ뱓M=i0iMuroeU54>#pUS8/$}݋>X^J8.Wv!1|lݵʈmRn\u,^^%nMZOgj%]IګzzWeT#J0E^[ CA,5Wj~Lc!\uZ3N߮ɕeWPrhx p66T8פQEV.O=0%yTSũ$ҐhUH1rĿSZFZ q2W=$26q;kGp-Z6.Vŷmrk k.0BjwVL1^yđ6<&B%EltSWƙ~0` uLh77^wNUy7_J(~nZnVls/9Fgy$n&T :s5]Qzs6*ogŧM{&rL{1Cn`֦|3=xRMF\>Viҋc][q󏦎㐱=j䵬n෼O^tweqKi9VG'n]cB#?/l9l&r gH_ n2H 3})eh׻#^T[o$r 3[iAӮ7_K{|X3c߫KU U<T |=Y\sh<{{2C=si"aĦzmxA;Pm@DU!`5hT1QW`4zFcGTC(6Hz.CkgWeV/*!b(f9 3W* \g"]/[_c$* X$vb7\ jX;1a7@P:e*Dׁ#@#[rEj:#^P'wtK[] #4#цeAy%#΂-ҧwƗI%&Q"yoh̦xƜr;!7RN$_V%d.\<skpЀh;Rwjfek* Z /N ,^4W}\X{ũjuD< 3XktoY`ee(_*h \X 4uiof@m _gX@kLY' Xݕ/7c|v'+S@3 Uaw+p<Ыg|'TIDcE w_ڋgYZ9c62094dcb4aaa7c28e426df4d8ed443741350a65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 23415251a2be0b1b263faf12bf655efff349b64e + Minsky_Machines