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   X5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=99.547cpu=179.172gc=12.872factor=1.807zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2jB~Q#O#&ܤ$sP2xgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/F&hr6|9OҼQ h5L🸚$ml^se}YZ7zXZִF! ޸]ŗXi%>9"'R% K$,VЪ` j *ZG!SX2ʺy)ll| VE5:v'V"Mept:7H]qNP'Bp(Ns=`^dWL/8@Hs(q J,h|LB:t3cNR/iܪmZ _V4h[DBɿ5b)xwQ 86ނo,^άITSɌ9e1rbNШP1 h8R3Ҭǎئ!S<2x%sեPe{]ҥ13i n0AÆ +^B qzb,RCٌEB! &:L!Ղh1oYf3ưI}mJvTU!U0fHL ;BJGD= ΎS^,**ZMDDLO# Kv_ml0܈#1,k˔a vUv?(zMtqFG`=( c[B1*f|,%*f[ߞkshYd[wߨ8:(k.ڭN7)d݉ B )*sa--7Q %H.[+ ԉ}F%C cP%T^0izڬ.PPDc !Jd;zXFE. kp:lܢ'UN46Ŏ.o*`M)o)(6wg%//KLtakw* b#3z+-p[N+œ*ʑ"C[M"&.~A$1 1 Uduf a9˦{LD/85 DKV >eA͞FyAÆ?v0] 5 S!R,҉ L+:mw 2"l 1V7Ul]3g"ֿn9G27,"P p>P83bm Hjd E3sst +Nc. >g%(p3d@mN^vyMCq}I$(J lu[eԵ]ѤnIôO\{Ǚ1à0u-[gx\5W:{UX9EK'{Q T ?i+Nꧮם?'b{ݍ|@XWfN+L _Rt:B]xf8z_+iHw=v&kV!g.@0]d8w u \4Y b%Ƥ1K&2?Ih2ʅt-"NNSVGci>TYL rHfvWS[Cӧ+<.n[Y=`%`_+elΌm-ub`p_ a4AV4'Qߖx$ 'F K ͖~Yq, 8im2!8PJ%m"}%><ӰLm4 =d@z >\ﻍmT$H&gYcՋ$MC[ٯbŤ&DaR3$Պe1}3^QS:;m3nx[n7V=u z]L=o ע?TN7Bfkvlu\܎X";W +*ȿ}@)ϖB@aD]ٜ(ku5۽띴zO%5Lw#9/_*wB}H~K a*::E߼ km*3yu_©PAq xWJBBcnR5">Y*{ߏj <9G-`I7+%PesHA\|[c.x ,EqI?@㶿 8Q*#9 Suj;R+!~+\MG.^S98’3^HC]h]aSme+8n\5o]DնCb+]Z)Ti3o "p4pTȌd|g)oro TWAj>J"WNQN 6*/U eܧ{ܥ3ԧĻQD7\=Mp Ev>GsQXvnrGqqᠰji!y\C!|/s4|htMvb ɪ-Qs'gA92^q~?8>N 5IقD%Of#\;xn|Kb|OTй *YvB}NC}2w44|'P R:WN[cGz=LuĄ,hXXN3܍2@0Jg\K&=xԺ}! !!*:q<p5zOyAŎnF JqvgE40X0E>}Nc]N%S5'BU֭o#"G=\O!%^`6w޳F<~ǒ 蕃mPdr䔀mzYqn$pB&-7r況I0z`N6 (*X"%Ú cZm!'/$g\rfouyZ=%cORkDsy&ơ/P%oÓ,QLS]| + =<}r|k[{2#;ɳ/$-irsdNhj ~ps=MG6Ez=ғe]JU* )a@VC#~LnH8i!9m2'qtym|cwofc ؛ŝIdHiU]U՗MjbV$XWYoC`7nIfa|Br Q%3|L;Irc%˙D< 'Dx6 TD