SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ii) Tdd ]/ BNF_Operations:threads=2elapsed=19.685cpu=38.288gc=8.036factor=1.957zXZִF! ]ŗXf1-/6vRZjȀGL|Vdw6s1K(C>D9XaXG;k5ܴ t*kUƒٳPKtxq,㇚{WKJۙܒdnX9ZN,h}G+|j F%󿒌؊6>::jȚ ["̈jƚ@?_xq_jӲފh̖;ߖ:}ey֩ѯcӆ m.g-نdI.qc7vqb]Ěuïn҉_[o}|!w~c2\q6 M7P[VoSdo 峿Gv0MD(iQ؁ ^b^[+x@'8==gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~~6P3_a4@Y/}loi”:䕞]mY O`YsoW|Pb[/{Ӈ7 Ob 41v.iV'؛GrH8(X' 9^kaтh'Kz:0 [=xZΧwPޔB[gYZ7zXZִF! jl]ŗXi%;38.j.(Te;6_W5_cD1DT>pS/I4 О(M:ehڨ/]i^)ѸI˕C )AHE&yX,(&zh/ݹ; ONfZU[S[ aXP$X XԯE90KΨ m(7xz '/ײQQ,8S]sǼYmF%3'㿵1 F4 ՈrT mȚy4 }'qxzHB#\$ݧ H~]~4[| 2;Gͱ JE*a=XDwW $JY|b\9ff~\Ě-?iMkSd;Y5#켥STdf˅{?Ъ*iĘ-r3;|oO>Ul,mj^Y:3h$Ϫ$1a7eaԑ *5.a$*bRTqkOT}Q~7FQ)-F gU,(%/wz?  >Ik'M?Q'n;Ջ?r}{12}LJ~(2NlċA"o1 /(3w8zJ?tYy,ˢu  m ʫG_U7y-r/>4't9k1 m%p0`9,y]y#EAY@CvE`M-9x%k㗜^C_UٞV=z-ˢW`SᏘBp$vRЇrNx߿Y r~] V,Cbp:>Θp ϫGQn3&.VT͖< \'t6]mMB 됤+M#b7\A]JA0?Fc~ ^滂&2*QpdbeV+/zZ9W~* :*60Db!5leUk5& 3 ?Zr\Wv|,ȫ%^Զ+ÙRP,I#dUzѝ~gv+rpJHqDX|qcy 2I 817P1@"fvF\bK0lHsTXWXF (*N)[0mdO*ºժ{p̙.Z^F$d~aa$수`'$a d@>XweP|Ub.61n8=o|Co0ꢹ9\*[ЄoSet*)bUG 88hϯĪ#D iMs(œj/N1Q]VW?8= /aD9gYZ5d26d281e3b9f306b79c5a1126ad9a9b293812a3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ) BNF_Operations