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 / ,, ]S Monomorphic_Monad:threads=4elapsed=34.394cpu=59.076gc=2.392factor=1.727zXZִF! ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*noǜMxSym] }5DglaKܷ8rzo.ҧuZW2g24G=2 NSJG^!1>7=Nٞ%?~N<bų|ܱv(t% Cu"J 6Hơ# -4jUk麖! hW|ӳh&KP/`h}OAn עoܣzvmmoN5xɚmx2$6OKCg / Monomorphic_Monad  })Xr^N%æa o3͈@0;c_O#IK#c/eP=y`W&u(gPA5b񨈘 UJ˕=0_ɉJ6d "&(D"Yd>8rהEp"w=Rd$e ؑ*lvp0 e; I E"D⡉3N݄מH@"?Os-;cDHaΠQAeV^ jKX~בM11Bbfl=0' gYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@FfvٍP:ɜvI]sZIivhv78aEDCDBPЅ&Q= yn31/ "ٖ/ƻX.0%hMahPĥa,q=)7-*(b?~!=ÿgYZ7zXZִF! N N]ŗXi%B_٠w­M$5Ekx#1q #FA` g(y9cC,=8pN Gh"6WXƉ+' W^ZhbӰL64ZCqJi 4g{Ԧ3L{zJ[ޣG~W.gԍ@-T%=&H477hȰMum007^Y6b 3.dryCC6dgCIhUA 7] T5>t~dab ě}3QyTB47=9}P§NvLyp 2*(gKبDܾ P[NSy Ca|#nͲzHM*K !!3? FKb [HQ& }0"?-I:bkЙWhrj1[q73#[ZF? -Q+ݴ/kD,n!_o?kCH7 tYûS86@br6d߰\:HJFt(Ԉ/.~`:3Rr(N9&ú/0Գk٘r?i,t7}^2]6G7 0DaEWe#.^6Gdmq}O1ixKb"3gܓgE+4"!lWy#ٹG)nA!,kB<{XgbSBdi)M."EV ` Ji0n+[o\WN=js:<ܷ(lkؓKhja g$J썔7WY+s^CLŠfk` ׃ o{7Pnƶx,h9чӋ@rkcC.<螿ZBK],I[GzJjeKE&≮D-[q}>hm*eD.. 6^. 5wru lzk۶pl2uyC3$C',ƵI2K|kd<-N-Άy_R5߿/D\{uxM*UA%XG8jaAT6Kk Trv/=lIG޲ mcLЍ*}WjH'igQpB,iX.KGOŖb +?HXiG XCE'9 I!U)"Z j7ԤVπmYވ#!iuetzFm;5}@[IAG($r:[.WADDâ!~G~9 RUVd|3?o'|yIuf6 5IHH<\?S} WXY,JBT:l_~$Xe[(y= c)H_*ч Wus}R:/mn d0,1gݗN<45d-SٺOj w .0-!TC;=VaҵO[VOAr rK_ tI[G^f̚vS,L9i SzY? NGY45 o 4B38ArNM=h F!c5{.*(mݬ3 =pV,Oe؏KO~#݃whn7]W7H5o@mr9;X4|g>+nI0ӡ84"ѧ|YSeh?mܯcaG8y1Uܔֆ ޠ~Gң!X셟^ UiOϢXS$hS 98B~.V\zߒqV=(hH:ĺ,lb֕4Gr$Cا6دXS2gs2N'cʴ9πl3 vtq(c^# jT;3T? ؙ | B$A[g#dsp}bPƎ NH'E.QWc:@r`S9TcȀ+CznC2ik3j #xӍ>V&MM(ϸ dUgYZbfa3abfe9444e94809eb85d1e13201861bffd7f4ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 1a050f03797f0adf3821f52f013ba9dc0cd56252