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 k3 ,\ ]S IEEE_Floating_Point:threads=2elapsed=33.502cpu=62.316gc=1.692factor=1.867zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V$1MTE."_KM9JwUK~o?rC}*vrRG4 ^tQά.Q)듚2<80y -1.kpIIK`O͘bs\IDխ| @?_Zqkh]a2+'%ddv,sUv6rME 3 IEEE_Floating_Point  a8aId_AG~,2ŕeU08=t|Rѩ(r 7/>]p[k۪[EԂ:;t`&XűHly4*~lg7޸wE(29Acά g앒9*3 qxK9U4U ,lś?}|鳩S|PS")D@ǩp鉐:m OVC24P!}Br7hz/֣IMBR+M 0: Wij([~uLh W M{pNa5R]1SYB]lanZz1DVF%nOZ5߉#!WJh)6h L%nݪ5jnjnSts46|BcU>ʏ$ZֱW8r$wI2*X/OW~$)XZ:aMA1ͻv-Rђ%r5ތ6P^nqQ؝†ߒkQ-r?tzLU=CHq&Ԧpyp8A z!=xϜ,jeeEk" nI~C*.y3 tޞgBqbW`KTXж i p~56[0geb,8$K[:!Yʹ`0Ge[.P:]r!jv)2rS22&tg=VnɯgM7lcfecOGm0`k ƾC fQ~ +y儖ɏ<6+-鮩ld$#A` rAk "1^tp>h7P8DgM+qo_ Jt@nEzWs}#.P q=X13w[>ehfM1W!d=TqkW@qOvRІM,cnz 76jp MG.c|MⱚC[J V=$ԉ=b gdI]X9>nLC[;+- 2Rw#E+:+/p/URD"o伧0,wY0͞<C7 PYȴ,DMΝt(7߹ zBG] mغ 67V5R]XL.܋({oj?4_pH'lR4Kf5/eqr2[o2z۪me>~ǵ#y/{m͹ȖrCcLATACdjjl&,UJ]ac]MPeE VtB$dOP|ur;7C o 7#"P(7$&mJuAA~LN^6ّ84g F;*DZBΕN -Tk|[0 ĚMfN.w̅3a!bBS-+1l]bU\L wR)% [BIFkYΣOAtU& F" PDu]n \wXM6l>x ׭e6%h~KG!m9k5F Ѥ@ı;<~0cԽVbWpßEd/\F3cHK["$Tde<*cV>0Li+|1zm t?ԭP$iWVzT_1Ӂj0Ɓ5";@#it W\pe2'Lz,Fh _h|;8gF;XY-V&DLN.zP[y ZJD阴\ж͎gAB5/-ޯsWq&.7Qso`gYZ988c328f8abfbbe29f8b8dd6b1ef5046ba8259cca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 cf38246f5bea3b1de08f60df65911ef59f972a2e 80899b8fb124d9eecf290186390fe76b93086b30