SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 `1 D ES]HOL-SPARK-Examples:threads=2elapsed=18.761cpu=31.984gc=0.780factor=1.707zXZִF! {]ŗXf1-q恈׍ V$*(7e91z=%D'\YWg8h^ǠÊT߀, !I'0G4b'D,辖ѩǿrEFv8-MEs4΄j{4WedX#Q4RD>V>gk_Rљ](NKX7dRVKd5k bUFtظI=PaYP^N~Ei)0EX1WRjIK~IY`ZK* Jm(@ƟH ֽ$);gXtVO_zg:5okl= ;AWV1Id 1 HOL-SPARK-ExamplesU'e8{F."e^*uH&u ~#"pa;csU:?8p3aʆPX,EVawJ=: ůUvp:y#YzF^HX,+h&<6|>BY)[,4EKSQd7/ kRnuTZznhؕS5?'| }BBɆp;Xbx1sHQhY84`+75bH5%u1n6 v`sdW l$FÐl4dn4ꗉ[!}f +[O_6[}s-7? ጐ,8J$>?=T5qMs'/.;m AaΊ߫!/LT5]<,JȀgd0Ӵ|1bUѼpؕ)^$K҄RkB:24 _)W(@MM hYC u!Fx{3 񎢕5WAh4! ]S 8FD+seK.i|FdO]Ù9La nC[pL 7‹]"::/\#Pd{PrGr(a,f&VxWK%aNǪR/ [H(hWφ_\5VV(VY\éls*I>}/_:vj6z6dG)}9jXWIU4%+m? p9rYGBPGQhA9ʼnd^nYMIˈ+z5dZ4.q^#jڊ0- Yk.DM~a[ rP9&7;kKeL6g1gRtC)z׋g/P:GZ5ޗz9}>~i[iM?60lg߅zW`h沫$B,%LGC؈U6$YCٯމi,[.ѨsCyıI8*-;wm<p H6,:}| J7>@n+NeJKx֫|gVf_ ]Pm"ombe+? b>Е*c]O7JݠVla׆gUc\4]WB(Ŭ| L5Z xAH*VumzN=U%d źnQnӽO,q g=V >8|dw'#a[?߉LpbF! m*N⯤{31h],* r[hci)!H6L '[V=[0ȷ4h'nwҸU$97jU|k;Hkmɲ'H>W&2N-|E</ q$J!R(>c|d;b}i:&O} maLxv~] l~b^'_!4m;$k(fek:nInOn9ǧSk$}=`&vh.IjaDPkM'X>\MVGO;P؞6l=40gS.0Ϯ81D~>`Y.|*@qJwVDqjM&Q1C:K(SW7ъo8I'*/Q="XQ.ᐕ 'F }ON nܧIQ躯*g{ƯC@ $.nL^aŲe+2QgQFAKa2L:v8͉=q96e0G.xnKǵmP&{|SUS)W 0"6rP%;gYZ7zXZִF! Y=]ŗXi%5^rS O\dxt_BoU |:Kߏ>qOg) & 0L_`.X\%@x\pwHMLa\.9 TXfMM͔?1֨b)B6'=Ͱ:»g(Z|OHSꦸ(K2UGZ@JwdvsHlT jW٥ |]tR㩣M jߒZC|Դ.)CTn/ǜ3[R#&GA${1rr] K: Au]~ImQ Zx=$ /H Owo]I<L\n(+쳂4fj׋SDمlg,cz;G5?~IVT^d(hi0Ҩ12ٲkM $Mϼ*~K ,O$ƓDi:|o1R on]MoLI_C.8ܟdz&idt6}Y.{k3 76py|q5-mze-윢p:D,ۍA;f.rDZE)Դ(fq%= қ"Upw .sp ,)JNY J0~*JJ~ EbI Ź$9HBHna[/` 5Q@_)]ذ{ уU봉D:ρ~z EQ[ط[ln-Y83 t] 9U~r.Or>kQurzκ 9/./)٩57]Zl