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 \ D\ ]/ OpSets:threads=2elapsed=18.833cpu=34.256gc=0.936factor=1.827zXZִF! Z]ŗXf[&ZyoU96{8Ɨgp ku3F.9앯2;<Y Vt a$0;,>QU/L3u]BA%7L~{=9{̫_{,jWdHӆaVmz Oը~l> 2iI7&}~CuowW˥S[rY)鱮U<,ÅzԮ8br{o$N*F-ȚegZԬSHּ/0vA*n]rXNl,г31XmO>Q~W6B5mC3 uJp|#\ Ɛw~+gA5r/|k{r+UL8҉t9j9Pgױz뒹7C(rnb *ַ&<^%vf˜{1餟.GWX:M?OFr)VȔG_S 8 *;>`S7ĩKLCSkI$.x3I Ϥs~)u*[Km;C ,᩠ brC/*r +{Ȕ+E(gYZ7zXZִF! S]ŗXiɟ@*ajmSNO+`Myw]8De9p8:mYu^g`Wzz~ 'ks}y502[v*àW>8QAh^t5T ֱgYZ7zXZִF! o ]ŗXi%>g~ P$H 0؆ W%cZITx_1]a1it`|s"X+k\0=gUL6rM,dqZce#:t*04KBfȘOnBI5f.]WLw鹠5HZT%$z IA[IMBTD;Vfn{>g*f)(s8RAZa{ A2Cxeۅ>(V"f$P1܋${g{1I) ax#@+cio2(eN%>cEn\f3eSx1 +*sgBd ĢFqX$NQl21/wGgSΏ1LE;v|8~1;,5ERkX+#C7x–ɲ%>Ϝ9lpTL+=Nb3\K+9 gvyf3r:aM^G#jGl,=D~edg \)W\R,>!#0k "%yƒ[BnHP*2e!jԥ mƔT'386λ. 'yB; 5`pCJda(E .Ȅ*uΝ1q'Kvy|m?=wB`0~E>єUjo>+{r2sE&1ZBݷ*W'@)>2Ѕ2_% Mq@ey0tt@'Wf|`Jkg {`E f.vz jC¤XMIҢf8IxQyU1Vw15qHVF4e!~|,P״4Oi9}ezsei7Pg;o)V*7>+щA4$_lB^RA4T:݂6e/(َp"ɘ߰\Ɖ) N6QLaεYG^O.o `t$!abe}lnahKGՆк ..P^Vl܁X.Q)wU=X% (gYZ7b31cdc6f361f64c4cb92e37b7b9918eb2f5d6140779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   OpSets