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 # < ] Shivers-CFA:threads=4elapsed=21.009cpu=64.852gc=2.924factor=3.097zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xφj̆{;s G}<|[ʎ +^`y/zS%v4n'!4G2'I9]-da AGwٿk֕RyIDwi?npMdd]e\APFI!8z]Cq'doC p"8t0=yIC񟌞'[H{+Lqp13ȧN#\"]d/xHiA LJ} B.^Q$u՝qao=jlӓi0<*=y \H0?<@M Dbw!:/ 쓁l>+K1+ gYZ7zXZִF! OC]ŗXiɟ1˦rnzx <@0+gMLZ H2~ΌYq%$HY]8P69֪izl:{wtX 9. S^*f@rFS"1MrV)_8EOnU\ҕN qH2馫A&NyzoG?I>/^i_dۅbiݮm#rH3dj2p7Fu<y/}QEW,=MtF BJPO"X1L (c3}tVnk~'TfrgYZ7zXZִF! ]ŗXi%I oĤ$ f' 5sĢ]5}gQD]4JUf Az';R:Xk\mxGcVN|QHӨE9 t9˵MHiMlAY6>Q{SӔ/wZ SDMv[WFXw]H4_ U O"%jkZ Rf,6Yu,zZxTeԴƃ ;ÿUiƹTJx".dQqy?Bd Xg>b0_5lLup|LUvz0H;P~ hłNH ۇ f:fSڨ`mi#Z``{bObp7{)A.`J RO&R*f J1p ֪Ir^B=֙|U`&*qRk#Ew4=l01i?Bኞ-Hgrk~,w0}X˻d: S5ݟ_OoͶ h:O(8}4OWxgj _k=F.yTnĨ[Hh+7Cwn0ifJT I瑫 UH}`"9/ބD:hjvt  Չq[:(S\rNjҬjމX5T"m A/b sdkǰƕP16?s+g"JQ=P,/w5ZEZ*3gh h9c߈ȆK_;ty)ٓ[^abzLq܊PӀ.R}^IJfK줚tH%UcC#۸+?Pn#_{$ፔDY^L?(f_M]u3;jҌ~wH+& M#-ԶB @;wl'$DW׌oZhH;/$OS)Ś,hj!h.;eFǡT%$zz qY0/F[͑&gYZ6f9575f8953597ba4e03ca7414c05f4e9001e64b5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 fa3934eebd2832ecee6bd7baaa64daafc4b2f37a # Shivers-CFA