SQLite format 3@ . BBh77otableisabelle_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  N N';T$ ]]Stone_Relation_Algebras:threads=2elapsed=63.796cpu=111.256gc=3.636factor=1.747zXZִF! ?d!]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQS'u'H#b LvIz)m>^ D/xOVwf*H'O?DS~!ޢ!Z*}*zj/~\2Tg}ɽ[vя Sfoʈ,^S7^kI'̲.vu$D˪Y;<є,RP9_9%Pg5(3P;׋r9E}?0w5`Eڎb 6ܸΐF|P)GZ,ӗ+ˌf%~EDkIS9W=Աfg-\k0Ӗ% j건 IZx)3J)Wl!&$;b\~ ԾѴsS] y`ր&+qRϘsi(zS@e0tA7 =Jnx_r l3aGv:p+@&'yC} ;`W&rE9.B8D>Ϯ}KXozL 8k1'_lT>ǀXV`@uKA+oǜa"] Jo08[ R ѬgTi_( oc"j!Gj#N%@dhqY-d ?UͣacQ) Z[:)'<$U9U9)+5J\[d3%}|:'cA3 ϸJ&\qG:D9I20gbKj n%+ LZ<)*GZ4&RP:^= \E72˸t)~fMvߚrZ:h7uW$Yq]dgr>.(G"o3!ڧ-Xn`u0O|M^M?co݁Lɭ<f[1TaV.w۰/t xP)ܫ{ C$E"*D`L6G =| *6%LɸΚX ~8gYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xЌeݰ|m`4N)D-IelMsz($&^.vE-DgUeg| ׀ Gl_例QbOܦKEђq>$`k^% 4Qᰁx3?hc=pyI&?^LzM)+l!f5z߄Rw=u6FGX?AcyL`a9+kz>8 Wq)Y_rӴNJpJk1p^tr8#Loz e77c qzGr>b/jWKrs-wooiALDžsg,`Z52%!-cE'T/ q፴ ;r7j 0g?$+Crc*z9*n%;Q4O;IF~RX}\ÜqM7(PLhX?Oyȕbqo_Aqlxٹ"O33x5I4#ӕzqi> j{ݱ-n. 8s!0Oёv 2N$JU<}Վ`4E$orWec뺱ޠm^#ߵ̏yTX (^ʽ˝))Hn$Tg"n埈<)~ok8) R.HsMdKCgE1Åtd쭐o?h.*ŴYOXmwb6xZ7j4hD M_ܚz m|#=w w4e˔:`%8+r}\ks@e{Xzq]j-2KqɾRXe`:DO0NfXG`gckma Vn*<|CS qCPH+<?>CI7MQi.RCP~2}ih1NxoO`a<.8lMlgE0IEm }ez"Y_Iβq)K'!yy? VAj# ֤Ʉ)5v궤@T ]}Jcrb7~眮a]}xP#|4:UscU1ty*3ALnvܺ\gfYaTbQunחyFSR7%* Aa+ m-#u;뎳M4q:o>P2o(5VUEH<ؠёjNo !;.luJŚ]@_ ŝ] ǂCM1\?mlCL#T#zU ڪ2jSud3 7I@/zVFjҼRlOeĈճ/K'< V'ϐ@t 4i6+7}Ю6F\rc-'|7-':| <#Ldܘ `q"䝲|Şȍq@e8k1򴜂GaHY-Z=KP~ukN9V?+P<H5HePPmhu;MZJJ0I*ZW/"-XuFә O{$zubQ)IIrq:@lfr$vGX] >C_tP_-+Bm0o5tu{~9ٖ>vV &\V'h\whNH-[.o}w?K_p;RlUː Lx}r_%"? S%箁 !qͼĖ !3ToOsJ)P,^ Cun@&ΒX~~@QQ\e9)s,][>O^`aNKƎ\G̕j&T]8XWss+np8ؓV&]u5@z38{_#swpյ80臣 &P:iRv .y*N+8}&tdNK{ĀQSxEzQD^y4` Ȓrj:R%ʤ0xi"̚&i!ꊜQf(5vrS[8NTH<JHN|`W =6 Y4G!qwj+%i{gz#N 0ϵ"F}֪KuL15J]hU>(H`#-M#x32b"b#o$vc()Nz qkL%iM>c0 [ʙ,D'r&ah)P$'W/Ii{V!R%M&<[ӧϪ,RF"G}G8cs{9;҃# MeoT*@be]_3;gYZfd216f4f4d2f1f5a1bfe80ce3310b02f6cc90a02ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 70586ccf53e93932038c55f4d009b50bdc5c21344f5008d5205cd402de85c106152a64c66f8d1b64