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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8|DD ]S]Slicing:threads=4elapsed=373.733cpu=1255.656gc=21.0127zXZ ִF ! E?] ŗXiɟ TJd`V_XjيJsĺU=M\uނ'] ~NZLcz핸 ?$Řezw%jIm! HX:}Ejvʣ/Xb0 j#~0+HO~3rQlVU!.0XIl^N˩-!^y"kHOf5zXDUmߋB%[H#s7sA^tVm:{x/'<^ͰPci"tgɶ cgѪg95:@ĵ[T4:P䍞P3U>ۨ2 ZJO [NbϮƁZ+#CӖY:ՇYSscA}種)M~n=%E?hYg +m}k'ѩ ZXA4S;:=\w>X:4Rb~J侅=PQ'u tX@M66!<~ $$| uSԗnȖ>Qe]~P@"hՖzżZSrjZ#oݮ҄")GjZ^&9Ȍ.%SoSh~X=k7kHr?SqK_ؗ:J Ajt FHb/EZ->u ڎ/_ kV 7wjĞ^lT1Z;1/(OXzsD=Bj+:Gm+NaQåyϨfY]hXUXuIEU!:Sλ\E Hn#gi)0D]^LyQJ #nl%Ӑ7Nv+ u5KA"9yW Slicing skyx |xcN(4v1ү4 O=hPs N6aT*͐M?l솪\14ixkpJCW!mnT?fוBpTK!=T ^D}[ b(O.dY ^Z?+3vZ*}2E,9=ae qq"lhazU&qJ7($O^uqÌ=M҂fKsPgCbJ8>lLwkhwl`C#%whogǠ(6`Z隀@jR6bcֱdZ$ pqZ!u7r_{8=cqr~[9klZެU [<麾.2Toŭ#`MFgp bqYF^EA [_6L qO7FW^l1]_\ `aGrCݛnw]'WWp]ۃ%6ZJ_}z>H#XEmTuq3$`P+:_ZuU]Ή.yӺp f.nSjZ74s.k/;=l`Vh]4{̌Q@Gu^ 6\:z}@z:+<օ$RNzVp AM<}PR5I.2%^Ia8 _PR4:rW%z fLǵM&۰ZqQI($A]7DF/T4%^8}v({2yѤ]> vVfZ~M~t"?ǘՋZtgf804<°VX ifuc0XwAk;Z9?b+=Sĕ§3W;Wyo!MIwfDVmhz^i 2P*.nlvtaLw=ǔw.iUį%74 fV|pdޠvů D2#vuj/xpٽ'Zt@s]>[W(~P mFJoo~ $U#KR{T2uv貵ܢ&nQyZ@>PJqc>LIX}1r+ԥBS6۱`n{ae"P h9~HتWI K)[^h:Y!H\;phո rRs@svd繁redM:rŨ|Јlf!SCz>"1 %4.w:(bwGm_G Pőnƈ regh⟺pKY?+[aYǾWU/9e χ ЛwVu8ifhrA30SSZɻ\g)Mǽ`[:}b#Nns MA@9:Y69dX}XSH%-I~mOߺS(ޕqHҿu[ɿ=0$BjHl)1 FeNymz1tҍyEtL-~ƴ7XausiD5E 'x@/;Đf< fFs@²įép">UM.$LĜgԵC# 閂hƒӠW`kvRDh}-@kӢ!&v]%-qnqw l~/}:jF8r{cǓ&τӷ&^Ӏ^6TwI#pn[. @Y4$f7j}uPY),OVt,M܉-ϹEId* Z>'oC\i!2iy= 4ky40!s5qPQk{n|)Iɿ4g8 Q?k^"|HܟdD;@LoBRP-7hrx3+ϊD|kTq=x%Nrhtٺ U,}Ek|V+KuUM1j>S$q?6s0n{xah\S>k_C.iN*g!A*dVqTq\'w9s(E?Dݻ-" طȬA1