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 + <| ]/ DiskPaxos:threads=4elapsed=25.972cpu=94.044gc=1.020factor=3.627zXZִF! +]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/-\OXM$S֋Ofb ^6gV=ꞿ4:ʪ!hؐUMmWmh^h7ƾrJ.o|#}oIt.?ER](H+naG8 %2BK,Rh&P]'?q>\f fsh/ȏa\#GFȅa@["Wfq  ?g17*j8]Y  뼰Q䩉Y5sA3mWHO)WJ9,ߨxV25   DiskPaxos  &t3zTv%EC4TZKg/5 +u|kYN.#zt7QgSMi?Sfr͂*cS{l}(lv- my`休AXvTTspр"&gOqIh[㾋?IH݌4ϴx#;n`#;8Yljg~V;v8—s;T6ŵ4qU1UC7r8[Ĭe46 ;l) }U:=C(ABMHJr!UDՐ#1h[GvmdrH|@<ҬNq5~5iU$4 0HH%T%e5oDt9P uV$ps寊Dr=g)%TMLn"eCXqxmJ EwK-AYS* Hc(T杝+`tt=r7u/ǫQM]FAw6}"'nv[8.~mTUν!ÛAAH2Ck|D&}| nie :i< [(@ L0 W5F@FN% cy2y݅l%J:!*WH!1gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}SyCF*gm3_&؉o1>I491q]8w&Eo; o!ʳq"ßk.g e@F憚sJW'GK$oZH%CH0"v&vV,O@pzgYZ7zXZִF! ]ŗXi%Eb⬗t3 omه䗃HA{RgEHLƦ&-y}áR,Zk|[ٹ݅ʄ)RHZ 駍F*kz^ T`i‰mtM ;*H .q-Ay]d[GFQ;z&4 ~@GvZh<[t>vDÚ fyMl /.+=%mNPdM\Xc2#r2{1_`VH()%_Y.8nlq*~ÿ}2S%X㝩*^ 7q0 APpSr&9kAnQdbLOY-CJ:12ޣ(jkI*pR? ;ޤx? el^N/mcsk,ETZGdIUz?+M=;u]%d\!2P?2<ݴgh9ßpj-)> bZng'6wNO+?1_Q7rꪍx1@"l'Y-4e! t ;D&~VFO =jY֣?V.(0}ne3Ӭv{r̥o# 0w 0dRsY MhjR1Q v׃QՒ2 E^ms)NdV*u0.;᭚SYqs1pY{Lv֊ г\N;',B*jAdra]Pgow q莣F/̉lbpʳ;9׊$1-U9g-Bg _ׂۗZΔ_3(]O <8RM*3Nx>#ygKQL{GҽQt$zK>pR "fT{v[hZH0Nv#FtF,(Sc!6 Pr-nMU~ +UsVSmvm#(m0M.\#+8>} 1lsߛב)h^jșbZBu ԻDR]./~)'+H#ҌO WϒSk!?>RJFlqtk4B[X3FՖnݲ8_; 'R Tu02ba^%"e/-p=)gW1ϫm?r1i٨\=F8**2~~G>KDn4 h|2⤠, K vCYaf[?E!b4h* M)6@e-- YI1Q᱀G>{s۸k0,$O7ucYޒJ} kC{jP~荴LygxuFEXl̟Ŕ(̞`ڑ7gv1T~fe)DT@b_lPaPB_kt+;tM*$u YAęoWEz DGwly+ ٱGMֹ됚t{)4uL%7Zo(& dd3r5tVb, hl^f)pƍ'z£N?gu^UO(l 6-!gYZd8a9737706a2aec71e0298a2e09df4d3bf92d87787d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591