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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j' ,l4 ]/ Case_Labeling:threads=4elapsed=3.262cpu=10.364gc=0.240factor=3.187zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3>z^ ԜAҨ Si!?7߉M.J:dq﷠t/kڧxfnݚy >*̒l`-_vo}!K6>^:k4Bn(s>q=pŒ 7[]yR ?毇scC5Ffl LyIzZ6;`ɩzlCTVY弤ze,:m8V-Wj/xKz"ۀSkh4)'XW-L"(=$Raj,uSjSqwqЌA~gYZ7zXZִF! ]ŗXiɟ1S:Jg~(dSH{OpT1וYȤQ+2M΄a$. =QqOBYsFt NQPʲ>,M+xdXjHIҍλ&:$LDy1ɫ^1PVxc/ `E܅,-TE]^? ;2Mhvܜ>wA?QJ=yJejgYZ7zXZִF! #T]ŗXi%I o9- q#Fa4M"nGTH%.M%LQ2!/$$2E|z|$a.Y| !ej!GD@ DG rhCЎӱ xf[ĝBw0qgx_!_<,հ3,aẕ˕1nw.~bnd{[qk@}g(yT(a2ػ1(ҕ31 M(V3#*4{q،cҨ|8l" |/ j~z)ޟx\建ITWˢղ8 Qy*aޮ+ɞRjk]2dW`/pa8.I5~UafTkY5'Hd;uX&!QNM@%pC7;t3] 9+V𗦤dEC:uzEf`VbqW*|j9F[}r5:ڐմƢI7HW73z&_dATk1mk̼$T$H-GTaXe1˖vFt1%XF_B(})/qڵ_C`|<ڹPSF)SZǐ!6>[ 5sdnCey<ԲX́ u>4wLM[RXQ>xXPi,NC~hŞѰI88*O駹i=D&؀f^p̃qLXM>L߆6{885̙dk =cHP25y30_,i_awGiogYZd2f5e9b381432df2d29f090c99308223a9e0ff225a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ' Case_Labeling