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  L L)?<$, ]]HOL-Computational_Algebra:threads=2elapsed=64.834cpu=114.560gc=5.840factor=1.777zXZִF! 1W]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(CjOBa][9u!Q#=>bv^qyf3f/f#ʒk6RۿVW=mZPcbq!B(ɦ=[ ^7}hRnv|Vb[] vt+Xjm\ʗj`U=5˴*]/d@~u-P0Hdpc$|2g~=XElQEk!"Ş1]U}үKu"OI`Mc/L ͌'fxW$Q:*Dj Kg<'^B?]N-^6gRco|"A..$tTC=~wM_*]@xTJ Ee/Za:ۙl\mle2'V/Momw^"h":nڝTtQ9Pdҵ6W\/8vX("]QDZϹ8m {gXdY:U : ŒR۔LHM: jX(HU{]Npl'^;"U:c9@([z-@xB%%c3gT XbZ!v}W$6 rEpr_wߦp;="A G77 P-UR ;}TKere1TsiVek֍?[iI 3Gʚi<.Pdh}"qNw%chT# jޒ2y6jDm2Q6)TD(oXPgO_dDl,%Z ig3N'$RaSf,0V_|u60IqAB:Jma8?rlr[hNfhLr ckFT a2"ȑ b{ ̿w[~F&/x}s0 ;yx dZSns!WcԀ-VO.gAZJ501 ucs;%Vl J7p@BVek:#զ8![_Y("a2^mXg\Ы׮z_v2SN] `5?o;)lRq`[A81hpϫ ˨}O,}Hoqf>/Wi/Ѻl45%/=1Z$M5\,zXI~RZ7hQpۃOB'Zʷ=x=aC,pYJF7/ͥB#7H%aF`~bm-2کMAL _+'׵ 𱙝ċ^x_|ۣffh2xlq^8֘V|.P.qn4x::$+ hm_X+?A(M# ^N>^.ZFq,O'@9&zɜŏqgfNh5 rw98^ h֤}ym'x,)0ИLvisNA0 UDb-F˽FWh`)YNi#Hʷ ƅ_ǓY l\2AKbczfk6M!3[FK@ZS=1ڃZ'%q+#1AϸWVKǕNI@]a֊bqx Ӓ@r rKZf(r´ D |Jr/!Ĭi)wt꼲6+~Vx__$vū, {Q?f. ,CYY9^Ɵq/Avq.n\bdo4= 9j$kP#hu$+K{w LysC,r)m>WRm';DzVga !wgCG@O{Q@Dr7@_=ChW(FX &H73O^G*!gRݘ3t@D OߣbI9Imu7(h伶mp&2F~=s``rf4}ߓɄ_|/?{<j4fVD.Qv9{ #QЂx Q,a^O 1 +K/[% ZۥaW&&0H/ 6 ?fH-\O{-Zk\6=-zlO(~t&c-ڜqg<=Y 'EjI ;XqI)cb%C[A{]]cw)7=["#:n%3@B {1oSDEiL| ٵvW4Wu()a4 C&H 4l<ͨ1%>NXo*RSQ\KV%a(*}.Ms?"^&giچ(V%GĞ1n8tS(Cop$h86uɞ,Kx#>BL Ig,fD[*c:0MYBf11_Ab S `^/³$wxd՜Ae*iZ+_^ɏ-BGDaՃgmbV՜Őد4[njbI#b.*N1oN$1Hni8Ǣ( iVչ#%QRp[zJ1ҠF~>7* 4Yw&&h2b)_y2|Mme(Xd nPt_Iq HiߩnK/XMA$ͪw*$x W?B2z;Oܗ̴ FGlRjY8)F a}>T{[f c1\ϲ]\̖PA1wY62U]%yr8翱m6TE=5 wSH߉![rGZ91<-kB. f:m~M̜ȳMHěel -w!`!m2Gh6`{c|5Wc[!Z]=b.@WU}2.UQM&pB1 "/Ԯ%X"|ybb,(G/"6~lZcᵔk"_lL%eiAU(0RQ"u&'~zI^K[=uJL\'ķ44$sn2p:7$ĢA@E<g=|ZV!nH>n6lKI-M2s\o>_L^'|`4ngcJLOŴW0ܠVϨ*dCz@EЂM$|[  1'Eq[?ԷA6jK1R~fHrbŦٔj|Cq:^[@s/4\E]U+_?B'e2A;*$Ƭ 7[QL1ZVì-]$2%gYZ64c6dcb5ed96753e23db27fc121d3e9ab526b79098dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea462377fe3ee1fbca011d343562a3f5b67e8aa86f