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 {+ dL ]S Minsky_Machines:threads=4elapsed=12.889cpu=41.512gc=1.528factor=3.227zXZִF! V]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诅Z&9`s8i,.2xfh ϕߓ 6&F.w䤤X?=z1'%\.4V3\MV8`߄v %PI}L|{^x}!g#F"L)M$R/WdoA[f)FvWⵗHmlO"B6ksNN(=|݂ͽH"N/C]Cn!Ga@P 8>i*'N).{9tSQq'̱GO6Ll}1sC$މwbũ0ZP\DMPZZ=rE@z _W.Ee " eMһ~8 A 7ɧ>.'U7X*]xM_sݮ7^³-F4 u !g fv2רV$,1.gYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gsʄ) %jeDSŏ*,LCDvףB#u[OFڿ㖲2JP<:^kա_@`QK|GO+ˆ4_ O]x ΚmiFLʀaDoj✏ qsUI KNiBRLm`Pv=ֶA1G[DQ*l"˩4`'sԿgYZ7zXZִF! _]ŗXi%B*My_kfT2;jGQܧvܒtrbEWR;w7&KLdoJ^!'3-؃ Bz [c$vٍ{*s08.qw|Ά5xiMhAP%pA =?ʟr 4`s=2K R۾ArZdSWa,68/¯QM٬ey4%H[zb+[߆ZBB x5>- KxFC[?Oi#" S\X^Pbv']eUe  +vGl&R [3G =&ܹeDG%9禿[Ir/E,*5rJQ +}H7kJISV[$(p^cžY\){Y|NDVX;2ql8֑j\_B{~2Y~*BT`bh]c2^ fcbZxwt(۟'cQv rk$g=~GAՄxPxMq׀ͯ/;: 7TzP_]3H|DFYF*nRPHa|$3N_(T3 /Yd``8A4N®kAQ>yH@ZΑ\auX7A5AnZe&n @x#z Gehв17'+6FxN/OxDB]\n3;El]ʂ;` ΅Y3UZla{ӾLۨ οx.$P$ y:\N׽m[ sp:/ e!L>XUo~nF1ĥn  $w4Xjܱa%Ʌ] {Ҭ`7c>!5ƃx' T}."ꥼY w\ 7PaHS`Kj6ܠ-/C G :1̴*%\$GנSp]?kdo`AghzxLa#h/`Y셄g:A)TGUeoW3,3O0އA< \~gYZ4dc69949e68505f235dbe80bc9b3f9e8e6108f87ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 e638dafc32883d2b0fc03f9ac650ae3b3c86a11c + Minsky_Machines