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  =?$t ]]HOL-Computational_Algebra:threads=6elapsed=42.886cpu=127.888gc=5.104factor=2.987zXZִF! 3G]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(D-:#%DEB!s҂VQ=&ȋZi{(Gx1 [`A>u b&5z̓iG?W_:sQ ٢XՓbS>F\C(˲,O'sw;ZIHѳK2V0&;tY>S.[nQ`n7K,^ۚ+onK9nGnL2mqm%yIKo O c*|)B sgClBd4oAW!ņP6>~SEqp O9胓U:{L q$W䠀 xM-ҕg,bTWPY{s;ZUVP&SC1%%jn"Ԋ=.3dlS}\W4( a)lj@@3gk3Ngm͒C>=FЦyRh2Bg0V\G e`9D=)eĵ/3rGW/3o4X`4g9-ș/QP>4ټ RsyzLhzOE@l|Eo8V_ɇe:yS6eԿxA9mG-V#˦TQ^9DBSebg>FyxQ$TvMUbNѹ#e9QtdBIH5_Ok2S]2מTh)jGVV$ ݳW'9rõZJ6h'XLQ929/biϕy (BtfWufzY ioԔ07WRMt YjC=y*N~Wrg.^G!+VDEO :ͻ9O>Y|y[u 2:uzQշۜ GʬVRԵ+`Y ts-ިBΑR݌_^v T1 Z <}LE'BU`WZ#^A`q.=HDJ-39~zS6M.ΫH@UH^ c'fX["jA"-',6D! U70d*pf1lMRq)ΈrO62r|_-4I{@~ba냐`;h*?_"x,%Ky 0QDG0}~0W;IiF/r%z/Yx~ۍ,V;ti(S󿌦-|%64AcLƈ/! Rn$xVR$ldm#tq;mX=%'V->}UYN*Y+a Fʿd]p>>,sHƭ{}gVÏsұJHՍ>H;I`o ǻ$q,:+Ҹ0B^ᮌ`I3=o_Qa9q'{6Ӗ0N>jU!4V̓Vr6YpOUqC΀`5l&X~ȅb'vIck6d24BҞX:_ƒ2u:tZ_h0zC#3g T`ODR@tf׭,E^,Qs˃rLs$ZήǢ*eos2db hitN;ZntHl5kR^ V&)rq;D6rnH}۰& ^˱[|z@%49y Q H|[&myxu)dr$_3>J &"mgsQܶ2ti$_/]}/ WA55>̴P7iˤ:Ng|!нwb;RI\Ugzy'<;R0>5>-cCԬb~K7?z)DugԊ'%?dtbN2NԎ="l$EAa"( q XB Uΐ~-1DGJjG +Ȼy,wG!Slh] B/mSim\ _߸sL{O~V./|fsFB -ɘKa!o䨔oPN:ho\(DQ% L9bC6@I?}i{`e 0f .6]$g8HZVF*j7!ć/2bQmSnwh̒۲2'gm\f? qP:.^%{DM=r)9O u"ry8X$XkB?p9eISfM2&@X%)u4NAϹtvO;ە$ `?ˮNٱgYZac94dca53eacaea691702615131eb37293a5c1f36c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538 18a3c5dbdec0ec1e741fccb19894f5e73590adf0aac63c5e28d6448afdc0a9674b43cc1004bd1316