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 O+ |d ]S Minsky_Machines:threads=4elapsed=16.379cpu=52.144gc=1.928factor=3.187zXZִF! ]ŗXf[&&mPPAnɓ0>9CvUh_[t_FhGm3HIw)؊Bu];(3nI$N{07"UZ{8L똉h:V6h̦ U.#$ $7^ܙ3bp8w%DwNKmf }3 ;2 #h&OV,!At  RRo/SKQ1pVXtzK1?G1]B}ېʪlT2ncuҡFIU k'UHO |PsQ{qTJ.pL´o;W^`W[,2Σ¥)*Dmz;V_%xKxCwZ)EX5 (8YYfBVG'#vq˗HY,r2'*O= $MvhSd[ LoV*iG5XT ~<-ktׄѕl6k#,goζ411 25d$h.hّ`Ub^!܆CFD[X1Lbثv'ѾT1`96/;lBϥFFVKBݨIǚ+݌wZgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gsʐ!LnJ|7ath'H]1.g,5`xS xS궛cRkSB PJ rHTf"_ ) 9W)RLG" {n،ㄥzLpyR OX.<㋥ SC e%GfšOX󻵔s&;I|-:rοT:2k8h%hc gYZ7zXZִF! m']ŗXi%B ,fM>@jH!#DѼT<@4c$SE2{lKSCݒZj5KBv0A QSنY'P$7VuM#2N%֘{/Drw% U2^݅غW3~z0& 'x$?РmHff12[GH. Zh?B2#2!]d/؃Ud-&pW+ᓃ0AW^kxy CI%IQj;}D Gږ^((Xԣx޸BMC#{+x`=Txj~ #C Z2 [hd;GYѕ"eDFm=W_N[O= բ+^΢c8-Z ޒ3uL8PmM<S/ۑV WvacndtT]?`nuY%zU:`ч|׈µ2#3q޻?L5)ւc#MF;q<.WJ7iJ3ezy.ohK#+r0 P8x 7w~,1bgpٞ,vXwonCupDY#;—5Q>S䈿"ߍu{ҰJh/$I| دN{w?MUB.PijGpс"y^Vn s9 r`jDկ`PcVDeWD?*'.$'z2 ٱ+ȓM]_8jd{UN\HyF_\qf'9eSV=c:說OSLZVvB:,dVUȲGA&vut^꘣kX:ph)ɀB4bYںIjb<9އYyBc+{CGo5?B#t)?,hwGKֺ5}M%r5`b\jFv=Tg3y[2I& fSft/8G&b޹<vvޱZiψ*WDnaPžb)LZ(ےm34( gf^H7b#Eby9{gȑ$<.\ҏ''>` iWBok&5? v*/a[V\}$R~YgE3t2^a_kP8q.#v7OGPbf WTSy<}wAq;[>L묨s^@w{|~G\ZvTiņs"e'`[UHɴFk_-׏<ŕ֚DrLX-"E{,JHpm h[y@TVTk1(آ+ѹEbWBx.v/ޠ@6Y? :s%ʓ{Y๟(AFh-" zÔq-4L4Q42o~VUo,5ucoE'Q( .G7Ğ3ʁQQ >*E)!v@UH"zǵ6b{k3ыxf5W)\\fGr4gw }tgo,"e@6_CR| ,| œ; eW"#|ܟLFފs]Pij\!݊YJaRV:+2X. ,ZX*:'-zRszTzodgYZf7c553c4f3df24a0805a5376380e3f13c7fcb27ac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c f1ebc1b04cae5b5048d834c65ec2c03712443f85 + Minsky_Machines