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 s/ t T ]/ Dict_Construction:threads=2elapsed=50.380cpu=67.976gc=4.816factor=1.357zXZִF! Y]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"5cG<+(FPOĻ]\dd`p`(OqqU Rn$v. ,8]ź=ʊ$O[眝W 0jdIgثq2`!Gedc 2\`?Dٜ"uM@(֬C>Qi] 7.znr,jh3/G3=6 )@/%I}K%rBQbmoTۮA⦠FfcDg߮%ⶎFj|xynܮ-I / Dict_Construction  >p֌Ez@8J3- 3^Bo$&wA& +sw,诩;$uf 91,mgrN})+B [AILӀ't)lF-ɻ˵6Fa)8x ̞WxU,ͱ!ؓaMt67LY̝-KM2玚jH_;1]{?Sk_\m} % ߫{' Ыge'Ua7alu6)T~15ӈPt*IݸegYZ7zXZִF! ~]ŗXiɟ*#; )zhWfLpDl VqlږYb_q[a}xܭ򋰳+7;)FDԶ⋏A>`ƈSIu0WhH#(:?"I#5hͶOS+llеVx'g%cNU߿P!\qC$5Nl{ql]m-H)V vl.`?O=e LʑwGȭm O?̻7{iH,c a):)P\A+MQ_ZEx)C%\ G")\KiM+[ݏe^wXcl^B-1_B2@=!-aڣdgEByY{ Ǿ*N[14'P7VUrܾõ]ʴɆR$P8ne\O`mΖE݂]UCw>K#W>K -ɶJ7i EB j~>7.-kˀNKظ$_*8l]00)8B-[eqG7Z ŖQ6-uEJ$sl1)ɖB85)*1t0Zjجcx/$N*3u%ЇàJgmM7G0o *Ы`OrqRF˅1iasV +lT*XOǻ; @T:Yi* cL :VVG2 Olet;.O%G;OoG'7٭b#;l;'5-u2U:k"UڂpLL7F^Ȕ4yDܭ~ptZ(d,om06O 3cj|Rt/ fݪfm-Cj{fՖ(4<$1֍ JhD37]>QGLY,(i|gDž sӉIOSVCG/'͐1O؜;t,^76'@YE=Er* x/#ҭhif,BB a/%aӟ|Y]oDݢn'Ol ʂip/iHk4b&<lJW/|焆{,rn17]xndΜ(=׈lLǢ'j7=*? {&P ʗpgDɚm7Xky$I YnmS(,+ ЬP/c~,)4Y$gO!\.w L{6m?(f:rxv;dkzqOeJQ>QTTb(^o (ߍCA&9&|SJ IJ\PE<}&3;>=qURtWM`~p;abV: ODIg"ε D"8 i:UCLt9d$m ;MtIitc[tZ?CIfEDz{| 7JƹjW+,zL˓Qf3ǀcO{]@uI-oheu7;8tJ3o3tZhrP/7>BP+T[YE߳LJ5! ˡD?Shfqڝ>0y%} B{jՅA,F 񐲋Tz.z%Bd#7AxnVVv/aꍸ * 2wVBw\m*+cLW.C|.寋ہWkj;Po?m`8-/Qn5-4&>8\pEFu*y]zLiu¹F|*T(Ysa'\= ̤F7E ?,4ܟ- LN?s҇W$Zx>7b]%S[