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  ?d4L ]]HOL-Computational_Algebra:threads=6elapsed=38.295cpu=114.984gc=5.724factor=3.007zXZִF! 5j]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(CjOBa][9u!Q#=>blunGOA3ho/ο;ԛZp`b5 ٕ 5xo 8ɜp%)Kޔ<?iH8_:Q%7\f/ISKRpsEXJ @(3-%llz?#m#/'z lʭmUC;4.rm_.ڢ=_e1ƒ6wJe$P {fWDž砃Ew۹%2K7-ʓnW^#ska `~_7[\V.gMΙHOp8 ͩ QqLcE"B2 A_ pBmL0+n òO-n Vu#ۨJÁ^EZO^…^N6~f,t]]9|-ǨNL10w*IlaPno2H\5WBɷ F: ? HOL-Computational_AlgebrakfX2dx+Fm"mHՉ׻-!pVeMw3; A oґ+4 AHgcoe/e7P1X HqS>GB,zԖxS}0j:Y 6Uء2W;ˁqt v. LDQJ+<ᨲW['f;1[v c;k8Qep/@9"1Fo>;x̲ZтnӀ낊 #RnW? &2J]w~ rfSbW%UU9`sݱRLL.F\?~t?Ж'(q՝YQ?l'g?I_ϥ0ͦ{.,>V5Ȱ0V#5a#=_1wb(ء&&w 6ّl5!v-Saa(CW"zk3Hf]L Y ə@5re(\eY SgOb4| i_-狙$` "JEӥط?̗Wk;̗3^܉ Q]K@3wm@&)  V@ 0zqSY܏ʗH|) H^d<0nnnj9xyjŴ-_PɣUo|v y j ܱgYZ7zXZִF! ]ŗXiɟ18 TeDZgYZ7zXZִF! ]ŗXi%;?ZtG@MǞu][d;v<|LuPl2q_%x2oEE5NN`2M0B*24wos鱻zD<2 Rsсj4SV}u$ Tb]/`-}SSGoME,NHyBsՔ{܂ dHF֤ ڼ0k8ljHM#eeR|Dq20^#a!_,#L}0ɔ XgusD(տ 7ƞɉv;+l4{`.ʩm];J)t/ekVoU^6_!<&I$7R΋ Ne+昲^qF*YhcSuÖΌ&a-eT4% |ZK0+,cwB@]GX\|n34Rʶ }wq ' (sgi˒G!7MRjLjfUqh3GZ7*VUYur xC$N%..'H%&Zs+:*B?g@Vj󤡐$zFbGit hE>>|邰Xx<7/¾ 1p&/D#FcXNb*!MN(`Ph_y /’jG6H]b:(xq\'!`%b2b +`蜛V;A 2% __V;EKxdxI$MJ= ZG6MQ,) eFoVX3X `g!̐[T^$3Xg)LjJA`2.1θ=akDڦ,՘\mA(܄h:cCG$[G->+bĠ3F6ģtF<aMF:Іow`(:q?)i,|ɮ!qS4[ JdUX9& m&C?r,v:nW:90qޞLNE-)ƳUkmWS6E_[}xu>e~w5y~YQދ!?Ng̮Q}MwuqPXp5BG B*,la8L_Oc)JX\"Mqy3?|n;wOlfqFq~V T'|2떫ߘ&-ndJAp׃jXpPV艶d6tc>7L&B$H}r;Cm?{ [ڞvUI3KZs Gz /(" RE򦐵3~b+a:8 *pCEi+,\irG&,3ƒP@ RzDxx;(,98Yy?s B.P>:s$'|G:[jݥ b8> wǮ\"U3*Qոϭq%Rk,R {Vd:%~dW8eu%K:7*9j6J~3(W\Q.ڱMa~̳@%0d7I{"e&nɬm3K\ P-/8PUј~C^#c Fri~ܢa@RѧV#*Q 8i~S,b HU "ʎNf/Te^Lq5덟"6$̎5Μ5:;XPn:E Vӏ͋WQ S0y_`²F$YqUC|ᡞ60z6MmC.Zv Tiˡᙴ :n;HBk0cH2(*3tm0FoG Jf^'D! |-\b4ȉ2pY=P%M췵;F%=HGPoৌuxLY?h}>KN[V@ihp-fOOw78=WdXXUڟʠ}>*2LSQ=/.֬fGI9oe?DZ./y!e-Y{ZMg`OZ zBA߶]v>aMFxmgYZ813dd4cf9efd252a8d53e4566a37d46b310b44f3da36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec fc50af8af4747fe4fb2fbf997be512c5134346b4982130482d32ab9f52fe75ca0ef4f9947fca3cad