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  S S"' D\ ]m]Flow_Networks:threads=2elapsed=55.434cpu=78.904gc=3.084factor=1.427zXZִF! 'O]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0u[UIrû }<#}o]=,bջxHPӓJJ?@{`g|Nk~;(#+^A6\RmYI&Z! !!;F8gx]<>"kZ_朰L~N FKE[:l%mb ^U,GS{ @`{TX EvA+C<0JZI@*7)̓F2d"6L$ ]#\ )ib;]AIAC4WZfop߰fqm @Ȇa︺w~iw*`cRlYIE+Л,A烡ejo5w1,>p)C$$nfoٶcYT6u mQ=rBaw ' Flow_Networksr5?J&Rj^#Drxzˎ d9DUzoPV2u!ڵEy eiONkQr)3,_Fφzj"i6/"&VNiި{C + LF~>@*{]4fL%MT!2s⺩t}D:*LNmQQb,y.8&}hl>m ƽ[[0@#v`3m Ppf'-H[Dީ,m"u;4*PHc~*JH9D&-+2G2}CW{ Za=QF2?Cֿjr@VJCJ+r-+5B4s,[ bO㈜G *Ed9GlZ͵ ~{|4O^W8UB.$'l=O%Ee~gJqK-+]7NWYgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? oX ][4?{@;{'~TQ|mE'n¦fsӑx/dي-B% HmmJB&SxPE;Qp\Ju[j`J-~?ootӸرVtTw@xl{0-qڊQ7wA'sˢ/fMKqN5U2s  v>gYZ7zXZִF! I ]ŗXi%6St@EU݊hCO0gfUuc=Sf!q٠&w"IΎ*سf 2mBs1 ѦL@ 21]]bp8Eni0 >#(m[B4娿4hŲ2fI6[p.*;b1f eק]*9Ng(Q'K6Ufȡ2YK,s;b:vvؕ>Bm°> ~n0bh&܃&'.C6xCZSr4_Nv ' 93ۛ.`P0!.;ђuw!TzA.F&k3 ->]7{ sªt WhŨS=x9CIo \l$픮Dֺ)s%&&1ʁe# *! ).OetM$m+ueDwtUEWlHח,NQ V8nRc+~lp `S'3/[0%|J^BJk ꒔q8 pG"gDIs0+e晴})J,Vd-ZDis Av4ݾeڠ;nw$CĢ>a4=|۴"mZk8/~ul\O̴Ӎ1 Ѫ )uqųMnl2&^3wVΛXpF$#ɘczm&dfI Or֪N\P"f <&i-gJL3qlIhǘ(PCgQ7pV _$U\2Vb5atZghS^ irm!p1ȟmBp=ຬ+1'[uf'I$1| y!(hҖDj7, Ȍ)f?TF73^cxBB9-;iuq@A `"dL\ `EH 0AafDR0{::6wtPW<M}9HdMR/[/P\C8wakJo{*3J#[[6K }T[SrRsaO?ؼ4mrjvhF5]CȀwi:g*iS*xp勇R:Dęe2=D'ws;~p5j.RDO3;V9_^As2bd!v"Ɖ UX UV9h~MjYTo@+kzh&W(AڑD>ϒoM)-]+ @&3{˭b!Y8 +΢ŕWY(IP]H8'=4o{Ngp8Hn`SD oL)c_" :7-G]`Fk9Xt!zq(ʗ`{+"yeh?nJ| +~S-))XQ3h(} o\lZ~ !C4̿1'V*8䒉^'AƵ؍Z5w49P_OYȸ~<ˏ9D&,H%iUD}a  x%&1]uGEB k.d} Cx]u c5Ѽv,"Sp<:̧Y. zU& 4p1 ;rT>ʒ9NڀnV %XˑoEEo!4׷ JO>|Zc Fu׺@Lj&CLvŻlr, ۺmHVv|&:Hk[x*p3C<5-yg7k/0P vkެ2%{Fו\G-b;Rwǥ}u3,vO#uQjwSӒ[,< phW$8[t>n`7JEzwĀZX!w^g{|ذ\2^JN"+]ϕ;Q͚r-