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 ;;:7$\ ] HOL-Datatype_Examples:threads=6elapsed=80.981cpu=296.504gc=27.656factor=3.667zXZִF! P  ]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwD euO͘~jrI|㋠A!dZ=Qw( s̺4X&{FY9^&qQ+a_l[#V愐S?@(lԉ%dnc~㮣uBMX>H{d|_d(ؘ%ڎfӮM]M}2T@=i ̟5M/AT4^d놵5I_}ıbJ?ȏ!<[KԹP:a9:j/[ =j^fـx #q RNJ8Yh%=IBV>NZ,3͞*2Ncd%:"Ap.Tω]MYCߒ($M*Sw*a @|HQBBQeh,1SفQkcp9B;)@h0޻ sǗ,2y1 VZfo}T>94Kem0jع G[u=هYm*D1烝If ÞÊFF#P"@Sx8bY:SU|j'x{_}qPWbrS Y7:W:]an|C(B 2͔~IpiЖBV.As-wR!6KHvB( vHD `mGJc`ODo'g&uiڳX!†'gBW:2Mڝ]̇9WP퓿Wt4\/Ei\^JV P|M5+lVر|dx.sÀI),DK%ZSn_JTc.3WSᑼ 7%to/a<,7ٽ\b:2,4H*c"M8¬q ZGjV^ 9 E([O9>~ij bQh~ 9*t%A # 6 FQ 9u*=M%#;(RL5A"?s\z#ni&UϢJ1'"tV\"̕B; U;q ! Ư&:>2 =CZ,/vfH/H/z\'Z4iH8Fk*U5v7^tj*$H U^5!s?fs&'bdn@I}7`%%4ߛ \,R}E5{qtS}߉A ESbasGGQgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X{PW(A_MQQ;RHˢ{([ȕ+Eu}<q=YN, `ZdlM_ZkC5-U\);ޣi" *گh12/x .%˱`ITQ{ܱ#Cv;Imy٤[H3Ml3 މJP(WZ7wM? =Lj_+ W.2],B*! r)?p{㙀+*nKyХgu"n`" ΅6(M?A^aJϜLP<-DV;T{@d?fvF3TN 7gYZ7zXZִF! p`9]ŗXi%ύGȕBjGXLTQP{  jmDXPmA[xyڕH7eʿ1HR`Fâ}O){Mq\`=W\ܶp}D"R3DO]!Q V16 'QzSӇ?Q9GZ@뎺K#S_<%T^c<[1!R4mb.R*P{m6hlo}5z /Ib/qqwB]Z5x"Oąm'H뒜cp i\(M"SQ#7ۙb"] Ci v2 \[Q_[A |d2 b~5^Rjm0Se- .k;2-8^}^ՈZz i%qPlO@SmJGN%$A?`Su2>iL@H\PaJӍaR݂8؜F.a]!<_3G*@cUBUmrSO29NBp@}f qm3Q7 ~ Y#S$+yB/`+JnjbΧ0~40@7rF3w @;xBZ8:7rڏ Dέq]$U A5g+2ܠF3V L|L]#G=V*$cWw |E 6wt72"OK‡u&C' oj`!ZɃ@KzT1MbyY.YtwD,Hp MnB2*2KxYk[_d(i'E2_PyI^lisiR'S=$\'rb幭)~.n5pLLL'ᦌm^5ʹn1k /y9"iӡβuAXuUAB(un,/YdD~Jvfif joGˬg Tp[Y Q "EMiq-2cX<-:\STmQ=81 ͽ؟ Ģ Mwt>"~W#eH~[W2bO(8%5}_T;&>V??U&\?H 3=9gLMʲK-ۨg1SpF&In"C_"DAB4 3-f} TYL9TW]a@ZU+*c$):dSΜR*bjYc#"x F8.;|IzB'݌͔XPmcN!|2"4 Zt\XxK !ux&V.8z1򥅯=ȡe'V<}Ej)[(yveZ#2;[.ti%16k @P/hӠ`LMU𠓕թG#e.^F1Dm1:T3D@a ݏ}t!2ʼZVdsFj<_~|`7? -AsN ߤsKSz5qBbJoj^Y8N9:ձf,vHzϧřUrńN$Vs̩__&1[F)^EMYҰԃ#I; ^ޓ,˰C⎷GlEe6 fD@l-H@0%QlLEU?KHn W$}TZAv@dTmu/}t%΁a0DʗwC})Ce&m-<7Zèc|iwɨ@Β-yt,^A1ho/SIhyoV$ ħ\'چUoZbD/n̤4j8 !$@U#> "ڳNH">.W'g'[i ?ADgG}rjcKyP3‘VOC>ٱh %)~f8)Ƈ>1HޙE!mDէIɗq6xf[ 4GEiwtJ.;`e~]Js}U;5ɝBm{Se >3?|//1Hw)jp O}6P?U B'c>:KStm,6l%W5wMa f4 =!$ $lA*'=SR)wLFn0X:|H2oc}j>wox4jzV VV~y6[QوTjQ>fmثDPL,P Â->]R"3dyc.x^íI Q?2i*\mtÐ=u[jBj?G]njc,W:L!f{:*]WV~VzʧNrHFgz˄CLQ񿍨`: Dᒹw86wYqwp ƥan1[P.O) g5.>=( xޞέSنFԏMoEz@HyECÄHkjmp³"JV%kS_sid|hNTuF{U߽Gzb-uFztK)J_%(K氕f8^};2(>5T\Y7BQh. ~;ô9G=@TYC2W @g&ugΟ% ]S~ED,|B 9Ÿ) Uc9(@e !˗Jgײ)&R_pvrFOUWЃܫ(ɳS8k FGUoՍ"uΚ з:Ԭ9Kpbf8phxfk*1c%9Agq%Xfm%:^ZF=q)$l/>`8w=cdLUUVg,To\P4AB#sUS_&6GMJeƅut!ʼu:2d#=e+NrB:,3CǰLʹ[Ntj7Kj!AB}43EVȻ=U}qp]L_>YB~dxC-cOf00ܷ6{*#8W4'k97A}֓I4ޫa4D^WfAM7 EՑʹg[ JNvOȘB'QĬ&bmk9m5|p ;K$4f)K ,BZX<"Qވ4["?XdA{V?BmNA1 R}f.*S&ٓp"=b7X),p Qm*42|ģRY3[ 1qXS PAmz6s%`*U5⛈.G ḟ+j8?' s0DV/M00ן(Qم$Z ^Պ(^<%MNQup<pRPvoo.)^k z {ڵ)Xdg灢[A._qq=~k~tOqV? YABH9KOဿՇ*c7.1Q`u|8HSTD:6vt|DUfUbwnHVf_8}e$ߘ PGɗ:~'\ R<ǂ}б5x]u*GLB_[(