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 V# |dt ] Rewriting_Z:threads=8elapsed=18.643cpu=57.018gc=2.903factor=3.067zXZִF! }8]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\)-XznøOљuntuAw:{Q|,W)FR̽0~iB55K_u}hMWoNO#sZbfaBlLpgLZϥCCVj>T WD>d7| HhôPkW8ɧɏs#erY0z$V ?1+rcK1(~#'0P(3S)BT`CT~aS9;1:.i/3@ƩSVɗVO,pikW?M&РS"߽pƞ. ^ mu ]u:'YJn!SLWw3tZz&zʍ|tb7sC'кsf>T~3 ݚ$(9H\iGCYUx>ԟ} >7|L'_AȠ/@A,uO iMhsA?l013/gJXw&mׅB9 ??X^+;vÞ;) z#GE-PO-)LI@ (īwGom15Q\98?&1*HUqLʅJYrmIda/s3Ya0@hgYZ7zXZִF! j]ŗXiɟCrhi^IxDY?Av|7Z[,Tk'H\ЭuQm#LKCz)%Ҵ{7UV<?OBv.ǠKH?6A %{ܼ V4vwNRI@O=TuZ{ךorIbW /8v^aKqSg@(mYu]ՂR4-V=TlV;[iN9LSmTiZ߈>ۘƈu// jiTkuo##H7 {eqtJ GAw|bڶB_zRaZ5LXI $uc X- 𤊣ةgYZ7zXZִF! k]ŗXi%>t}Pdf$Bk@`Vu+dνB6UFłH+uZl*1Bw[|ԞT~lh`qyht5T>b t>D(Fo=lU:XK }J`XWZR" Q˝w1%Pϟ@ q@0$ߓj#MSWD N7 ` *MTcHlDŽL B!V![>J1dET:XZ$rJ$pDd~N[dfpX:-XD5jݢ9`TOְL0#=1b>㼍?Uz2,wl߱DEsa/M71Ԓ W/ |c<0fB,vay Uoc>*Jܗ#WjvXN"u9J5u1QqEʦ|䕿t'I+!$3\O (0WiѪUwإ)̟EA3 ur9(P'Np\ .G[Wش|'gԻڃR&ϏJ|vlR=*^eZeV &Y~n$x`qtӝA]/?) [h@7OP՝)d4oz%"Z{QBnl5ptҐ7r]C",F1x3t۹MDw:~Y!l +˩M?GO KB#JS4ҁe`t@ kY?Y9>"' S.Å6l1юQ^{L(sdkks1fF7ײ8 S}yA"h|gTGr >> OÂ5>bw]f8N7HV߿%{"pe|NPZ:+R=m-l"6bO\9pTӥ %n֓ teSz(7?|Ւ'Ae1e{zK< aUoh1>hQyY%1Y}ќ%|-C`=YuUq5޶39]%`Ez?U1Gcaֲ졈9A>pd ?ܒPsbSV}·1MGMbUжYz_̖-y7y0\8_t$ʗ??LbjfGmi& H$HSO;S =y68 d~ƕ*zN 맰p XW`ȏɊW ɠ=d7ֳ=pCΔ6K6"5LԒ7xdOcVc .apSw*Dj\`èYzJ _;[0=0_m$L2bDWB/I];sk<3I{H$@0(GnFwXO& [~ۢ-{QeCłTpgI ;R_PP3ͼkۓY͒1.oo٧0K+ae"I s$&lKIż*^4[aP|KZ:eDLAX%gYZ062f199a3a4286aa1be9e3dfda26fd17eff9dd00c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 140fd03432f10ea57e1f9ade043b7e0f8fbfebda # Rewriting_Z